NAND (5)