因果图涉及的概念:
1)关系
<!--[if !supportLists]-->? <!--[endif]-->恒等:若c1是1,则e1也是1;否则e1为0。
<!--[if !supportLists]-->? <!--[endif]-->非:若c1是1,则e1是0;否则e1是1。
<!--[if !supportLists]-->? <!--[endif]-->或:若c1或c2或c3是1,则e1是1;否则e1为0。“或”可有任意个输入。
<!--[if !supportLists]-->? <!--[endif]-->与:若c1和c2都是1,则e1为1;否则e1为0。“与”也可有任意个输入。
2)约束
输入状态相互之间还可能存在某些依赖关系,称为约束。例如, 某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中,用特定的符号标明这些约束:
<!--[if !supportLists]-->? <!--[endif]-->输入条件的约束有以下4类:
<!--[if !supportLists]--> E 约束(异):a和b中至多有一个可能为1,即a和b不能同时为1。
<!--[if !supportLists]--> I 约束(或):a、b和c中至少有一个必须是1,即 a、b 和c不能同时为0。
O 约束(唯一);a和b必须有一个,且仅有1个为1。
R 约束(要求):a是1时,b必须是1,即不可能a是1时b是0。
<!--[if !supportLists]-->? <!--[endif]-->输出条件约束类型
输出条件的约束只有M约束(强制):若结果a是1,则结果b强制为0