WolframAlpha computational knowledge AI
A&&(B||!(A&&B))