二元决策图 在计算机科学中二元决策图英語binary decision diagram BDD或译为二元判定图是被用来表达一个布尔函数的一种数据结构