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