本文对BDD的构造算法进行了分析和改进，给出了BDD包中构造BDD的算法，并分析了该算法存在的问题及相应的改进技术，提出了自己的改进算法：首先是引入了公理系统，将原有的布尔函数进行等价变形，转化与之等价的析取范式，从而在构造的过程中可以将原来的自顶而下赋值，再自下而上的计算构造BDD结点的过程改进为一个自上而下直接赋值、计算、构造BDD的结点的过程，并在计算的过程中对布尔函数进行了化简，直接消除了无关变量和对应的冗余计算，同时也减少了冗余结点查重的计算量；其次，针对构造过程中存在的大量的重复计算，在构造算法中引入了一个数据结构——计算表，记录计算过程和与之对应的结点，当相同的计算过程出现时，无需再次计算，只要返回对应地结点即可。这样，可以避免大量的重复计算过程，提高了构造算法的执行效率。