Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function.

• 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。