Repeat problem 4.30 for the function in Example 4.17. Expand the implicants given in the i...

Repeat problem 4.30 for the function in Example 4.17. Expand the implicants given in the initial cover C⁰.

Example 4.17

As another example, consider the four-variable function of Figure 4.10. Assume that this function is initially specified as the cover C⁰ = {0101, 1101, 1110, 011x, x01x}. Then successive applications of the ∗-operation and removing the redundant terms gives

Therefore, the prime implicants are , and .

Figure 4.10 Four-variable function f (x₁, …, x₄) = Σm(2, 3, 5, 6, 7, 10, 11, 13, 14).