Exercise 7.2 (Structural Model – Set of Local Lists of Phases). Create a set of local lists of phases as structural model of the combinatorial circuit shown as schematic diagram in Fig. 7.1. Prepare this set of local lists of phases as PRP such that it can be used later on for an analysis task. It is helpful to use the names of the gates as names of their output signals. The required phases can be taken from Table 7.1 of [18].

In the special case of two level circuits a TVL in d-form expresses the structure of an AND-OR or a NOR-NOR circuit where the conjunctions of the associated disjunctive form are enumerated in the rows and the OR-gate is described implicitly by the form of the TVL. As shown in Fig. 7.5 of [18], other circuit structures correspond directly to TVLs in c-form, a-form or e-form.