Any SOP expression for F must be a sum of implicants. Indeed, we
must choose enough implicants such that each of the 1’s of F are
included in at least one of these implicants. Such an SOP expression
is sometimes referred to as a cover of F, and we sometimes say that
an implicant covers certain minterms (for example, ACD covers m11
and m15).