WolframAlpha computational knowledge AI
(a nand b) nand (a nand b)