Figure 1.4 from Implementation Of Reduced Ordered Binary Decision ...