(a nand a) nand (b nand b)