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