truth table p xor q xor r xor s