Exercise 7.19 (Additional Prime Conjunctions Based on the Consensus Law). Extend the set of prime conjunctions of Fig. 7.4

c) based on the consensus law. Take for this search all combinations of the given 8 prime conjunctions into account. Only such consensus conjunctions that cannot be absorbed by one of the known conjunctions must be taken as basis to check for new prime conjunctions. Such a check can be done using the PRP of Exercise 7.17 Task 2.

1 Load the final TVL system of Exercise 7.17.

2 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x1.

3 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x2.

4 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x3.

5 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x4.

6 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x5.

7 Extend the set of prime conjunctions of Fig. 7.4

c) by prime conjunctions based one such consensus conjunctions created by removing the variable x6.

8 Show all found prime conjunctions.