ブール関数
このデータ構造を生み出すきっかけとなった考え方はシャノン展開である。スイッチング関数（ブール関数）は、1つの変数に着目した2つの部分関数に分割できる。そのような部分関数を部分木とみなせば、これを二分決定木で表現できる。二分決定図(BDD)は、Lee （1959年）が最初に紹介し、Akers （1978年）や Boute （1976年）でさらに研究が行われ、広まっていった。