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