(x nand y) nand z