Find a list of product terms (implicants) that cover the function. Make sure that no term is equal to or included in any other term on the list. (The terms on the list could be prime implicants or minterms or any other set of implicants. However, the rest of the algorithm proceeds more quickly if we start with prime implicants.)