x and y nor ( z or x nand not y) nand z