WolframAlpha computational knowledge AI
evaluate (not A) nand (not B)