Implicant | A group of terms in the on-set or don't care set that can be combined into a cube. At least one element of the on-set must be in the cube. |

Prime implicant | A maximal implicant or an implicant that is not contained within
a larger implicant |

Essential prime implicant | A prime implicant that contains an element of the on-set that is contained by no other prime implicant |

- Find the prime implicants
- Find the esential prime implicants. Each of these must be contained in the final expression.
- If there are remaining uncovered 1's, cover them with a minimum set of prime implicants. This is an NP-complete problem!