A·B + B·C + A·C — logic gate diagram

exam standard5 primitive gates (4 with a 3-input OR); the majority voter

Answer

4 gates, 3 inputs; output column 00010111

Why this example is worth doing

The three-input majority function, output 1 when at least two inputs are. It is drawn as three ANDs feeding one OR, and it is the carry-out of a full adder, the core of a triple-redundant voter, and one of the few functions where the minimal SOP really is symmetric in all three variables. The page points at all three uses, because recognising a standard function in a schematic is worth more than being able to trace it gate by gate.

Try your own input in the Logic gate diagram builder. Draw an expression as a gate schematic in IEEE or IEC symbols and copy it as an image.

How the answer is reached

Netlist

Netlist — columns Node, Gate, Inputs
NodeGateInputs
g0andi0, i1
g1andi1, i2
g2andi0, i2
g3org0, g1, g2

Truth table

Truth table — columns #, A, B, C, F
#ABCF
00000
10010
20100
30111
41000
51011
61101
71111

Compare with

Open this example in the Logic gate diagram builder

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