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.

Details

  • 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.

Examples

open allclose all

Basic Examples  (2)

In[1]:=
Click for copyable input
Out[1]=

Enter using nor:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]//InputForm=

Scope  (4)

Applications  (4)

Properties & Relations  (6)

See Also

BooleanConvert  LogicalExpand  Or  Xor  Nand  Xnor  Not  BooleanCountingFunction

Tutorials

Introduced in 2000
(4.1)