在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系,称为“约束”。对于输入条件的约束有E、I、O、R四种约束,对于输出条件的约束只有M约束。
-
E约束(互斥):原因a和原因b中最多有一个可能成立,即a和b不会同时成立。
-
I约束(包含):a、b、c这三个原因中至少有一个必须成立。
-
O约束(唯一):原因a和b有且仅有一个成立。
-
R约束(要求):原因a出现时,原因b也必须出现。
-
M约束(强制):若结果a为1,则结果b强制为0。当a为0,b的值不确定
在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系,称为“约束”。对于输入条件的约束有E、I、O、R四种约束,对于输出条件的约束只有M约束。
E约束(互斥):原因a和原因b中最多有一个可能成立,即a和b不会同时成立。
I约束(包含):a、b、c这三个原因中至少有一个必须成立。
O约束(唯一):原因a和b有且仅有一个成立。
R约束(要求):原因a出现时,原因b也必须出现。
M约束(强制):若结果a为1,则结果b强制为0。当a为0,b的值不确定