在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。对于输入条件的约束有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的值不确定
