WolframAlpha computational knowledge AI
(((a implies b) implies b) xor a) xor b