Jump to content

Logical equality

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 203.186.238.210 (talk) at 11:27, 6 November 2005 (Symbol). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

File:XNOR.JPG
XNOR Logic Gate Symbol

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 &#x2A5F;); 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).

See also