- 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.
Examplesopen allclose all
Basic Examples (3)
Xnor in disjunctive normal form:
Xnor is commutative and sorts its arguments:
Properties & Relations (5)
Truth table for binary 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:
Wolfram Research (2008), Xnor, Wolfram Language function, https://reference.wolfram.com/language/ref/Xnor.html.
Wolfram Language. 2008. "Xnor." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Xnor.html.
Wolfram Language. (2008). Xnor. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Xnor.html