计算可靠性时：此处是0边的概率（即元件x的可靠性），是1边的概率（即元件x的不可靠性）。则是指1边所连接的节点的不可靠性，是指0边所连接的节点的可靠性。
对于PMS BDD相连的两个节点可能是不同的两个元件，也可能是同个元件的不同阶段；连接不同的两个元件时，上述BDD评估方法同样适用
连接同元件的不同两个阶段的1边时
（此公式证明方法需了解无需强记）
MBDD（多状态二元决策图）相连的两个节点可能是不同元件，也可能是相同元件的不同状态（state）
不同元件依旧采用传统BDD评估方法
当0边连接同元件的不同状态变量时，此处的
此外还有LBDD,MMDD的评估方法需了解。但以上几种方法需理解并应用。
以上内容总结于书本
Binary Decision Diagrams and Extensions for System Reliability Analysis 作者：Liudong Xing and Suprasad V. Amari
