Wolfram Language & System Documentation Center

Nor

See Also
- BooleanConvert
- LogicalExpand
- Or
- Xor
- Nand
- Xnor
- Not
- BooleanCountingFunction
- Characters
- \[Nor]
Related Guides
- Boolean Computation
- Logic & Boolean Algebra
Tech Notes
- Relational and Logical Operators
- Operators
- See Also
  - BooleanConvert
  - LogicalExpand
  - Or
  - Xor
  - Nand
  - Xnor
  - Not
  - BooleanCountingFunction
  - Characters
  - \[Nor]
- Related Guides
  - Boolean Computation
  - Logic & Boolean Algebra
- Tech Notes
  - Relational and Logical Operators
  - Operators

Nor

Nor[e₁,e₂,…]

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.

Details

Nor[e₁,e₂,…] can be input in StandardForm and InputForm as . The character ⊽ can be entered as nor or \[Nor]. »
Nor[e₁,e₂,…] is equivalent to Not[Or[e₁,e₂,…]]. »
Nor has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nor[e₁,e₂,…] 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.

Examples

open all close 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: