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