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