Minterms
Variables appears exactly once in each minterm, in true or inverted form (but not both)
short-hand notation forminterms of 3 variables
F in canonical form: F(A,B,C) = ?m(1,3,5,6,7) = m1 + m3 + m5 + m6 + m7
= A'B'C+A'BC+AB'C+ABC'+ABC
canonical form ? minimal form F(A,B,C) = A'B'C+A'BC+AB'C+ABC+ABC'
= (A'B'+A'B+AB'+AB)C+ABC’
= ((A' + A)(B' + B))C + ABC' = C + ABC' = ABC' + C