Xnor

Xnor[e1,e2,]

is the logical XNOR (not XOR) function. It gives True if an even number of the e_(i) are True, and the rest are False. It gives False if an odd number of the e_(i) are True, and the rest are False.

Details

  • Xnor[e1,e2,] can be input in StandardForm and InputForm as eie2. The character can be entered as xnor or \[Xnor].
  • Xnor gives symbolic results, applying various simplification rules automatically.
  • Unlike And, Nand, Or, and Nor, Xnor must always test all its arguments, so is not a control structure, and does not have attribute HoldAll.

Examples

open allclose all

Basic Examples  (3)

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

Xnor in disjunctive normal form:

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

Enter using xnor:

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

Scope  (1)

Properties & Relations  (4)

Neat Examples  (1)

See Also

Xor  Nor  Equivalent  BooleanCountingFunction

Introduced in 2008
(7.0)