1 .因果图的约束条件如下图所示。
2 .名词解释互斥、包含、唯一，要求是对原因的约束，屏蔽是对结果的约束。 E:互斥，exclude表示abc最多只有一个=1，即ABC=000、100、010、001，一个或全部为0。 如果不选择，最多选择一个。 I:中含有include，表示abc不会同时变为=0。 也就是说，ABC=100，010，001，110，101，011，111。 abc000可包含一个1、两个1、三个1，但不能全部为0。 O: (可以选择至少一个)唯一，only指示abc拥有并且只有一个=1。 即，ABC=100，010，001只有一个，不能全部为0，即，ab=11，00，01 (a出现，b一定出现； 相反，b不确定) M:掩码，mask，如果结果a=1，则结果b=0，即ab=10，00，01，如果a=1，则b=0，如果a=0，则b=？ (a成立时，b不成立。 如果a不成立，则b的值不恒定(排他与唯一区别：排他都允许=0，唯一都不允许=0)。 程序中的主要区别在于排他没有默认选择，而是唯一的默认选择。