(P or Q) and (not P or Q)