NAND

Subtype of Boolean Operation

Applies only in a context where there are at least two input boolean variables.
It then specifies the transformation of the input boolean variables to one single output boolean variable that represents the negation of their logical conjunction.
Formally:
(x , y) → !(x && y)
or equivalently:
(x , y) → !x || !y
In words:
It produces an output of FALSE if all input variables are TRUE
It produces an output of TRUE in all other cases.