Exercise 7.17 (Prime Conjunctions of a Logic Function). Create all prime conjunctions of the function of Fig. 7.4

b) on page 172 calculated in Exercise 7.16 that can be built by restriction of the given ternary vectors.

Collect each found prime conjunction only once. Practical tasks:

1 Load the final TVL system of Exercise 7.16.

2 Prepare a PRP that allows to check whether one of the variables can be removed from a conjunction.

3 Create prime conjunctions of the conjunction 1 in Fig. 7.4 b).
4 Create prime conjunctions of the conjunction 2 in Fig. 7.4 b).
5 Create prime conjunctions of the conjunction 3 in Fig. 7.4 b).
6 Create prime conjunctions of the conjunction 4 in Fig. 7.4 b).
7 Create prime conjunctions of the conjunction 5 in Fig. 7.4 b).
8 Create prime conjunctions of the conjunction 6 in Fig. 7.4 b).
9 Create prime conjunctions of the conjunction 7 in Fig. 7.4 b).
10 Create prime conjunctions of the conjunction 8 in Fig. 7.4 b).
11 Create prime conjunctions of the conjunction 9 in Fig. 7.4 b).
12 Create prime conjunctions of the conjunction 10 in Fig. 7.4 b).
13 Show all found prime conjunctions.