x nand (y nand z)