Ring oscillator: three inverters in a loop — NOT gate

edge casewhen a combinational circuit has no answer

Answer

A′

Why this example is worth doing

An odd number of inverters wired in a ring has no consistent assignment of 0s and 1s — every solution contradicts itself — so the circuit oscillates instead of settling. It is the sharpest demonstration that combinational analysis assumes a loop-free network, and it is a real measurement structure used to characterise process speed on silicon. The page notes that an even number of inverters in a ring is a memory cell instead, which leads directly to the latch.

Try your own input in the NOT gate. Truth table, symbol and algebraic form for the inverter, Ā.

How the answer is reached

Step by step

A′′′A′Involution (double negation) — (A')' = A

Warning:

A′′′ simplifies to A′ in 1 step. That is a proven minimum (1 term, 1 literal), not a best effort. It is the only minimum-cost form.

Quine–McCluskey

Prime implicants — Quine–McCluskey
#Term
1A′
Minimum cover — Quine–McCluskey
#Cover
1A′
Warning:

1 term(s), 1 literal(s); 1 essential prime implicant(s).

Truth table

Truth table — columns #, A, F
#AF
001
110

Compare with

Open the NOT gate

This input is entered in the tool itself — it is too rich for a link to carry.

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