九值逻辑运算表及实例.docVIP

. 0 1 d F R 0 0 0 0 0 0 0 0 0 1 0 1 d F R d 0 d d 0 d 0 0 0 0 F 0 F d F U 0 0 0 R 0 R U R 0 0 0 + 0 1 d F R 0 0 1 d F R 1 1 1 1 1 1 1 1 1 d d 1 d 1 F F 1 d 1 1 1 R R F F 1 F 1 F F 1 F 1 F F R U R R 1 1 R 1 R R R 1 d R F U R 0 1 d F R 1 0 d F R  例 1 1 2 3 4 5 t0 d {4} d F d {5} R’ d d t0∩{4}∩{5} d F R’ d d 1 R’=0∪d, 3为主输入端，取确定0或1的值，故3为0； 2 F=1∪d, 2为主输入端，取确定0或1的值，故2为1； 3 1固0故障，输入d=1; 因此测试矢量 为 1 1 0，正常输出1，固0故障输出为0。 与前面d算法一致。 Schneider电路 1 D驱赶（选{9}传递） 1 2 3 4 5 6 7 8 9 10 11 12 t0 0 0 d {9} R’ d d’ t1= t0∩{9} R’ 0 0 d d’ {12} F’ d’ F’ F’ d t2= t1∩{12} R’ 0 0 d F’ d’ F’ F’ d 2 一致性检查 1 2 3 4 5 6 7 8 9 10 11 12 t2 R’ 0 0 d F’ d’ F’ F’ d {11} U F F’ {10} U F F’ {8} U F F’ t2=t2∩{11}∩{10}∩{8} R’ 0 0 U F d F F’ d’ F’ F’ d {7} F’ F’ F {5} F’ F’ F t1=t2∩{7}∩{5} 0 0 0 F’ F d F F’ d’ F’ F’ d F’=0∪d’, 4为主输入端，取确定0或1的值，故4为0；因此测试矢量为0000 ************************************** 1 D驱赶（选{10}传递） 1 2 3 4 5 6 7 8 9 10 11 12 t0 0 0 d {10} R’ d d’ t1= t0∩{10} 0 0 R’ d d’ {12} F’ F’ d’ F’ d t2= t1∩{12} 0 0 R’ d F’ F’ d’ F’ d 2 一致性检查 1 2 3 4 5 6 7 8 9 10 11 12 t2 0 0 R’ d F’ F’ d’ F’ d {11} U F F’ {10} U F F’ {8} U F F’ t2=t2∩{11}∩{10}∩{8} 0 0 R’ F d F F’ F’ d’ F’ d {7} F’ F’ F {5} F’ F’ F t1=t2∩{7}∩{5} F’ 0 0 0 F d F F’ F’ d’ F’ d F’=0∪d’, 1为主输入端，取确定0或1的值，故1节点为0；因此测试矢量为0000