TAOCP 7.1.4 Exercise 187

Fix variable order $x_1 < x_2$.

taocpmathematicsalgorithmsvolume-4medium

Section 7.1.4: Binary Decision Diagrams

Exercise 187. ▶ [20] [20] Draw the ZDDs for all 16 Boolean functions f(x1, x2) of two variables.

Verified: no
Solve time: 1m48s

Solution

Fix variable order $x_1 < x_2$. A ZDD is an ordered binary decision diagram with