（三）確定有效邏輯基表 * +( +’給出了五個(gè)命題變?cè)娜靠赡艿慕M合方式，這樣對(duì)應(yīng)每一種組合按邏輯運(yùn)算規(guī)則可計(jì)算出相應(yīng)每一邏輯關(guān)系式的真值，如表 (2 +’中第 *至第 3行所示。由每一種組合的邏輯關(guān)系式的真值，即可計(jì)算出相應(yīng)的決策函數(shù)的真值，如表 *
+( +’中最后一行所示。 •%%•
然而所有這些可能的組合中肯定有一些是不符合實(shí)際的。哪些是符合實(shí)際的
（即對(duì)診斷故障是有效的），哪些是不符合實(shí)際的（即對(duì)診斷故障是無(wú)效的），必須依據(jù)決策規(guī)則來(lái)確定。式 ""的決策規(guī)則正是三個(gè)邏輯關(guān)系式的邏輯乘，這三個(gè)邏輯關(guān)系式是按電路中各元器件的正常邏輯關(guān)系所確定的，因此，只有這些邏輯關(guān)系式都取值為 “”時(shí)，才符合電路實(shí)際工作的邏輯關(guān)系。換言之，其中任一個(gè)取值為
“%”都是無(wú)效的。三個(gè)邏輯關(guān)系式取值都為 “”時(shí)，按邏輯乘的計(jì)算規(guī)則，決策規(guī)則正必然取值 “”，即該決策規(guī)則有效。從表 " "&中看出：正取值為 “”的只有 、 &、、’、%、&(、&)列成立，即只有這七個(gè)邏輯基是有效的。這七個(gè)邏輯基稱為有效邏輯基，由這七個(gè)邏輯基按各命題變?cè)娜≈登闆r寫成的決策規(guī)則，稱為有效決策規(guī)則。在有效邏輯基中，變?cè)禐?%的取其逆變?cè)冊(cè)禐?的取其正變?cè)鏊鼈兊倪壿嫵耍⑷∵@七個(gè)有效邏輯基的變?cè)孀冊(cè)┻壿嫹e的邏輯和，得
* * +, "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.& / "-%-& -.&（ " "）式中，右端每一項(xiàng)對(duì)應(yīng)一個(gè)有效邏輯基。式（ " "）即為有效決策規(guī)則。表 " "&*邏輯基表
& ( ) ’ . 0 % & ( ) ’ . 0 &% & && &( &) & &’ & &. &0 (% (
-% % % % % % % % % % % % % % % % %
-& % % % % % % % % % % % % % % % %
-0& % % % % % % % % % % % % % % % %
% % % % % % % % % % % % % % % %
" % % % % % % % % % % % % % % % %
（(-% -.&）
, / -% -.& % % % % % % % % % % %
（"(-% -&）
, " / -% -& % % % % % % % % % % % %
（"(-&）
, " / -& % % % % 1 % % % %
+ % % % % % % % % % % % % % % % % % % % % % % % %
（四）有效決策主范式上面我們是用排真值表的方法找出有效邏輯基，并確定有效決策規(guī)則。顯然，若所考慮的命題變?cè)啵嬷当砭惋@得愈龐大。為簡(jiǎn)化起見，尚可用另一種方法，即 •%%&•
直接從決策規(guī)則式 " "開始，用有關(guān)邏輯運(yùn)算公式推理得到有效決策規(guī)則與有效邏輯基。推理得到的有效決策規(guī)則亦稱“有效決策主范式”，二者是一致的。
若在決策規(guī)則中，右邊是邏輯和的形式，而在邏輯和中，每一項(xiàng)都是由命題變?cè)倪壿嫵怂M成，并且每個(gè)邏輯乘項(xiàng)包含所考慮的全部命題變?cè)蚱淠孀冊(cè)總�(gè)命題變?cè)谝粋�(gè)邏輯乘項(xiàng)中只出現(xiàn)一次，這樣的決策規(guī)則稱為“有效決策主范式”。例如式 " "即為有效決策主范式，它是七項(xiàng)邏輯乘的邏輯和，每一項(xiàng)邏輯乘中都包含了我們所考慮的五個(gè)命題變?cè)蚱淠孀冊(cè)以诿恳豁?xiàng)中每個(gè)變?cè)怀霈F(xiàn)一次。
由決策規(guī)則式（ " "）通過(guò)邏輯運(yùn)算導(dǎo)出有效決策主蕩式的過(guò)程如下：
——— —
%&（ ’ ( )(*+）（" ’ ()(+）’（ " ’ ( +）
將該式按邏輯運(yùn)算規(guī)則展開簡(jiǎn)化后得
— ——— ——— 中國(guó)航空網(wǎng) www.k6050.com 航空翻譯 www.aviation.cn 本文鏈接地址：飛機(jī)檢測(cè)與維修實(shí)用手冊(cè) 3(72)
