OR from NAND — universal gates

coreinvert both inputs, then NAND

Answer

3 NAND gates realising B + A

Why this example is worth doing

Three gates: invert each input, then NAND the results, which is De Morgan read right to left. This is the expensive direction and the reason the page keeps a running cost table — OR is cheap in NOR-world and dear in NAND-world, and the totals for a whole design follow from which form its minimal expression takes. The table is the page's main deliverable, not the individual constructions.

Try your own input in the Universal gates. Rebuild any of the other gates using only NAND, or only NOR, with the gate count.

How the answer is reached

Gate list

Gate list — columns Node, Gate, Inputs
NodeGateInputs
g1nandA, A
g2nandB, B
g3nandg1, g2

NAND-only realisation

A ↑ A ↑ (B ↑ B)B + A3 NAND gates, verified by reading the network back out.

Truth table

Truth table — columns #, A, B, A ↑ A ↑ (B ↑ B)
#ABA ↑ A ↑ (B ↑ B)
0000
1011
2101
3111

Compare with

Open this example in the Universal gates

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

  • Sheffer, “A Set of Five Independent Postulates for Boolean Algebras” (1913)
  • Shannon, “A Symbolic Analysis of Relay and Switching Circuits” (1938)