BDD( Binary Decision Diagram)is the state-of-the-art data structure in logic function. It is widely used in the fields of computer science and digital circuit and system.

• 二元判决图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法，在计算机科学以及数字电路与系统等领域中有广泛的应用。