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