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