Binary Decision Diagram
From Wikimedia Commons, the free media repository
de:Binary Decision Diagram
en:Binary decision diagram
 BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering |
 BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |
 Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering |
 BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |
