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)

Xnor in disjunctive normal form:

Enter using xnor:

Scope  (1)

Automatic simplifications:

Elimination of constants:

Xnor is commutative and sorts its arguments:

Properties & Relations  (5)

Truth table for binary Xnor:

Ternary Xnor:

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:

Neat Examples  (1)

The 2D truth table for Xnor of 12 variables:

Introduced in 2008
 (7.0)