Repeating this process six times will produce the BDD for *μ*_{6}, which has 103,924 nodes. There are exactly 7,828,354 monotone Boolean functions of six variables (see exercise 5.3.4–31); this BDD nicely characterizes them all, and we need only about 4.8 million memory accesses to compute it with Algorithm S. Furthermore, 6.7 billion mems will suffice to compute the BDD for *μ*_{7}, which has 155,207,320 nodes and characterizes 2,414,682,040,998 monotone functions.

We must stop there, however; the size of the next case, *B*(*μ*_{8}), turns out to be a whopping 69,258,301,585,604 (see exercise 77).

**Synthesis in a BDD base.** Another approach is called for when we’re dealing with many functions at once instead of computing a single BDD on the fly. The functions ...

Start Free Trial

No credit card required