truth table p xor q xor r