二元判决图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法，在计算机科学以及数字电路与系统等领域中有广泛的应用。本文首先介绍了BDD的原理与相关结论，说明了变量编序对于BDD规模(节点数和路径深度)大小的影响。在此基础上，提出了在BDD的建模中一种简单、易行的编序算法，该算法不涉及其他领域的概念，容易理解。 其次，对BDD包的建立进行了讨论，并以现在较为流行的ITE(IFTHEN-ELSE)算法为依据，用C++语言进行了BDD的构建。能完成对任意基于CDL语言描述的组合逻辑电路或布尔函数，实现其BDD表示并通过对BDD的操作实现对相应组合电路或布尔函数的操作。 最后，研究了基于BDD的组合电路的故障检测方法和基于BDD的网络可靠度的计算方法等两方面的应用。BDD应用于数字电路的固定型故障检测，建立的故障节点的检测BDD可以比较方便地得出电路故障的测试矢量，相比传统的测试算法，避免了庞大的反向回溯过程。关于网络可靠度，在已有结果的基础上，提出了一种利用二元判决图计算网络可靠度的方法，该方法将网络的最小路集用二元判决图来表示，并得到最小路集的不交和，最后获得网络的可靠度。该方法所用的二元判决图的规模较小，并且可以计算出在不同故障率条件下、不同时间长度下的网络可靠度。