【正文】 可使邏輯表達式得到化簡。這就是利用卡諾圖法化簡邏輯函數的基本原理。 ? ? 用卡諾圖化簡邏輯函數的步驟如下。 ? ①將邏輯函數寫成最小項表達式。 1AA??下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? ② 按最小項表達式填卡諾圖，凡式中包含了的最小項，其對應方格填 1，其余方格填 0(或不填 )。 ? ③合并最小項，即將相鄰的 1方格圈成一組，每一組含 2n個方格，對應每個組寫成一個新的乘積項 (消去不同的變量，相同的變量寫成與項 )。 ? ④將所有組對應的乘積項相加。 ? 有時也可以由真值表直接填卡諾圖，以上的①、②兩步驟就可合為一步。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 注意 :畫卡諾圖的包圍圈時應遵循以下原則。 ? ①包圍圈內的方格數必定為 2n個， n等于。 ,1 ,2 ,3 ,.. ? ② 相鄰方格包含上下底相鄰，左右邊相鄰和四角相鄰。 ? ③同一方格可以被不同的包圍圈重復包圍，但新增包圍圈中一定要有新的方格，否則該包圍圈是多余的。 ? ④包圍圈內的方格數要盡可能多，包圍圈的數目要盡可能少。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 化簡后，一個包圍圈對應一個與項 (乘積項 )，包圍圈越大，所得乘積項中的變量越少。實際上，如果做到了使每個包圍圈盡可能大，結果包圍圈個數也就會少，使得消失的乘積項個數也越多，就可以獲得最簡的邏輯函數表達式。下面通過例子來熟悉用卡諾圖化簡邏輯函數的方法。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 例 28 化簡 。 ? 解： (1)畫出函數的卡諾圖，如 圖 216所示。 ? (2)按合并最小項的規(guī)律畫出卡諾圖圈。 ? (3)寫出化簡后的邏輯表達式。 ? 例 29 化簡 ? 解：畫函數的卡諾圖，化簡過程如同 圖 217所示。 ? 合并最小項得到邏輯表達式為 下一頁 返回 上一頁 ( , , , ) ( 0 , 1 , 2 , 3 , 4 , 5 , 8 , 10 , 11 )Y A B C D m? ?( , , , )Y A B C D A C B D B C? ? ?( , , , ) ( 3 , 4 , 5 , 7, 9 , 13 , 14 , 15 )Y A B C D m? ?Y AB C ACD ACD AB C? ? ? ? 邏輯函數的卡諾圖化簡法 ? ? 在解決實際邏輯問題時，經常會遇到一些變量是任意的或者是不允許的、不可能的、不應該出現的，這些取值對應的最小項稱為約束項，有些文獻中也稱為任意項、無關項、禁止項。這樣一來，約束項在卡諾圖化簡時，我們對它的取值就是任意的了，也就是說它既可以取 0，也可以取 1，可以根據使函數盡量得到簡化而定。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 具有約束項的邏輯函數的化簡步驟如下。 ? ①填入具有約束項的邏輯函數的卡諾圖。 ? ②畫卡諾圈合并 (約束項畫“ ”，使化簡結果簡化的視為 1，否則視為 0。 ? ③寫出化簡結果。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 例 210 設計一個邏輯電路，能夠判斷為奇數時，電路輸出 1。當十進制數為偶數時 1位十進制數的奇偶性，當十進制數，電路輸出 0。 ? 解 :① 寫出真值表。用 8421 BCD碼表示十進制數， 4位碼即為輸入變量，當對應的十進制數為奇數時，函數值為 1，反之為 0，得到如 表 216所示的真值表。 ? 我們知道， 8421 BCD碼只有 10個，表中 4位二進制碼的后 6種組合是無效的，是無關項，根本不會出現，它們對應的函數值可以任意假設，為0、為 1都可以，通常以 表示。 下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? ② 將真值表的內容填入 4變量卡諾圖，如 圖 218所示。 ? ③畫包圍圈，此時應利用約束項 (無關項 )，顯然，將 m11,m13 ,m15對應的方格視為 1，可以得到最大的包圍圈。 ? ④寫出結果 :Y= D。若不利用約束項，則 ，結果將復雜很多。 Y AD BCD??下一頁 返回 上一頁 邏輯函數的卡諾圖化簡法 ? 例 211十字路口的交通信號燈有紅、綠、黃 3種顏色，分別用 A,B,C表示紅、綠、黃三種信號燈，燈亮為 1,滅為 0。車輛通行狀態(tài)用 Y表示，通車時 Y為 1,停車時 Y為 0用卡諾圖化簡該邏輯函數。 ? 解 :① 在實際交通信號燈工作時，不可能有兩個或兩個以上的燈同時亮(燈全滅時，允許車輛感到安全時可以通行 )。根據題日的要求列出真值表，如 表 217所示。 ? ②根據真值表畫出卡諾圖，如 圖 219所示。 ? ③畫卡諾圈合并最小項，得到最簡結果 : Y AC?返回 上一頁 圖 21 與邏輯的邏輯電路 (a)邏輯電路 。(b)電路符號 返回 表 21 與邏輯關系表 返回 表 22 與邏輯真值表 返回 圖 22 或邏輯的邏輯電路 (a)邏輯電路 。(b)電路符號 返回 表 23 或邏輯關系表 返回 表 24 或邏輯真值表 返回 圖 23非邏輯的邏輯電路 (a)邏輯電路 。(b)電路符號 返回 表 25 非邏輯關系表 (a)邏輯電路 。(b)電路符號 返回 表 26 非邏輯真值表 返回 圖 24 與非運算的邏輯符號 返回 表 27 與非邏輯真值表 返回 圖 25 或非運算的邏輯符號 返回 表 28 或非邏輯真值表 返回 圖 26 異或運算的邏輯符號 返回 表 29 異或邏輯真值表 返回 圖 27 同或運算的邏輯符號 返回 表 210 同或邏輯真值表 返回 圖 28 與或非運算的邏輯符號 返回 圖 29 與或非運算的邏輯電路圖 返回 表 211 與或非邏輯真值表 返回 圖 210 例 21邏輯圖 返回 表 212 例 21真值表 返回 圖 211 例 21波形圖 返回 圖 212 返回 表 213 例 23真值表 返回 表 214 3個變量的最小項真值表 返回 表 215 3個變量的最小項編號 返回 圖 213 邏輯變量卡諾圖 (a)二變量卡諾圖 。(b)三變量卡諾圖 。(c)四變量卡諾圖 返回 圖 214 例 26卡諾圖 返回 圖 215 例 27卡諾圖 返回 圖 216 例 28卡諾圖 返回 圖 217 例 29卡諾圖 返回 表 216 例 210真值表 返回 圖 218 例 210卡諾圖 返回 表 217 例 211真值表 返回 圖 219 例 211卡諾圖 返回