truth table p xor q xor r xor s xor u