Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation >

Nor

Nor[e1, e2, ...]
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, ...] is equivalent to Not[Or[e1, e2, ...]].  »
  • Nor has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nor[e1, e2, ...] the e_i 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 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:
TraditionalForm formatting:
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:
Truth table for Nor:
Use BooleanConvert to expand in terms of And and Not:
The negation of Nor is equivalent to Or:
Nor of conditions in Boole functions:
New in 4.1
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team