邏輯函數(shù)的卡諾圖化簡(jiǎn)法優(yōu)秀文檔

1.3邏輯函數(shù)及其化簡(jiǎn)1.3.5邏輯函數(shù)的卡諾圖化簡(jiǎn)法返回1.

最小項(xiàng)及最小項(xiàng)表達(dá)式

2.

卡諾圖及其畫(huà)法

3.

用卡諾圖表示邏輯函數(shù)4.

卡諾圖化簡(jiǎn)法結(jié)束放映11/25/20221復(fù)習(xí)與或表達(dá)式最簡(jiǎn)的標(biāo)準(zhǔn)是什么？公式化簡(jiǎn)法的優(yōu)點(diǎn)？局限性？11/25/202221.3.5邏輯函數(shù)的卡諾圖化簡(jiǎn)法公式化簡(jiǎn)法評(píng)價(jià)：優(yōu)點(diǎn)：變量個(gè)數(shù)不受限制。缺點(diǎn)：目前尚無(wú)一套完整的方法，結(jié)果是否最簡(jiǎn)有時(shí)不易判斷。

利用卡諾圖可以直觀而方便地化簡(jiǎn)邏輯函數(shù)。它克服了公式化簡(jiǎn)法對(duì)最終化簡(jiǎn)結(jié)果難以確定等缺點(diǎn)?？ㄖZ圖是按一定規(guī)則畫(huà)出來(lái)的方框圖，是邏輯函數(shù)的圖解化簡(jiǎn)法，同時(shí)它也是表示邏輯函數(shù)的一種方法?？ㄖZ圖的基本組成單元是最小項(xiàng)，所以先討論一下最小項(xiàng)及最小項(xiàng)表達(dá)式。

11/25/202231.最小項(xiàng)及最小項(xiàng)表達(dá)式（1）最小項(xiàng)返回具備以上條件的乘積項(xiàng)共八個(gè)，我們稱這八個(gè)乘積項(xiàng)為三變量A、B、C的最小項(xiàng)。

設(shè)A、B、C是三個(gè)邏輯變量，若由這三個(gè)邏輯變量按以下規(guī)則構(gòu)成乘積項(xiàng)：①每個(gè)乘積項(xiàng)都只含三個(gè)因子，且每個(gè)變量都是它的一個(gè)因子；②每個(gè)變量都以反變量(A、B、C)或以原變量(A、B、C)的形式出現(xiàn)一次，且僅出現(xiàn)一次。AB是三變量函數(shù)的最小項(xiàng)嗎？ABBC是三變量函數(shù)的最小項(xiàng)嗎？推廣：一個(gè)變量?jī)H有原變量和反變量?jī)煞N形式，因此N個(gè)變量共有2N個(gè)最小項(xiàng)。11/25/20224最小項(xiàng)的定義:對(duì)于N個(gè)變量，如果P是一個(gè)含有N個(gè)因子的乘積項(xiàng)，而且每一個(gè)變量都以原變量或者反變量的形式，作為一個(gè)因子在P中出現(xiàn)且僅出現(xiàn)一次，那么就稱P是這N個(gè)變量的一個(gè)最小項(xiàng)。表1-17三變量最小項(xiàng)真值表11/25/20225（2）最小項(xiàng)的性質(zhì)①對(duì)于任意一個(gè)最小項(xiàng)，只有一組變量取值使它的值為1，而變量取其余各組值時(shí)，該最小項(xiàng)均為0；②任意兩個(gè)不同的最小項(xiàng)之積恒為0；③變量全部最小項(xiàng)之和恒為1。11/25/20226（4）從一般形式表達(dá)式畫(huà)卡諾圖②任意兩個(gè)不同的最小項(xiàng)之積恒為0；②再圈只有一種圈法的1；圖1-15兩個(gè)最小項(xiàng)合并例1-8已知Y的真值表，要求畫(huà)Y的卡諾圖。公式化簡(jiǎn)法評(píng)價(jià)：③最后圈大圈；Y(A、B、C、D)=∑m(0,1,2,3,4,5,6,7,8,10,11)圖1-11三變量卡諾圖的畫(huà)法③最后圈大圈；圖1-15兩個(gè)最小項(xiàng)合并③變量全部最小項(xiàng)之和恒為1。①先圈孤立的1；三是相重——對(duì)折起來(lái)后位置相重。圖1-12四變量卡諾圖的畫(huà)法③從圈組寫出最簡(jiǎn)與或表達(dá)式。用卡諾圖表示邏輯函數(shù)最小項(xiàng)也可用“mi”表示，下標(biāo)“i”即最小項(xiàng)的編號(hào)。編號(hào)方法：把最小項(xiàng)取值為1所對(duì)應(yīng)的那一組變量取值組合當(dāng)成二進(jìn)制數(shù)，與其相應(yīng)的十進(jìn)制數(shù)，就是該最小項(xiàng)的編號(hào)。

表1-18三變量最小項(xiàng)的編號(hào)表

11/25/20227②任意兩個(gè)不同的最小項(xiàng)之積恒為0；表1-18三變量最小項(xiàng)的編號(hào)表三是相重——對(duì)折起來(lái)后位置相重。三是相重——對(duì)折起來(lái)后位置相重。用卡諾圖表示邏輯函數(shù)圖1-17八個(gè)最小項(xiàng)合并②最小項(xiàng)排列規(guī)則：幾何相鄰的必須邏輯相鄰。合并兩個(gè)最小項(xiàng)，可消去一個(gè)變量；表1-18三變量最小項(xiàng)的編號(hào)表卡諾圖是把最小項(xiàng)按照一定規(guī)則排列而構(gòu)成的方框圖。邏輯相鄰：兩個(gè)最小項(xiàng),只有一個(gè)變量的形式不同,其余的都相同。圖1-12四變量卡諾圖的畫(huà)法三是相重——對(duì)折起來(lái)后位置相重。（1）從真值表畫(huà)卡諾圖③從圈組寫出最簡(jiǎn)與或表達(dá)式。合并2N個(gè)最小項(xiàng)，可消去N個(gè)變量。（3）最小項(xiàng)表達(dá)式

任何一個(gè)邏輯函數(shù)都可以表示為最小項(xiàng)之和的形式——標(biāo)準(zhǔn)與或表達(dá)式。而且這種形式是惟一的，就是說(shuō)一個(gè)邏輯函數(shù)只有一種最小項(xiàng)表達(dá)式。例1-7將Y=AB+BC展開(kāi)成最小項(xiàng)表達(dá)式。解：或：11/25/202282.卡諾圖及其畫(huà)法

返回（1）卡諾圖及其構(gòu)成原則

卡諾圖是把最小項(xiàng)按照一定規(guī)則排列而構(gòu)成的方框圖。構(gòu)成卡諾圖的原則是：

①N變量的卡諾圖有2N個(gè)小方塊（最小項(xiàng)）；

②最小項(xiàng)排列規(guī)則：幾何相鄰的必須邏輯相鄰。

邏輯相鄰：兩個(gè)最小項(xiàng),只有一個(gè)變量的形式不同,其余的都相同。邏輯相鄰的最小項(xiàng)可以合并。

幾何相鄰的含義：一是相鄰——緊挨的；二是相對(duì)——任一行或一列的兩頭；三是相重——對(duì)折起來(lái)后位置相重。在五變量和六變量的卡諾圖中，用相重來(lái)判斷某些最小項(xiàng)的幾何相鄰性，其優(yōu)點(diǎn)是十分突出的。11/25/20229圖1-11三變量卡諾圖的畫(huà)法

（2）卡諾圖的畫(huà)法首先討論三變量（A、B、C）函數(shù)卡諾圖的畫(huà)法。①3變量的卡諾圖有23個(gè)小方塊；②幾何相鄰的必須邏輯相鄰：變量的取值按00、01、11、10的順序（循環(huán)碼）排列。相鄰相鄰11/25/202210圖1-12四變量卡諾圖的畫(huà)法相鄰相鄰不相鄰正確認(rèn)識(shí)卡諾圖的“邏輯相鄰”：上下相鄰，左右相鄰，并呈現(xiàn)“循環(huán)相鄰”的特性，它類似于一個(gè)封閉的球面，如同展開(kāi)了的世界地圖一樣。對(duì)角線上不相鄰。11/25/202211（1）從真值表畫(huà)卡諾圖根據(jù)變量個(gè)數(shù)畫(huà)出卡諾圖，再按真值表填寫每一個(gè)小方塊的值（0或1）即可。需注意二者順序不同。例1-8已知Y的真值表，要求畫(huà)Y的卡諾圖。表1-19邏輯函數(shù)Y的真值表3.用卡諾圖表示邏輯函數(shù)ABCY00000011010101101001101011001111圖1-13例1-8的卡諾圖返回11/25/202212（2）從最小項(xiàng)表達(dá)式畫(huà)卡諾圖

把表達(dá)式中所有的最小項(xiàng)在對(duì)應(yīng)的小方塊中填入1，其余的小方塊中填入0。例1-9畫(huà)出函數(shù)Y(A、B、C、D)=∑m(0,3,5,7,9,12,15)的卡諾圖。圖1-14例1-9的卡諾圖11/25/202213（3）從與－或表達(dá)式畫(huà)卡諾圖把每一個(gè)乘積項(xiàng)所包含的那些最小項(xiàng)（該乘積項(xiàng)就是這些最小項(xiàng)的的公因子）所對(duì)應(yīng)的小方塊都填上1，剩下的填0，就可以得到邏輯函數(shù)的卡諾圖。1111AB＝11例已知Y＝AB＋ACD＋ABCD，畫(huà)卡諾圖。最后將剩下的填01+1ACD=1011ABCD=011111/25/202214（4）從一般形式表達(dá)式畫(huà)卡諾圖

先將表達(dá)式變換為與或表達(dá)式，則可畫(huà)出卡諾圖。11/25/202215（1）卡諾圖中最小項(xiàng)合并的規(guī)律合并相鄰最小項(xiàng)，可消去變量。合并兩個(gè)最小項(xiàng)，可消去一個(gè)變量；合并四個(gè)最小項(xiàng)，可消去兩個(gè)變量；合并八個(gè)最小項(xiàng)，可消去三個(gè)變量。合并2N個(gè)最小項(xiàng)，可消去N個(gè)變量。4.卡諾圖化簡(jiǎn)法由于卡諾圖兩個(gè)相鄰最小項(xiàng)中，只有一個(gè)變量取值不同，而其余的取值都相同。所以，合并相鄰最小項(xiàng)，利用公式A+A=1，AB＋AB＝A，可以消去一個(gè)或多個(gè)變量，從而使邏輯函數(shù)得到簡(jiǎn)化。返回11/25/202216圖1-15兩個(gè)最小項(xiàng)合并

m3m11BCD11/25/202217②再圈只有一種圈法的1；ABBC是三變量函數(shù)的最小項(xiàng)嗎？（1）卡諾圖及其構(gòu)成原則①每個(gè)乘積項(xiàng)都只含三個(gè)因子，且每個(gè)變量都是它的一個(gè)因子；Y(A、B、C、D)=∑m(0,1,2,3,4,5,6,7,8,10,11)正確認(rèn)識(shí)卡諾圖的“邏輯相鄰”：上下相鄰，左右相鄰，并呈現(xiàn)“循環(huán)相鄰”的特性，它類似于一個(gè)封閉的球面，如同展開(kāi)了的世界地圖一樣。（3）從與－或表達(dá)式畫(huà)卡諾圖最小項(xiàng)及最小項(xiàng)表達(dá)式（2）卡諾圖的畫(huà)法利用卡諾圖可以直觀而方便地化簡(jiǎn)邏輯函數(shù)。一是相鄰——緊挨的；圖1-11三變量卡諾圖的畫(huà)法圈組技巧(防止多圈組的方法)：圖1-16四個(gè)最小項(xiàng)合并

11/25/202218圖1-17八個(gè)最小項(xiàng)合并11/25/202219（2）利用卡諾圖化簡(jiǎn)邏輯函數(shù)A．基本步驟：

①畫(huà)出邏輯函數(shù)的卡諾圖；②合并相鄰最小項(xiàng)（圈組）；③從圈組寫出最簡(jiǎn)與或表達(dá)式。

關(guān)鍵是能否正確圈組。

B．正確圈組的原則①必須按2、4、8、2N的規(guī)律來(lái)圈取值為1的相鄰最小項(xiàng)；②每個(gè)取值為1的相鄰最小項(xiàng)至少必須圈一次，但可以圈多次；③圈的個(gè)數(shù)要最少（與項(xiàng)就少），并要盡可能大（消去的變量就越多）。11/25/202220

C．從圈組寫最簡(jiǎn)與或表達(dá)式的方法：

①將每個(gè)圈用一個(gè)與項(xiàng)表示

圈內(nèi)各最小項(xiàng)中互補(bǔ)的因子消去，相同的因子保留，相同取值為1用原變量，相同取值為0用反變量；

②將各與項(xiàng)相或，便得到最簡(jiǎn)與或表達(dá)式。11/25/202221例1-10用卡諾圖化簡(jiǎn)邏輯函數(shù)Y(A、B、C、D)=∑m(0,1,2,3,4,5,6,7,8,10,11)解：相鄰A11/25/202222相鄰BCA11/25/202223BCABD11/25