| 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 |