因果图分析法中用到的五种约束分别是什么？

因果图分析法中用到的五种约束分别是什么？
正确答案：E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1。
I约束（或）：ABC中至少有一个必须为1，即ABC不能同时为0。
O约束（唯一）：a和b必须有一个且仅有一个为1。
R约束（要求）：a是1时，b必须是1，即a为1时，b不能为0。
M约束（强制）：若结果a为1，则结果b强制为0