WolframAlpha computational knowledge AI
(a nand a) nand b