A predicate in logic equivalent to the composition NOT OR that yields
false if any condition is true,
and true if all conditions are false.
NOR 
is equivalent to 
, where 
denotes NOT and 
denotes OR. In propositional
calculus, the term joint denial is used to refer
to the NOR connective. Notations for NOR include 
and 
(Mendelson 1997, p. 26). The NOR operation is implemented as Nor[A,
B, ...]. The circuit diagram symbol for a NOR gate is illustrated above.
The binary NOR operator has the following truth table (Simpson 1987, p. 547; Mendelson 1997, p. 26).
 |  |  |
| T | T | F |
| T | F | F |
| F | T | F |
| F | F | T |
