F(A,B,C,D) = Σm(0,1,2,4,5,6,8,9,12,13,14) — Karnaugh map

coreeleven 1s; minimise the OFF-set instead

Answer

C′ + A′ · D′ + B · D′

Why this example is worth doing

Eleven 1s and five 0s. Grouping the 1s directly is slow and error-prone; grouping the five 0s gives the complement in a couple of terms, and De Morgan turns that straight into a product of sums. The rule worth carrying away is that whichever of the ON-set and the OFF-set is smaller is the one to map. The page shows both routes and confirms the minimal SOP obtained each way is the same, which is not obvious when the second route never draws a group around a 1.

Try your own input in the Karnaugh map solver. Group a 2- to 6-variable map yourself and have every group marked right or wrong.

How the answer is reached

Quine–McCluskey

Prime implicants — Quine–McCluskey
#Term
1C′
2A′ · D′
3B · D′
Minimum cover — Quine–McCluskey
#Cover
1C′ + A′ · D′ + B · D′
Warning:

3 term(s), 5 literal(s); 3 essential prime implicant(s).

Truth table

Truth table — columns #, A, B, C, D, F
#ABCDF
000001
100011
200101
300110
401001
501011
601101
701110
810001
910011
1010100
1110110
1211001
1311011
1411101
1511110

Compare with

Open this example in the Karnaugh map solver

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.
  • In a minterm index the first variable is the most significant bit, so over [A, B, C] minterm 5 is A·B̄·C.

Sources

  • Karnaugh, “The Map Method for Synthesis of Combinational Logic Circuits” (1953)
  • Veitch, “A Chart Method for Simplifying Truth Functions” (1952)