((a nand a) nand a) nand ((a nand b) nand a)