A Generalized If-Then-Else Operator for the Representation of Multi-Output Functions

Figure 3

Decomposed MTBDD corresponding to Example 21.