二元决策图（binary decision diagram， BDD)是一种基于Shannon分解的有向无环图，最早由Sheldon B.Akers于1978年提出的，它实质上是简化布尔函数的Shannon分结束得到的。BDD是被用来表达一个布尔函数的一种数据结构。二元决策图（binary decision diagram， BDD)是一种基于Shannon分解的有向无环图，最早由Sheldon B.Akers于1978年提出的，它实质上是简化布尔函数的Shannon分结束得到的。BDD是被用来表达一个布尔函数的一种数据结构。