因果图法中的约束条件
对于输入条件的约束有4种I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）
对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）
E（异）
A=1B=0
A=0B=1
A=0B=0
I（或）
A=1B=1C=1
A=1B=1C=0
A=1B=0C=1
A=1B=0C=0
A=0B=1C=1
A=0B=1C=0
A=0B=0C=1
（以上情况允许）
A=0B=0C=0(这种情况不允许)
O（惟一）
A=1B=0
A=0B=1
R（要求）
A=1B=1
A=0B=1
A=0B=0
回复 #1 碎片 的帖子
对于输出条件的约束只有M约束？谁说的，不对吧 M约束（屏蔽）：当结果A是1时，B必须为0；而当A为0时，B的值不定。
页:
[1]
