is the logical NOR function. It evaluates its arguments in order, giving False immediately if any of them are True, and True if they are all False.
- Nor[e1,e2,…] can be input in StandardForm and InputForm as . The character ⊽ can be entered as nor or \[Nor]. »
- Nor[e1,e2,…] is equivalent to Not[Or[e1,e2,…]]. »
- Nor has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nor[e1,e2,…] the are evaluated in order, stopping if any one of them is found to be True. »
- Nor gives symbolic results when necessary, removing initial arguments that are False.
- Nor is not Flat.
Examplesopen allclose all
Basic Examples (2)
Enter using nor:
Nor with explicit True or False arguments will simplify:
Nor evaluates its arguments in order, stopping when an argument evaluates to True:
Symbolic transformations may not preserve argument ordering or Nor operations:
Find the Nor of two regions:
A cellular automaton based on Nor:
Simplify trees involving Nor:
Find the area of the complement of the union of sets given by algebraic conditions:
This shows the set:
Properties & Relations (6)
Truth table for binary Nor:
Zero-argument Nor is True:
Nor with a single argument will return the negated argument regardless of value:
Use BooleanConvert to expand in terms of And and Not:
The negation of Nor is equivalent to Or:
Nor of conditions in Boole functions: