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