WolframAlpha computational knowledge AI
(x xor y) xor (a xor b) truth table