The method for solving this type of problem is to begin by looking
at the 1’s of each function that are 0’s of the other function. They must be
covered by prime implicants of that function. Only the shared terms need
not be prime implicants. In this last example, we chose AB for F since
m2 makes that an essential prime implicant of F and we chose AB for G
since m4 makes that an essential prime implicant of G. That left just
one 1 uncovered in each function—the same 1—which we covered with
ABC. We will now look at some more complex examples.