BDD is one of the graphic representations of Boolean functions. It can directly reflect the logic structure of the Boolean expression.

• BDD是布尔函数的一种图形表示方式,可以直观地反映出布尔函数的逻辑结构,利用BDD可以实现对布尔函数的分解和优化。