This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Xnor

Xnor
is the logical XNOR (not XOR) function. It gives True if an even number of the are True, and the rest are False. It gives False if an odd number of the are True, and the rest are False.
  • 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.
Xnor in disjunctive normal form:
Enter using Esc xnor Esc:
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 Esc xnor Esc:
In[1]:=
Click for copyable input
Out[1]=
Automatic simplifications:
Elimination of constants:
Xnor is commutative and sorts its arguments:
Xnor in variables has a disjunctive normal form of length :
Xnor is equivalent to the negation of Xor:
For two variables Xnor is the same as Equivalent:
But they differ for more than two variables:
Xnor is a special case of BooleanCountingFunction:
The 2D truth table for Xnor of 12 variables:
New in 7