【正文】 在邏輯上具有相鄰性 ， 或稱為相鄰項(xiàng) 。 ——最小項(xiàng)表達(dá)式 一個(gè)全以最小項(xiàng)組成的 “ 與或 ” 式邏輯函數(shù)就是最小項(xiàng)表達(dá)式 。 BA 2)三變量卡諾圖 設(shè)輸入變量為 A、 B、 C(高位 → 低位 )。 3. 用卡諾圖表示邏輯函數(shù) 如果一個(gè)邏輯函數(shù) F已經(jīng)以最小項(xiàng)之和的形式給出 ，則只要根據(jù)變量數(shù)畫出對應(yīng)的卡諾圖框 ， 然后按最小項(xiàng)標(biāo)號在相應(yīng)的方格中填寫 “ 1”， 其余的方格填寫“ 0”， 也即是按真值表來填寫卡諾圖 。 A B AB A?? 具體的化簡方法是畫包圍圈 。 圖 (b)因?yàn)闆]有遵循從小到大的次序 ， 先去圈了一個(gè)不必要圈的大圈 (含 4格 )， 然后 ， 為了覆蓋所有的“ 1”， 又圈了 4個(gè)小圈 ， 所以就不是最簡結(jié)果 。 例如 ， 例 ： FF B D B C A C DF F B D B C A C D? ? ?? ? ? ?第二步 ， 再求 ， 但不用摩根定律處理 ， 得 FF? 具有 “ 約束 ” 的邏輯函數(shù)的化簡 “ 約束 ” “ 約束 ” 是用來說明邏輯函數(shù)中各邏輯變量之間互相有一種 “ 制約 ” 關(guān)系的一個(gè)概念 。 下面我們來比較一下： 不考慮約束條件的化簡如圖 (A)所示 ， 化簡結(jié)果為 F A B D A B C A B CF A B D B C? ? ?? ? ?考慮約束條件的化簡如圖 (b)所示 ， 化簡結(jié)果為 圖 卡諾圖化簡 (A)不考慮約束項(xiàng)的化簡； (b)考慮約束項(xiàng)的化簡 1 1 100 01 11 10BCA0001（ a ）1 11110D120 1 3 24 5 7 613 15 148 9 11 101 1 100 01 11 10BCA0001（ b ） 1 1 1110D120 1 3 24 5 7 613 15 148 9 11 10 例 用卡諾圖化簡 F(A 、 B 、 C 、 D)=∑m(3 、 4 、 5 、 6 、 9 、1415)+∑d( 1 13) 解：將 m項(xiàng) 、 d項(xiàng)填入卡諾圖 ， 化簡過程如圖 所示 。 解：第一步 ， 先在卡諾圖上用圈 “ 0”的方法求得反函數(shù) 的最簡與或式為 如圖 。 將必須合并的最小項(xiàng)分別用圈圈出來 ， 如圖 。 ABABA A圖 和 B的公共部位 A00 01 11 10BCA01（ a ）00 01 11 10BCA01（ b ）圖 B的卡諾圖 A00 01 11 10 BC A 0 1 圖 合并最小項(xiàng) （ a ） （ c ） 1 1 00 01 11 10 BC A 0 1 F=ABC+ABC=BC （ b ） 00 01 11 10 CD AB 00 01 F=ABCD+ABCD=ABD 1 1 11 10 （ d ） 1 1 00 01 11 10 BC A 0 1 F=AC 1 00 01 11 10 CD AB 00 01 F=BCD 1 11 10 圖 合并最小項(xiàng) 1 1 1 1 00 01 11 10 B C A 0 1 F=ABC+ABC+ABC+ABC =AB+AB=B 1 1 00 01 11 10 B C A 00 01 F=BC 1 1 11 10 D 1 1 1 1 00 01 11 10 B C A 0 1 F=A （ f ） 1 1 00 01 11 10 B C A 00 01 F=BD 1 1 11 10 D （ h ） 圖 合并最小項(xiàng) （ i ）（ j ）1 1 1 100 01 11 10BCA0001F = B1 1 1 11110D1 11 100 01 11 10BCA0001F = D1 11 11110D（ k ）1 1 1 100 01 11 10BCA0001F = B1 1 1 11110D1 11 100 01 11 10BCA0001F = C1 11 11110D（ l ） 利用卡諾圖化簡邏輯函數(shù)