Product-of-sums canonical form (cont’d)

short-hand notation formaxterms of 3 variables

F in canonical form: F(A, B, C) = ?M(0,2,4) = M0 • M2 • M4

= (A + B + C) (A + B' + C) (A' + B + C)

canonical form ? minimal form F(A, B, C) = (A + B + C) (A + B' + C) (A' + B + C)
= (A + B + C) (A + B' + C)

(A + B + C) (A' + B + C)
= (A + C) (B + C)

• Sum term (or maxterm)

  • ORed sum of literals – input combination for which output is false
  • each variable appears exactly once, in true or inverted form (but not both)

Previous slide

Next slide

Back to first slide

View graphic version