3-input XOR, A = 1, B = 1, C = 1 — XOR gate

coreodd parity, not exactly-one

Answer

output 1

Why this example is worth doing

All three inputs high gives 1, which surprises anyone carrying the exactly-one reading forward from two inputs. A multi-input XOR is odd-parity: it is 1 when an odd number of inputs are 1, and three is odd. The page makes this the headline caution of the page, since it is also the trap behind the IEC =1 qualifier discussed on the symbols page, where the rectangular symbol genuinely does mean exactly-one.

Try your own input in the XOR gate. Truth table, symbol and algebraic form for A ⊕ B, the difference detector.

How the answer is reached

The probed row

A = 1, B = 1, C = 11Row 7 of 8.

Truth table

Truth table — columns #, A, B, C, A ⊕ B ⊕ C
#ABCA ⊕ B ⊕ C
00000
10011
20101
30110
41001
51010
61100
71111

Compare with

Open this example in the XOR gate

The field arrives filled in with this example’s input.

Note:

Notation this page assumes

  • Symbols: · is AND, + is OR, ⊕ is XOR, a prime or an overline is NOT. The field also takes ∧ ∨ ¬ ~ ! & | and the words.
  • Operator precedence, tightest first: NOT, then AND (including juxtaposition), then XOR/XNOR, then NAND/NOR, then OR, then IMPLIES, then IFF.
  • Gate symbols follow whichever standard the header toggle is set to: ANSI/IEEE Std 91-1984 distinctive shapes, or IEC 60617-12 rectangles.

Sources

  • ANSI/IEEE Std 91-1984, Graphic Symbols for Logic Functions
  • IEC 60617-12, Graphical Symbols for Diagrams — Binary Logic Elements