Skip to content
BetterDL

Expansion to canonical form

Also called: canonical expansion, expanding to minterms, expanding to maxterms, expanding a product term, minterm expansion of a term

Rewriting an SOP or POS so that every term contains every variable, by filling in each missing variable both ways. It gives the Σm or ΠM list.

A product term that leaves out a variable covers several rows. Expanding it lists those rows as full minterms.

The algebra. Multiply the term by for each missing variable X. That factor equals 1, so nothing changes, but every term now contains every variable. For a sum term, the dual trick adds (which is 0) and splits it with OR over AND: = .

The shortcut. Write each term in cube notation, with a dash for each missing variable. Each dash can be 0 or 1, so a term with k dashes covers 2ᵏ rows.

  • For a product, the pattern shows where it is 1 (1 → plain, 0 → barred).
  • For a sum, the pattern shows where it is 0 (0 → plain, 1 → barred).

Then take the union of all the rows and list each once. Terms often overlap, so never just add up 2ᵏ for each term.

Expansion is how you get from any expression to a canonical form, which you can then convert, complement or simplify systematically.

Worked examples

Example

Expanding an SOP

Expand F = (inputs A, B, C) into a minterm list.

  1. 1.

    → -0-: rows 0, 1, 4, 5 (two dashes, 4 rows).

  2. 2.

    → 1-1: rows 5, 7.

  3. 3.

    Union: {0, 1, 4, 5, 7}. Row 5 appears in both, but is listed once.

  4. 4.

    F = Σm(0, 1, 4, 5, 7): 5 minterms, not 4 + 2 = 6.

Example

Expanding a POS

Write F = (inputs A, B, C) as a product of maxterms.

  1. 1.

    is 0 when A = 1 and B = 0: pattern 10-, rows 4 and 5.

  2. 2.

    is 0 when A = 0 and C = 1: pattern 0-1, rows 1 and 3.

  3. 3.

    F = ΠM(1, 3, 4, 5).

  4. 4.

    Algebra check for the first factor: = = M4 · M5.

Common mistakes

  • Adding the row counts of overlapping terms instead of taking the union.

  • Reading a sum term's pattern with product polarity.

  • Forgetting a variable that is missing from a term, which leaves it covering the wrong number of rows.

Practice Expansion to canonical form

Interactive questions with instant feedback and a worked solution for every wrong answer.

Learn it step by step

Expansion to canonical form is taught in Boolean Simplification.