NOR

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 inclusive disjunction.
Formally:
(x , y) → !(x || y)
or equivalently:
(x , y) → !x && !y
It produces an output of FALSE if at least one of the input variables is TRUE
It produces an output of TRUE in all other cases.