ブール関数
BDDのサイズは、表現しようとする関数とその変数（引数）の順序をどうするかで決定される。BDDのサイズは変数の個数に対して、線形のオーダーから指数のオーダーまで様々である。formula_15 というブール関数があったとき、これを二分決定図に表現する際に、根となるノードからどういう順番で変数を対応させるかによって、そのサイズは指数オーダー（2n）にも線形オーダー（n）にもなる。例えば、formula_16 という形式のブール関数を考える。変数の順序付けを formula_17 とすると、この関数を表現する BDD のノード数は formula_18 となる。しかし、formula_19 という順序付けにすると、ノード数は formula_20 で済む。