7.3 布尔差分法
布尔差分法是基于逻辑电路布尔函数的一种求测试集的方法。
设某一组合电路的输出函数为：
f(x1,x2, ... ,xf, ... ,xn)
而存在故障α时，其故障输出函数为
fα(x1,x2, ... ,xf, ... ,xn)
则要求检测故障a的测试输入向量x使得f(x)和fα(x)得到不同的值，即要求
f(x)
fα(x)
= 1其中，符号
表示异或。该表达式表述的基本内容与D算法的基本思想完全一致。
为了引出布尔差分法，下面分两步进行讨论：首先讨论故障在输入端的情况，然后讨论故障在内部信号线的情况。
1. 输入端故障的测试