Exercise 7.31 (Calculate the Realized Functions h3(x), g2(x), and the Incompletely Specified Function h2q(x), h2r(x) That Must Be Decomposed).

Calculate the mark functions h2q(x), h2r(x) of the weak OR-bidecomposition selected in Exercise 7.27. This calculation requires first the output function of the EXOR-bi-decomposition selected in Exercise 7.30 and secondly the output function of the AND-bi-decomposition selected in Exercise 7.29. Show the Karnaugh-maps of the realized functions h3(x), g2(x) and the mark functions h2q(x), h2r(x) of the next decomposition task. Practical tasks:

1 Load the TVL system e73dec5.sdt of Exercise 7.30. This TVL system includes the function g4(x) as object number 15, h4(x) as object number 16, g3(x) as object number 13, and g1(x) as object number 10.

2 Calculate h3(x) as object number 14. This function is realized by an EXOR-gate controlled by g4(x) and h4(x). Show the Karnaugh-map of h3(x).

3 Calculate g2(x) as object number 12. This function is realized by an AND-gate controlled by g3(x) and h3(x). Show the Karnaugh-map of g2(x).

4 Calculate the mark functions h2q(x), h2r(x) of the weak OR-bi-decomposition using the formulas (7.125) and (7.126) of [18] as objects 38 and 39. Remember that the weak OR-bi-decomposition was created for the completely specified function g1(x). Show the Karnaugh-maps of the calculated mark functions.

5 Remove the intermediated TVL and store for later use the TVL system as e73dec6.sdt.