BDD is a diagrammatic representation of Boolean function.

• BDD是布尔函数的图形表示形式。