【正文】 pDt組合邏輯：電路的輸出只是和當(dāng)前狀態(tài)有關(guān)，和過去的狀態(tài)無關(guān) 。 例：設(shè)計(jì)一位十進(jìn)制數(shù)的數(shù)值范圍判斷器， 當(dāng) x=5， F=1；否則， F=0。 步驟 2 尋找必要的質(zhì)蘊(yùn)涵項(xiàng)（續(xù)） P1 P2 P3 P4 P5 m2 m4 m6 m10 質(zhì)蘊(yùn) 涵項(xiàng) 最小項(xiàng) 質(zhì)蘊(yùn) 涵項(xiàng) 最小項(xiàng) m2 m4 m6 P1 P2 P3 m10 表 V 表 VI 表 V中 ， P4行只有一個(gè) △ ， 它所對(duì)應(yīng)的 m4列包含在 P3行中 ， 故 P4為非必要的質(zhì)蘊(yùn)涵項(xiàng) 。全部質(zhì)蘊(yùn)涵項(xiàng)覆蓋了 F的 所有最小項(xiàng)。 “與或 ” 表達(dá)式化簡：例 3 ACADDBACDACBAF ?????B A D C 00 11 01 10 00 11 01 10 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 DCADCABCDBADACF?????BCACDBAD“與或 ” 表達(dá)式化簡： B A D C 00 11 01 10 00 11 01 10 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 CACABCACDF ????BCACD如果在上圖中的 m10=1,可以出現(xiàn) 8個(gè) 1相連，消去 3個(gè)變量。 ? QM(QuineMcCluskey) 法和卡諾圖法的化簡思路是一致的 :兩相鄰最小項(xiàng)可以合并 ,消去一個(gè)變量 . [1952， 1956] ? QM法是用分組表格法，把兩相鄰與項(xiàng)合成為一新的與項(xiàng)，從而消去一變量。 由圖還可見 ， P1~ P7中有不必要的質(zhì)蘊(yùn)涵項(xiàng)： 例如 ， 若 P2， P3必要 ， 則 P1就不必要 。 ? 第一步求全部質(zhì)蘊(yùn)涵項(xiàng) 。 B A X amp。 (3)。 解：輸入為 0，表示反對(duì)； 輸入為 1，表示贊同； 當(dāng) ABC中有兩個(gè)和兩個(gè)以上為 “ 1”時(shí)，表示多數(shù)贊同， F＝ 1；否則 F＝ 0。 邏輯函數(shù)的表格化簡法 (QM法 )小結(jié) 特殊形式的邏輯函數(shù)化簡 ? 基本形式的邏輯函數(shù)： 單輸出邏輯函數(shù)， F＝ f(A,B,C… ) ? 特殊形式的邏輯函數(shù)： 1. 多輸出邏輯函數(shù) 2. 包含不管項(xiàng)的邏輯函數(shù) ? 只要求掌握卡諾圖化簡法 (1)多輸出邏輯函數(shù)的化簡 多輸出邏輯函數(shù)：同一組輸入變量，有兩個(gè)以上的輸出。 ? 同理 ， 由于 m15是必要的 ， P6也為必要 ， P6所蘊(yùn)涵的 m13, m15可以從表中暫時(shí)刪去 ， 如下圖 。 在表 I的 相鄰組間 進(jìn)行逐項(xiàng)搜索，尋找相鄰項(xiàng)。卡諾圖化簡 卡諾圖化簡的核心是找到并且合并相鄰最小項(xiàng)。組號(hào)是 mi中 i所包含 “ 1”的個(gè)數(shù)。 由于 P7 必要 ， P7 所蘊(yùn)涵的m8,m9,m12,m13可從表中暫時(shí)刪去 ， 以簡化表 IV。 ? 多輸出邏輯函數(shù)的表格法化簡不要求 (p3845). ? 計(jì)算機(jī)輔助邏輯化簡的其他算法還在繼續(xù)研究 。 例 1：設(shè)計(jì)一個(gè)多數(shù)表決邏輯電路，判別 A B C三人中是否為多數(shù)贊同。 (4)。 B A X 1? B A X + 傳統(tǒng)符號(hào) IEEE標(biāo)準(zhǔn)符號(hào) 習(xí)慣符號(hào) 門電路符號(hào) B A X B A X B A X B A X 1?B A X 1?B A X 1?B A X + B A X ?B A X ?例 1: 異或邏輯 BABAF ??A B F 0 0 1 0 0 1 1 1 0 1 1 0 A,B不相同時(shí) , F為 1； A,B相同時(shí) , F為 0；因此稱異或邏輯或半加邏輯。 分組后在相鄰組間反復(fù)比較 ， 兩個(gè)最小項(xiàng)間只要有一個(gè)變量不同 ， 就可以消去一個(gè)變量 ， 最后得到 覆蓋 F所有最小項(xiàng)的 全部 質(zhì)蘊(yùn)涵項(xiàng) 。 為此 ， 下一步驟就要從全部質(zhì)蘊(yùn)涵項(xiàng)中消去冗余項(xiàng) ， 選出必要的質(zhì)蘊(yùn)涵項(xiàng) 。它適合于變量數(shù) 4的函數(shù)，化簡過程有規(guī)律，可編程，便于計(jì)算機(jī)實(shí)現(xiàn) 。 4個(gè)變量卡諾圖的最小項(xiàng) B A D C