Logical NAND Block The output y is false, if the first input u1 and the second input u2 are both true. In all other cases the output y is true. +---------------------------------+ | input output | | -> | | u1 u2 y | +---------------------------------+ | true true false | | true false true | | false true true | | false false true | +---------------------------------+