nand
The negation of the logical conjunction (and) operator.
Syntax
-
nand(p, q)-
pandqare booleans
-
Description
nand implements the ⊼ operator.
The negation of the logical conjunction (and) operator.
nand(p, q)
p and q are booleans
nand implements the ⊼ operator.