Logical nand