第二章布爾代數(shù)及其邏輯實現(xiàn)2.1布爾代數(shù)的基本概念2.2布爾代數(shù)的公式、定理及重要規(guī)則2.3布爾函數(shù)表達(dá)式的形式與轉(zhuǎn)換方法2.4布爾函數(shù)的代數(shù)化簡法2.5布爾函數(shù)的卡諾圖化簡法2.6具有無關(guān)項的布爾函數(shù)及其化簡2.7布爾函數(shù)的實現(xiàn)2.8多輸出布爾函數(shù)的化簡與實現(xiàn)12.1布爾代數(shù)的基本概念

從本章開始，以下各章均是討論邏輯運算問題。邏輯運算是邏輯思維和邏輯推理的數(shù)學(xué)描述。1847年，英國數(shù)學(xué)家喬治·布爾（GeorgeBoole）提出了描述客觀事物邏輯關(guān)系的數(shù)學(xué)方法——布爾代數(shù)。由于布爾代數(shù)被廣泛的應(yīng)用于解決開關(guān)電路和數(shù)字邏輯電路的分析與設(shè)計上，所以布爾代數(shù)也稱為開關(guān)代數(shù)或邏輯代數(shù)。2

邏輯問題的前提是二值性問題，即一個問題只有二種答案，不是“真”就是“假”，不存在第三種似是而非的答案。這樣邏輯問題也可用二種代碼表示，一般用“1”和“0”表示二種答案。此處的“1”和“0”僅表示一個問題的二種結(jié)果，不表示數(shù),無大小之分。“1”和“0”稱邏輯常量。布爾代數(shù)（邏輯代數(shù)）中也是用字母表示變量，這種變量稱為布爾（邏輯）變量。在二值邏輯中，每個邏輯變量的取值只有“1”和“0”兩種可能。3與邏輯（與運算、邏輯乘）或邏輯（或運算、邏輯加）非邏輯（非運算、邏輯反）布爾代數(shù)中的三種基本運算

實際的邏輯關(guān)系是千變?nèi)f化的，但它們都是由與、或、非三種基本運算組成的，都可以通過這三種基本運算來實現(xiàn)42.1.1與邏輯（與運算、邏輯乘）只有前提均具備了，結(jié)果才發(fā)生，這種關(guān)系稱為“與”邏輯。下面我們用開關(guān)A、B

串聯(lián)控制燈F的亮與滅，說明與邏輯的功能。定義：開關(guān)合上為“1”，斷開為“0”。燈亮為“1”，燈滅為“0”。BAFREBAFRE5描述邏輯功能的多種手段一、真值表將AB各種可能的情況與燈F的關(guān)系列表表示如下圖：111010001000FAB真值表BAFREBAFRE6二、布爾（邏輯）函數(shù)表達(dá)式F=

A·B將邏輯常量代入：0·0=00·1=01·0=01·1=1A為邏輯變量,它的取值只能為0或者1。則：0·A=01·A=AA·A=A7四、波形關(guān)系高電平為“1”，低電平為“0”（正邏輯）AFB8三、邏輯符號目前存在三種符號表示，逐漸應(yīng)統(tǒng)一到國際標(biāo)準(zhǔn)。&（c）國際標(biāo)準(zhǔn)（b）國外流行ABFBAFFAB（a）國家標(biāo)準(zhǔn)＆92.1.2或邏輯（或運算、邏輯加）只要具備了一個前提，結(jié)果就發(fā)生，這種關(guān)系稱為“或”邏輯。下面我們用開關(guān)A、B

并聯(lián)控制燈F的亮與滅，說明“或”邏輯的功能。定義：開關(guān)A或B合上為“1”，斷開為“0”。燈亮為“1”，燈滅為“0”。FREAB10一、真值表將AB各種可能的情況與燈F的關(guān)系列表表示如下圖：111110101000FAB真值表FREAB11二、邏輯函數(shù)表達(dá)式F=

A+B將邏輯常量代入：0+0=00+1=11+0=11+1=1A為邏輯變量,它的取值只能為0或者1。則：A+0=AA+1=1A+A=A12三、邏輯符號FFFABABAB+≥1（a）（b）（c）AFB四、波形關(guān)系高電平為“1”，低電平為“0”132.1.3非邏輯（非運算、邏輯反）前提與結(jié)果相反；前提為真，結(jié)果為假。這種關(guān)系稱為“非”邏輯。下面我們用開關(guān)A控制燈F的亮與滅，說明“非”邏輯的功能。定義：開關(guān)合上為“1”，斷開為“0”。燈亮為“1”，燈滅為“0”。EARF14一、真值表將AB各種可能的情況與燈F的關(guān)系列表表示如下圖：0110FA真值表EARF15二、邏輯函數(shù)表達(dá)式F=

A將邏輯常量代入：

0=11=0A·A=0A+A=1A=A16三、邏輯符號四、波形關(guān)系高電平為“1”，低電平為“0”AF17三種基本邏輯運算的運算順序非與或例182.1.4其他復(fù)合邏輯運算及描述

將基本邏輯運算進(jìn)行簡單的組合—組合成如下常用復(fù)合邏輯?！芭c非邏輯”“或非邏輯”“與或非”邏輯“異或”“同或”邏輯

19“與”邏輯和“非”邏輯的組合。先“與”再“非”。＆BAAB11FABA&F=ABB＆1.“與非邏輯”20AFB波形圖011110101100FAB真值表見0得1全1得021

“或”邏輯和“非”邏輯的組合。先“或”再“非”。≥1BAA+B11FA+BAF=A+BB≥1

2.“或非邏輯”22波形關(guān)系A(chǔ)FB011010001100FAB真值表全0得1見1得023“與”邏輯、“或”邏輯、“非”邏輯的組合。先“與”后“或”最后再“非”。ABCDF=AB+CD＆≥1＆≥11F=AB+CD11AB+CD≥1≥1CDAB＆BA＆DC

3.“與或非”邏輯24真值表輸入二變量相異為“0”，相同為“1”，稱為“同或”F2。輸入二變量相異為“1”，相同為“0”，稱為“異或”F1。4.“異或”“同或”邏輯ABF1F20001011010101101異或同或25由真值表可得出下式：真值表ABF1F2000101101010110126異或邏輯符號同或邏輯符號

（a）（b）（c）

=1AFBABFAFB=1

（a）（b）（c）

BAAFBAFB=1F27“同或”運算實例說明一個控制樓梯照明燈的電路。單刀雙擲開關(guān)A裝在樓下，B裝在樓上，這樣在樓下開燈后，可以在樓上關(guān)燈。同樣也可以在樓上開燈，而在樓下關(guān)燈。因為只有當(dāng)兩個開關(guān)都向上扳時，燈才會亮。而一個向上扳，另一個向下扳，燈就滅。220VabCdABL上述電路功能可如下表述：設(shè)L表示燈的狀態(tài)，即L=1表示燈亮，L=0表示燈不亮。用A和B表示開關(guān)A和B的位置，用1表示向上扳，用0表示向下扳。則L與A、B的關(guān)系可用真值表表示ABL001010100111燈亮的邏輯表達(dá)式：L=AB+AB描述了從邏輯問題建立邏輯函數(shù)的過程282.1.5布爾（邏輯）函數(shù)

在實際問題中，通?？偸且赃@些基本邏輯運算構(gòu)成各種復(fù)雜的邏輯關(guān)系式。概念：在數(shù)字系統(tǒng)的邏輯電路中，如果某一輸出量與一組輸入量存在一定的對應(yīng)關(guān)系，當(dāng)輸入變量取任意一組確定的值，輸出變量也就唯一的被確定，則這種關(guān)系為邏輯函數(shù)關(guān)系．設(shè)輸入變量為A1、A2，…An，輸出變量為F，則描述輸出變量和輸入變量的邏輯函數(shù)可表示為

F=f(A1,A2,…An)29邏輯函數(shù)自身的特點邏輯變量和邏輯函數(shù)的取值只有0和1兩種可能。邏輯函數(shù)和邏輯變量之間的關(guān)系是由“或”、“與”、“非”三種基本邏輯運算決定的。邏輯代數(shù)的函數(shù)和普通代數(shù)的函數(shù)一樣，存在相等的問題。設(shè)有兩個邏輯函數(shù)：F1=f1(A1,A2，…，An)F2=f2(A1,A2,…,An)若對應(yīng)于邏輯變量A1,A2,…,An的任何一組取值，F(xiàn)1和F2的值都相同，則稱函數(shù)F1和F2相等。記作F1=F2。302.2布爾（邏輯）代數(shù)的基本公式、定理和規(guī)則

主要要求：

掌握布爾代數(shù)的基本公式和基本定理。熟悉布爾代數(shù)的重要規(guī)則。312.2.1基本公式

布爾（邏輯）常量運算公式

布爾（邏輯）變量與常量的運算公式

0

·

0

=

00

·

1

=

01

·

0

=

01

·

1

=

10

+

0

=

00

+

1

=

11

+

0

=

11

+

1

=

10–1律重迭律

互補(bǔ)律

還原律

0+A=A1+A=11·A=A0·A=0A+A=AA·A=A

雙重否定律322.2.2基本定理

(一)與普通代數(shù)相似的定律

交換律

A+B=B+AA·B=B·A結(jié)合律(A+B)+C=A+(B+C)(A·B)·C=A·(B·C)分配律

A(B+C)=AB+AC

A+BC=(A+B)(A+C)普通代數(shù)沒有！利用真值表邏輯等式的證明方法

利用基本公式和基本定理33111111111100[例]

證明等式A+BC=(A+B)(A+C)解：真值表法公式法右式=(A+B)(A+C)

用分配律展開

=AA+AC+BA+BC=A+AC+AB+BC=A(1+C+B)+BC=A·1+BC=A+BC0000ABCA+BC(A+B)(A+C)00000101001110010111011134

(二)邏輯代數(shù)的特殊定理

吸收律A+AB=A

A+AB=A(1+B)=A

350011111011011100A+BA·BA

B0011001000011100A·BA+BA

B

(二)邏輯代數(shù)的特殊定理

吸收律A+AB=A

推廣公式：思考：(1)若已知A+B=A+C，則B=C嗎？

(2)若已知AB=AC，則B=C嗎？

推廣公式：摩根定理

(又稱反演律)

36香農(nóng)（Shannon）定理任何函數(shù)的反函數(shù)（或稱補(bǔ)函數(shù)），可以通過對該函數(shù)的所有變量取反，并將常量1換成0,0換成1，運算符“+”換成“·”,“·”換成“+”而得到。依據(jù)德·摩根定理得：利用香農(nóng)定理，可直接得：例：已知函數(shù)求其反函數(shù)372.2.3重要規(guī)則

(一)代入規(guī)則

A

A

A

A均用代替A均用代替B均用C代替利用代入規(guī)則能擴(kuò)展基本定律的應(yīng)用。

將邏輯等式兩邊的某一變量均用同一個邏輯函數(shù)替代，等式仍然成立。38（三）反演法則（香農(nóng)定理）反演法則的目的是能夠較快的寫出函數(shù)的反函數(shù)（補(bǔ)函數(shù)），將原式按下述過程即可求得其反函數(shù)。例:L=AB+CD+0

L=(A+B)·(C+D)·139(二)對偶法則解：

按上述過程其對偶式為：L=(A+B)(A+C)則L’=A·B+AC40上述過程要反復(fù)應(yīng)用求反律。而利用反演法則直接寫出結(jié)果。

FEDCBAF的反函數(shù)例：求++++=41求下列函數(shù)的反函數(shù)和對偶函數(shù)42基本公式應(yīng)用①

等式的證明②

邏輯函數(shù)不同形式的轉(zhuǎn)換由于與或形式物理意義明確，與真值表相對應(yīng)，且對應(yīng)的基本公式較為熟悉，故在一般情況下，函數(shù)均以“與或”形式給出。③

邏輯函數(shù)的化簡

用基本公式將邏輯函數(shù)化簡，稱為代數(shù)法化簡。43主要要求：

了解邏輯函數(shù)式的常見形式及其相互轉(zhuǎn)換。

了解邏輯函數(shù)的代數(shù)化簡法。2.4邏輯函數(shù)的代數(shù)化簡法

理解最簡與-或式和最簡與非式的標(biāo)準(zhǔn)。

2.3邏輯函數(shù)表達(dá)式形式44二、邏輯函數(shù)式化簡的意義與標(biāo)準(zhǔn)

化簡意義使邏輯式最簡，它所表示的邏輯關(guān)系就越明顯，有利于設(shè)計出最簡的邏輯電路，從而節(jié)省元器件、優(yōu)化生產(chǎn)工藝、降低成本和提高系統(tǒng)可靠性。不同形式邏輯式有不同的最簡式，一般先求取最簡與-或式，然后通過變換得到所需最簡式。45最簡與-或式標(biāo)準(zhǔn)(積之和表達(dá)式)(1)乘積項(即與項)的個數(shù)最少(2)每個乘積項中的變量數(shù)最少用與門個數(shù)最少與門的輸入端數(shù)最少

最簡與非式標(biāo)準(zhǔn)(1)非號個數(shù)最少(2)每個非號中的變量數(shù)最少用與非門個數(shù)最少與非門的輸入端數(shù)最少

46邏輯式有多種形式，采用何種形式視需要而定。各種形式間可以相互變換。一、邏輯函數(shù)式的幾種常見形式和變換

例如與或表達(dá)式

或與表達(dá)式與非-

與非表達(dá)式或非-

或非表達(dá)式與或非表達(dá)式轉(zhuǎn)換方法舉例

與或式與非式

用還原律

用摩根定律

或與式或非式與或非式

用還原律

用摩根定律

用摩根定律

47三、代數(shù)化簡法

運用邏輯代數(shù)的基本定律和公式對邏輯式進(jìn)行化簡。并項法

運用，將兩項合并為一項，并消去一個變量。Y=ABCD+ABCD=A48吸收法

運用A+AB

=A和，消去多余的與項。49吸收法

運用A+AB

=A和，消去多余的與項。50消去法

運用吸收律

，消去多余因子。51配項法通過乘或加入零項進(jìn)行配項，然后再化簡。52綜合靈活運用上述方法

[例]化簡邏輯式解：

應(yīng)用[例]化簡邏輯式解：

應(yīng)用應(yīng)用AB53[例]化簡邏輯式解：

應(yīng)用用摩根定律541.無統(tǒng)一的固定模式2.需記大量的公式3.需要一定的技巧

4.難于判斷結(jié)果是否最簡為此出現(xiàn)一種既簡便又直觀的化簡方法—

圖形法化簡，即卡諾圖化簡法。通過以上各例可看出代數(shù)法化簡存在如下問題：55代數(shù)化簡法

優(yōu)點：對變量個數(shù)沒有限制。缺點：需技巧，不易判斷是否最簡式。

卡諾圖化簡法

優(yōu)點：簡單、直觀，有一定的步驟和方法容易判斷結(jié)果是否最簡。

缺點：適合變量個數(shù)較少的情況。一般用于四變量以下函數(shù)的化簡。

56函數(shù)的“積之和”與“和之積”表示形式

所謂“積之和”即：“與或式”，是指一個函數(shù)表達(dá)式中包含若干個“積”項，其中每個“積”項可有一個或者多個以原變量或反變量形式出現(xiàn)的字母，這些“積”項的“和”就表示了一個函數(shù)。

所謂“和之積”即：“或與式”，是指一個函數(shù)表達(dá)式中包含若干個“和”項，其中每個“和”項可有一個或者多個以原變量或反變量形式出現(xiàn)的字母，這些“和”項的“積”就表示了一個函數(shù)。57邏輯函數(shù)的標(biāo)準(zhǔn)形式1.最小項和最大項

什么是最小項？

n個邏輯變量組成的“與”項中，所有變量必須以原變量或反變量的形式出現(xiàn)一次。例：對于2個邏輯變量，共可寫出4個最小項：58

用mi表示最小項例：用二進(jìn)制數(shù)0表示反變量,1表示原變量;改用十進(jìn)制數(shù)表示;此十進(jìn)制數(shù)就是mi

的下標(biāo).59

最小項的性質(zhì)性質(zhì)1：輸入變量的每一組取值都使一個對應(yīng)的最小項的值等于1。性質(zhì)2：任意兩個最小項相與,結(jié)果為0。性質(zhì)3：全部最小項相或,結(jié)果為1。即：性質(zhì)4兩個相鄰最小項相加可合并為一項，消去互反變量，化簡為相同變量相與。若兩個最小項僅有一個因子不同，則稱這兩個最小項具有相鄰性。例：和，這兩個最小項相加時能合并，并可消去1個因子。6061

用最小項表達(dá)邏輯函數(shù)

——“標(biāo)準(zhǔn)積之和”

例：互補(bǔ)律分配律重疊律0,2,3,4一個函數(shù)可以用最小項之和的形式來表示，稱之為函數(shù)的“標(biāo)準(zhǔn)積之和”形式。62最大項

什么是最大項？

n

個邏輯變量組成的“或”項中，所有變量以原變量或反變量的形式出現(xiàn)一次。例：對于2個邏輯變量，共可寫出4個最大項：63

用Mi

最大項例：用二進(jìn)制數(shù)1表示反變量,0表示原變量;改用十進(jìn)制數(shù)表示;此十進(jìn)制數(shù)就是Mi

的下標(biāo).64

最大項的性質(zhì)性質(zhì)1任取一組值,僅有一個最大項的值為0。性質(zhì)2任意兩個最大項相或,結(jié)果1。性質(zhì)3全部最大項相與,結(jié)果為0。即：性質(zhì)4只有一個變量不同的兩個最大項的乘積等于各相同變量之和。(A+B+C)?(A+B+C)=A+B6566

用最大項表達(dá)邏輯函數(shù)——“標(biāo)準(zhǔn)和之積”

例：

互補(bǔ)律，0-1律分配律重疊律A+BC=(A+B)(A+C)一個函數(shù)可以用最大項之積的形式表示，把這種形式稱為函數(shù)的“標(biāo)準(zhǔn)和之積”形式。67例：ABCF

000

1

001

1

0101

0111

1000

1010

1100

1111使F=1的最小項構(gòu)成函數(shù)的“標(biāo)準(zhǔn)積之和”形式使F=0的最大項構(gòu)成函數(shù)的“標(biāo)準(zhǔn)和之積”形式

最小項與最大項的關(guān)系

68根據(jù)摩根定律

所以，只要能寫出函數(shù)的最小項之和的形式，根據(jù)上述方法就可得到最大項之積的形式結(jié)論：同一函數(shù)既可以表示成“標(biāo)準(zhǔn)積之和”的形式，也可以表示成“標(biāo)準(zhǔn)和之積”的形式。同一函數(shù)的最大項與最小項互斥的，即如果真值表中的某一行作為函數(shù)的最小項，那么它就不可能是同一函數(shù)的最大項。69變量取0的代以反變量取1的代以原變量AB二變量卡諾圖0101000110110001AB0101m0m1m2m30123ABAAB

BABABABAB三變量卡諾圖ABC01000111

10

m6

m7

m4

m2

m3000

m0

m5001

m16

7

5

4

2

310以循環(huán)碼排列以保證相鄰性1.最小項的卡諾圖表示

將n變量的2n個最小項用2n個小方格表示，

并且使相鄰最小項在幾何位置上也相鄰且循環(huán)相鄰，這樣排列得到的方格圖稱為n變量最小項卡諾圖，

簡稱為變量卡諾圖。2.5.1邏輯函數(shù)的卡諾圖表示法70四變量卡諾圖01

3

245

7

61213

15

14891110ABCD00011110000111

1071變量取0的代以反變量取1的代以原變量ABCD00011110000111

1001

3

245

7

61213

15

14891110ABCD相鄰項在幾何位置上也相鄰卡諾圖特點：循環(huán)相鄰性同一列最上與最下方格相鄰?fù)恍凶钭笈c最右方格相鄰72卡諾圖的特點各小方格對應(yīng)于各變量不同的組合，而且上下左右在幾何上相鄰的方格內(nèi)只有一個因子有差別，這個重要特點成為卡諾圖化簡邏輯函數(shù)的主要依據(jù)?？ㄖZ圖水平方向同一行里，最左和最右端的方格、垂直方向同一列里最上端和最下端兩個方格是相鄰的，這是因為都只有一個因子有差別——即卡諾圖呈現(xiàn)循環(huán)鄰接的特性。73如何寫出卡諾圖方格對應(yīng)的最小項？

已知最小項如何找相應(yīng)小方格？

例如

原變量取1，反變量取0。1001？ABCD0001111000011110

74為了用卡諾圖表示邏輯函數(shù)，通常需要先求得真值表或者標(biāo)準(zhǔn)與-或式或者與-或表達(dá)式。因此，下面先介紹標(biāo)準(zhǔn)與-或式。任何形式的邏輯式都可以轉(zhuǎn)化為標(biāo)準(zhǔn)與-或式，而且邏輯函數(shù)的標(biāo)準(zhǔn)與

-

或式是唯一的。

邏輯函數(shù)的標(biāo)準(zhǔn)與

-

或式2.用卡諾圖表示邏輯函數(shù)每一個與項都是最小項的“與

-

或”邏輯式稱為標(biāo)準(zhǔn)與

-

或式，又稱最小項表達(dá)式。

75如何將邏輯式轉(zhuǎn)化為標(biāo)準(zhǔn)與-或式呢

？

[例]將邏輯式化為標(biāo)準(zhǔn)與或式。解：(1)

利用摩根定律和分配律把邏輯函數(shù)式展開為與或式。AB+(2)

利用配項法化為標(biāo)準(zhǔn)與或式。76(3)利用A+A=A，合并掉相同的最小項。0000m00001m11100m121101m131111m15=m0+m1+m12+m13+m15=∑m(0,1,12,13,15)77用卡諾圖表示邏輯函數(shù)舉例

已知標(biāo)準(zhǔn)與或式畫函數(shù)卡諾圖[例]

試畫出函數(shù)Y=∑m

(0,1,12,13,15)的卡諾圖解：(1)畫出四變量卡諾圖(2)填圖邏輯式中的最小項m0、m1、m12、m13、m15對應(yīng)的方格填1，其余不填。ABCD0001111000011110

0

1324576

12

13

151489

11

10

11

111

78已知一般表達(dá)式畫函數(shù)卡諾圖解：(1)將邏輯式轉(zhuǎn)化為與或式(2)作變量卡諾圖找出各與項所對應(yīng)的最小項方格填1，其余不填。

[例]已知，試畫出Y的卡諾圖。AB+ABCD0001111000011110(3)根據(jù)與或式填圖

11111111

1

1

AB對應(yīng)最小項為同時滿足A=1，

B=1的方格。BCD對應(yīng)最小項為同時滿足B=1，C=0，D=1的方格AD對應(yīng)最小項為同時滿足A=0，D=1的方格。792.同一最小項可以重復(fù)使用多次（A+A=A）。1.2m個最小項可合并成一項，并消去m個因子(m<n)，應(yīng)使m盡可能大。3.每一個最小項至少被使用一次。4.每次合并至少有一個最小項以前未用過?；喴?guī)則2.5.2用卡諾圖化簡邏輯函數(shù)801.二個相鄰項可合并為一項，消去一個取值不同的變量，保留相同變量。如圖（a）所示1111CDAB0001111000011110(a)8111111111CDAB000111100001111011111111CDAB0001111000011110(b)2.四個相鄰項可合并為一項，消去二個取值不同的變量，保留相同的變量，如圖（b）所示。111182111111111111CDAB0001111000011110(C)3.八個相鄰項可合并為一項，消去三個取值不同的變量，保留相同變量，如圖（c）所示。一定是2n

個最小項，且相鄰關(guān)系是封閉的（圖形上是方形）才可合并。832.卡諾圖化簡法的步驟

ABCD+ABCD+ABCD+ABCD畫函數(shù)卡諾圖將各圈分別化簡

對填1的相鄰最小項方格畫包圍圈

將各圈化簡結(jié)果邏輯加

84m15

m9

m7

m6

m5

m4

m2

m0解：(1)畫變量卡諾圖[例]用卡諾圖化簡邏輯函數(shù)

Y(A,B,C,D)=∑m

(0,2,4,5,6,7,9,15)ABCD0001111000011110(2)填卡諾圖11111111(3)畫包圍圈abcd(4)將各圖分別化簡圈2個可消去

1個變量，化簡為3個相同變量相與。Yb

=BCD圈4個可消去

2個變量，化簡為2個相同變量相與。孤立項Ya=ABCDYc

=

AB循環(huán)相鄰

Yd=

AD(5)將各圖化簡結(jié)果邏輯加，得最簡與或式85解：(1)畫變量卡諾圖[例]用卡諾圖化簡邏輯函數(shù)

Y(A,B,C,D)=∑m

(0,2,5,7,8,10,12,14,15)ABCD0001111000011110(2)填卡諾圖11111111(4)求最簡與或式

Y=1消1個剩3個(3)畫圈消2個剩2個4個角上的最小項循環(huán)相鄰86找

AB

=11,C

=

1

的公共區(qū)域找

A

=

1,

CD

=

01

的公共區(qū)域找

B

=

1,

D

=

1

的公共區(qū)域解：(1)畫變量卡諾圖ABCD0001111000011110(2)填圖11(4)化簡(3)畫圈[例]用卡諾圖化簡邏輯函數(shù)0011m30100m411111111要畫嗎？Y=87[例]已知某邏輯函數(shù)的卡諾圖如下所示，試寫出其最簡與或式。ABCD000111100001111011111111110011

11解：0方格很少且為相鄰項，故用圈0法先求Y的最簡與或式。111111111188[例]已知函數(shù)真值表如下，試用卡諾圖法求其最簡與或式。ABCY00010011010001111001101011011111注意：該卡諾圖還有其他畫圈法可見，最簡結(jié)果未必唯一。解：(1)畫函數(shù)卡諾圖ABC01000111

101

1

1

111(3)化簡(2)畫圈Y=1

1

1

111ABC010001111089約束項和隨意項都不會在邏輯函數(shù)中出現(xiàn)，所對應(yīng)函數(shù)值視為1或0都可以，故稱無關(guān)項。

不允許出現(xiàn)的無關(guān)項又稱約束項；客觀上不會出現(xiàn)的無關(guān)項又稱隨意項。

2.6具有無關(guān)項的邏輯函數(shù)的化簡

1.無關(guān)項的概念與表示

無關(guān)項是特殊的最小項，這種最小項所對應(yīng)的變量取值組合或者不允許出現(xiàn)或者根本不會出現(xiàn)。

例如8421碼中，1010~1111這6種代碼是不允許出現(xiàn)的。例如A、B

為連動互鎖開關(guān)，設(shè)開為

1

,

關(guān)為

0,

則

AB

只能取值

01

或

10

,

不會出現(xiàn)

00

或11。90合理利用無關(guān)項可使邏輯式更簡單

無關(guān)項在卡諾圖和真值表中用“”“”來標(biāo)記，在邏輯式中則用字母d和相應(yīng)的編號表示。

2.利用無關(guān)項化簡邏輯函數(shù)

無關(guān)項的取值對邏輯函數(shù)值沒有影響?；啎r應(yīng)視需要將無關(guān)項方格看作1或0，使包圍圈最少而且最大，從而使結(jié)果最簡。91將d10看成0,其余×看成1

將×看成0

ABCD00011110000111

10111111×××××××顯然左圖化簡結(jié)果最簡

解：(1)畫變量卡諾圖[例]用卡諾圖化簡函數(shù)

Y=∑m

(0,1,4,6,9,13)+∑d

(2,3,5,7,10,11,15)ABCD00011110000111

10(2)填圖11111(4)寫出最簡與

-

或式最小項(3)畫包圍圈無關(guān)項1×××××××0×92解：(1)畫變量卡諾圖ABCD0001111000011110(2)填圖(4)求最簡與-或式(3)畫包圍圈1111求最簡與非式基本方法是：先求最簡與或式，再利用還原律和摩根定律變換為最簡與非式。[例]求函數(shù)的最簡與非式11××××××××(5)求最簡與非式分析題意稱約束條件，表明與項AB和AC對應(yīng)的最小項不允許出現(xiàn)，因此

AB和AC對應(yīng)的方格為無關(guān)項。93概念：蘊含項