①恒等：若C1是1，则E1也是1；否则E1为0。
②非：若C1是1，则E1是0；否则E1是1。
③或：若c1或c2是1，则E1是1；否则E1为0。
④与：若c1和c2都是1，则E1为1；否则E1为0。
3）因果图约束
约束条件符号：
A.输入条件的约束有以下4类：
① E约束（互斥/异）：a和b中至多有一个可能为1，即a和b不能同时为1。
② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
B.输出条件约束类型
输出条件的约束只有M约束（屏蔽/强制）：若结果a是1，则结果b强制为0。
判定表通常由四个部分组成。
条件桩（ConDItion STub）：列出了问题得所有条件。通常认为列出得条件的次序无关紧要。
动作桩（Action Stub）：列出了问题规定可能采取的操作。这些操作的排列顺序没有约束。
条件项（Condition Entry）：列出针对它左列条件的取值。在所有可能情况下的真假值。
动作项（Action Entry）：列出在条件项的各种取值情况下应该采取的动作。
规则：任何一个条件组合的特定取值及其相应要执行的操作。在判定表中贯穿条件项和动作项的一列就是一条规则。显然，判定表中列出多少组条件取值，也就有多少条规则，既条件项和动作项有多少列。
① 确定规则的个数。假如有n个条件。每个条件有两个取值（0，1），故有种规则。
② 列出所有的条件桩和动作桩。
③ 填入条件项。
④ 填入动作项。等到初始判定表。
⑤ 简化、合并相似规则（相同动作）。
B.Beizer 指出了适合使用判定表设计测试用例的条件：
① 规格说明以判定表形式给出，或很容易转换成判定表。
② 条件的排列顺序不会也不影响执行哪些操作。
③ 规则的排列顺序不会也不影响执行哪些操作。
④ 每当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则。
⑤ 如果某一规则得到满足要执行多个操作，这些操作的执行顺序无关紧要。