Exercise 7.33 (Complete Bi-Decomposition of h1(x)). Verify whether an AND-bi-decomposition h1(x) shown in Fig. 7.10

b) with regard to

([x2, x3, x4], [x5, x6]) exists and calculate allowed decomposition functions.

xPractical tasks:

1 Load the TVL system e73dec7.sdt of Exercise 7.32. This TVL system includes the function h1(x) as object number 11.

2 Check by means of (7.90) in [18] whether an AND-bi-decomposition of h1(x) with regard to ([x2, x3, x4], [x5, x6]) exists.

3 Calculate the function g6 of the existing disjoint AND-bi-decomposition with regard to ([x2, x3, x4], [x5, x6]) based on (7.91) in [18] as object 20.

4 Calculate the function h6 of the existing disjoint AND-bi-decomposition with regard to ([x2, x3, x4], [x5, x6]) based on (7.92) in [18] as object 21.

5 Verify the calculated decomposition.

6 Remove the intermediated TVLs and store for later use the TVL system as e73dec8.sdt.