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 e_(1) nor e_(2) nor .... 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 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 is not Flat.


open allclose all

Basic Examples  (2)

Enter using nor:

Scope  (4)

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:

Applications  (4)

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:

Ternary 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:

Wolfram Research (2000), Nor, Wolfram Language function,


Wolfram Research (2000), Nor, Wolfram Language function,


Wolfram Language. 2000. "Nor." Wolfram Language & System Documentation Center. Wolfram Research.


Wolfram Language. (2000). Nor. Wolfram Language & System Documentation Center. Retrieved from


@misc{reference.wolfram_2024_nor, author="Wolfram Research", title="{Nor}", year="2000", howpublished="\url{}", note=[Accessed: 24-July-2024 ]}


@online{reference.wolfram_2024_nor, organization={Wolfram Research}, title={Nor}, year={2000}, url={}, note=[Accessed: 24-July-2024 ]}