truth table P xor Q xor R xor S