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