WolframAlpha computational knowledge AI
A & B | ~C