Figure 6. Intermediate BDD after applying R2 to the duplicate sub-BDDs shown in Figure 5

From Figure 4 it may be noted that there nodes n say, where both the outgoing edges point to the same node m say ; R3 eliminates such a node n and points all its incoming edges to m . Nodes of such type in BDD of Figure 4 are marked and shown in Figure 7. Figure 8 illustrates the intermediate BDD when R3 is applied to node “b” (marked by an arrow) whose both the outgoing edges point to the same node “c”. When R3 is applied to all such nodes, the BDD obtained is shown in Figure 9.

Figure 7. Nodes (arrow marked) where both the outgoing edges point to the same node