二分決定図(にぶんけっていず、Binary Decision Diagram、BDD)とは、ブール関数を表現するのに使われるデータ構造である。二分決定グラフあるいは(基本的には二分木のような構造であることから)二分決定木と呼ぶこともある。