Which operation is equivalent to 'logical subtraction' (PlandnegQP \\land \\neg QPlandnegQ)?
P−QP - QP−Q in set theory
Intersection of P and complement of Q
Implication
Both a and b