Exercise 7.20 (Complete Check for Additional Prime Conjunctions Based on the Consensus Law). Check based on the result of Exercise 7.19 whether there are additional prime conjunctions and add them, if found, to the set of prime conjunctions. This check can be restricted such that only the 6 prime conjunctions created in Exercise 7.19 must be taken as first conjunctions in pairs of conjunctions in the consensus law. Practical tasks:

1 Load the final TVL system of Exercise 7.19.

2 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x1.

3 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x2.

4 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x3.

5 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x4.

6 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x5.

7 Execute this task for the prime conjunctions in rows 9 . . . 14 of Fig. 7.7

a) and consensus conjunctions with regard to the variable x6.

8 Show all found prime conjunctions