Exercise 7.27 (Weak OR-Bi-Decomposition of the Completely Specified Function g1(x)). Check for each variable whether for the function g1(x) of Fig. 7.10

a) on page 182 exists a weak bi-decomposition with regard to the OR- and AND-operation. If possible, create a ISF of g2. Practical tasks:

1 Load the TVL system e73dec2.sdt of Exercise 7.25. This TVL system includes the function g1(x) as object number 10.

2 Prepare a PRP that checks for each of the 4 variables based on (7.122)

in [18] whether a weak OR-bi-decomposition exists.

3 Prepare a PRP that checks for each of the 4 variables based on (7.127)

in [18] whether a weak AND-bi-decomposition exists.

4 Are there any weak OR-bi-decompositions?

5 Are there any weak AND-bi-decompositions?

6 Calculate the mark function g2q as object 30 and g2r as object number 31 using formulas (7.123) and (7.124) in [18] for the existing weak ORbi-

decomposition with regard to x1. Show the Karnaugh-maps of the calculated mark functions.

7 Remove the intermediate results and store the TVL system as e73dec3.sdt for later use.