This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.

# 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:
 Out[1]=
 Out[2]=

Xnor in disjunctive normal form:
 Out[1]=

Enter using Esc xnor Esc:
 Out[1]=
 Scope   (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