Exercise 7.18 (Completeness of the Simple Set of Prime Conjunctions).

Verify whether the 8 prime conjunctions calculated in Exercise 7.17, see Fig. 7.4 c), cover the function of Fig. 7.4

b) and whether all these prime conjunctions are necessary to cover this function. Practical tasks:

1 Substantiate why a disjunctive form of the 8 prime conjunctions of Fig. 7.4

c) must cover the function of Fig. 7.4

b) completely.

2 Load the final TVL system of Exercise 7.17.

3 Verify that the disjunctive form of the 8 prime conjunctions of Fig. 7.4

c) (object 15) covers the function of Fig. 7.4

b) (object 11).

4 Prepare a PRP that allows to check whether one of these 8 prime conjunctions can be removed without loss of the cover of the function of Fig. 7.4 b).

5 Verify that the 8 prime conjunctions of Fig. 7.4

c) describe a minimal disjunctive form of the function of Fig. 7.4 b).