（三）确定有效逻辑基表 * +( +’给出了五个命题变元的全部可能的组合方式，这样对应每一种组合按逻辑运算规则可计算出相应每一逻辑关系式的真值，如表 (2 +’中第 *至第 3行所示。由每一种组合的逻辑关系式的真值，即可计算出相应的决策函数的真值，如表 *
+( +’中最后一行所示。 •%%•
然而所有这些可能的组合中肯定有一些是不符合实际的。哪些是符合实际的
（即对诊断故障是有效的），哪些是不符合实际的（即对诊断故障是无效的），必须依据决策规则来确定。式 ""的决策规则正是三个逻辑关系式的逻辑乘，这三个逻辑关系式是按电路中各元器件的正常逻辑关系所确定的，因此，只有这些逻辑关系式都取值为 “”时，才符合电路实际工作的逻辑关系。换言之，其中任一个取值为
“%”都是无效的。三个逻辑关系式取值都为 “”时，按逻辑乘的计算规则，决策规则正必然取值 “”，即该决策规则有效。从表 " "&中看出：正取值为 “”的只有 、 &、、’、%、&(、&)列成立，即只有这七个逻辑基是有效的。这七个逻辑基称为有效逻辑基，由这七个逻辑基按各命题变元的取值情况写成的决策规则，称为有效决策规则。在有效逻辑基中，变元值为 %的取其逆变元，变元值为 的取其正变元，做它们的逻辑乘，并取这七个有效逻辑基的变元（逆变元）逻辑积的逻辑和，得
* * +, "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.&（ " "）式中，右端每一项对应一个有效逻辑基。式（ " "）即为有效决策规则。表 " "&*逻辑基表
& ( ) ’ . 0 % & ( ) ’ . 0 &% & && &( &) & &’ & &. &0 (% (
-% % % % % % % % % % % % % % % % %
-& % % % % % % % % % % % % % % % %
-0& % % % % % % % % % % % % % % % %
% % % % % % % % % % % % % % % %
" % % % % % % % % % % % % % % % %
（(-% -.&）
, / -% -.& % % % % % % % % % % %
（"(-% -&）
, " / -% -& % % % % % % % % % % % %
（"(-&）
, " / -& % % % % 1 % % % %
+ % % % % % % % % % % % % % % % % % % % % % % % %
（四）有效决策主范式上面我们是用排真值表的方法找出有效逻辑基，并确定有效决策规则。显然，若所考虑的命题变元愈多，真值表就显得愈庞大。为简化起见，尚可用另一种方法，即 •%%&•
直接从决策规则式 " "开始，用有关逻辑运算公式推理得到有效决策规则与有效逻辑基。推理得到的有效决策规则亦称“有效决策主范式”，二者是一致的。
若在决策规则中，右边是逻辑和的形式，而在逻辑和中，每一项都是由命题变元的逻辑乘所组成，并且每个逻辑乘项包含所考虑的全部命题变元或其逆变元，每个命题变元在一个逻辑乘项中只出现一次，这样的决策规则称为“有效决策主范式”。例如式 " "即为有效决策主范式，它是七项逻辑乘的逻辑和，每一项逻辑乘中都包含了我们所考虑的五个命题变元或其逆变元，而且在每一项中每个变元只出现一次。
由决策规则式（ " "）通过逻辑运算导出有效决策主荡式的过程如下：
——— —
%&（ ’ ( )(*+）（" ’ ()(+）’（ " ’ ( +）
将该式按逻辑运算规则展开简化后得
— ——— ——— 中国航空网 www.aero.cn 航空翻译 www.aviation.cn 本文链接地址：飞机检测与维修实用手册 3(72)
