WolframAlpha computational knowledge AI
((a => a) xor a) xor b