Logical equality
Appearance
Exclusive nor (usual symbol XNOR occasionally XAND <exclusive and>) is a logical operator in Boolean algebra. It gives the result "True" if both inputs are identical, and "False" if they are different.
Definition
"A XNOR B" is equivalent to: "(A AND B) OR (!A AND !B)".
For two inputs A and B, the truth table of the operator is as follows.
A | B | A xnor B |
---|---|---|
F | F | T |
F | T | F |
T | F | F |
T | T | T |
Symbol
The mathematical symbol for exclusive nor varies in the literature. In addition to the abbreviation "xor", one may see
- a wedge that is modified in some way, such as being underlined ("∧", or ⩟); this is used because exclusive nor is a modification of ordinary (inclusive) conjunction, which is typically denoted by a wedge ("∧").
Similarly, different textual notations are used, including "XAND" (eXclusive AND) and "iff" (if-and-only-if).