Algorithm 3.4 -- Generating and SelectingPrime Implicates (Revisited)
1. Circle all prime implicates on the K-map.
2. Identify and select all essential prime implicates for the cover.
3. Select a minimum subset of the remaining prime implicates to complete the cover, that is, to cover those maxterms not covered by the essential prime implicates.