因果图法中的约束条件

碎片

对于输入条件的约束有4种
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0

zlbox

对于输出条件的约束只有M约束？谁说的，不对吧

zhawhz

M约束（屏蔽）：当结果A是1时，B必须为0；而当A为0时，B的值不定。