A·B·C·D + Ā·B̄·C̄·D̄ — logic gate diagram

exam standard11 two-input primitives, or 3 wide gates plus 4 inverters

Answer

7 gates, 4 inputs; output column 1000000000000001

Why this example is worth doing

Two four-input AND gates feeding an OR, with four inverters on the second AND's inputs. It is here for the fan-in question: a four-input AND is one symbol on paper but in a real library it may be a tree of two-input gates with twice the delay. The builder exposes a maximum fan-in setting and redraws the network as a tree when the limit is exceeded, which is the point at which a schematic stops being a picture of the algebra and starts being a picture of the hardware.

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, i2, i3
g1noti0
g2noti1
g3noti2
g4noti3
g5andg1, g2, g3, g4
g6org0, g5

Truth table

Truth table — columns #, A, B, C, D, F
#ABCDF
000001
100010
200100
300110
401000
501010
601100
701110
810000
910010
1010100
1110110
1211000
1311010
1411100
1511111

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