Exercise 7.3 (Structural Model – TVL in a Certain Form). Assume the circuit structure in Fig. 7.1 may by transformed into a two level AND-OR structure such that the conjunctions of the disjunctive form are built by the AND-gates connected directly with an OR-gate. Describe the associated structural model by a TVL in d-form.

The behavior of a combinatorial circuit can be described by a system of explicit logic equations in which the output values yi appear on the left-hand side only while on the right-hand sides expressions of the input variables are given. Such a specification defines a set of completely specified functions but is not easy to understand. More comprehensible is the solution of such an equation system expressed by a TVL in ODAform.

This TVL can be interpreted as system function F(x, y) where the equation F(x, y) = 1 possesses the same solution.