DOCUMENTATION CENTER SEARCH

Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > Xnor >

Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > Xnor >

Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > Xnor >

BUILT-IN MATHEMATICA SYMBOL

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 can be input in StandardForm and InputForm as . The character can be entered as Esc xnor Esc 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.

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]=

Automatic simplifications:

Elimination of constants:

Xnor is commutative and sorts its arguments:

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:

The 2D truth table for Xnor of 12 variables: