Logicmedium
0:00.0

Which operation is equivalent to 'logical subtraction' (PlandnegQP \\land \\neg Q)?