WolframAlpha computational knowledge AI
A AND B AND NOT(C)