It can give bdd presentation of boolean function or arbitrary combination logic circuits which are presented by cdl , and can realize different operation of boolean function by the operation to bdd 能完成对任意基于cdl语言描述的组合逻辑电路或布尔函数,实现其bdd表示并通过对bdd的操作实现对相应组合电路或布尔函数的操作。