二元决策图

"二元决策图（英语：bin decision diagram二元决策图（英语：binary decision diagram, BDD)是被用来表达一个布尔函数的一种数据结构。