WolframAlpha computational knowledge AI
not(a xor b) and not(b xor c)