"二元决策图（英语：bin decision diagram

正文

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