(x xor y) xor (a xor b) truth table