truth table for (P xor Q xor R) and not (P and Q and R)