Gate Logic: Two Level Simplification
implicant: single element of the ON-set or any group of elements
that can be combined together in a K-map
prime implicant: implicant that cannot be combined with another
implicant to eliminate a term
essential prime implicant: if an element of the ON-set is covered by
a single prime implicant, it is an essential prime
grow implicants into prime implicants
cover the ON-set with as few prime implicants as possible
essential primes participate in ALL possible covers