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