第六講具有無(wú)關(guān)項(xiàng)和多輸出邏輯函數(shù)卡諾圖化簡(jiǎn)法

第六講具有無(wú)關(guān)項(xiàng)和多輸出邏輯函數(shù)卡諾圖化簡(jiǎn)法第1頁(yè)，共26頁(yè)。

第六講邏輯函數(shù)的卡諾圖化簡(jiǎn)法（2）課題：邏輯函數(shù)的最簡(jiǎn)式的其它形式；具有約束的邏輯函數(shù)的化簡(jiǎn)課時(shí)安排：2重點(diǎn)：具有約束的邏輯函數(shù)的化簡(jiǎn)難點(diǎn)：具有約束的邏輯函數(shù)的化簡(jiǎn)教學(xué)目標(biāo)：使同學(xué)掌握用卡諾圖法求最簡(jiǎn)式的其它形式的方法，理解約束條件，掌握用約束條件化簡(jiǎn)邏輯函數(shù)的方法，了解多輸出邏輯函數(shù)的化簡(jiǎn)方法。教學(xué)過(guò)程：一、用卡諾圖法求最簡(jiǎn)式的其它形式二、用卡諾圖檢驗(yàn)函數(shù)是否最簡(jiǎn)三、具有約束項(xiàng)的邏輯函數(shù)化簡(jiǎn)法1、約束的概念和約束的條件2、有約束的邏輯函數(shù)的表示方法3、具有約束的邏輯函數(shù)的化簡(jiǎn)4、多輸出邏輯函數(shù)的化簡(jiǎn)第2頁(yè)，共26頁(yè)。3、具有無(wú)關(guān)項(xiàng)的邏輯函數(shù)的化簡(jiǎn)約束項(xiàng)：值恒為0的最小項(xiàng)任意項(xiàng)：使函數(shù)值可以為1，也可以為0的最小項(xiàng)無(wú)關(guān)項(xiàng)：約束項(xiàng)和任意項(xiàng)均為無(wú)關(guān)項(xiàng)。含有無(wú)關(guān)項(xiàng)的函數(shù)的兩種表示形式：1、L=∑m(…)+∑d(…)2、L=∑m(…)，給定約束條件為ABC+ACD=0第3頁(yè)，共26頁(yè)。解：設(shè)紅、綠、黃燈分別用A、B、C表示，且燈亮為1，燈滅為0。車用L表示，車行L=1，車停L=0。列出該函數(shù)的真值。例６.在十字路口有紅綠黃三色交通信號(hào)燈，規(guī)定紅燈亮停，綠燈亮行，黃燈亮等一等，試分析車行與三色信燈之間邏輯關(guān)系。顯而易見(jiàn)，在這個(gè)函數(shù)中，有5個(gè)最小項(xiàng)為無(wú)關(guān)項(xiàng)。最小項(xiàng)的性質(zhì)：每一組輸入變量都使一個(gè)，而且僅有一個(gè)最小項(xiàng)的值為１，所以當(dāng)限制某些輸入變量不出現(xiàn)時(shí)，可以用它們對(duì)應(yīng)的最小項(xiàng)為０表示。這樣第4頁(yè)，共26頁(yè)。帶有無(wú)關(guān)項(xiàng)的邏輯函數(shù)的最小項(xiàng)另一種表達(dá)式為：Ｆ=∑m（）+∑d（）如本例函數(shù)可寫成Ｆ=∑m（2）+∑d（0,3,5,6,7）或?qū)懗缮侠磉_(dá)式可為或第5頁(yè)，共26頁(yè)。2．具有無(wú)關(guān)項(xiàng)的邏輯函數(shù)的化簡(jiǎn)

化簡(jiǎn)具有無(wú)關(guān)項(xiàng)的邏輯函數(shù)時(shí)，要充分利用無(wú)關(guān)項(xiàng)可以當(dāng)0也可以當(dāng)1的特點(diǎn)，盡量擴(kuò)大卡諾圈，使邏輯函數(shù)更簡(jiǎn)。例７.不考慮無(wú)關(guān)項(xiàng)時(shí)，表達(dá)式為：注意:在考慮無(wú)關(guān)項(xiàng)時(shí)，哪些無(wú)關(guān)項(xiàng)當(dāng)作1，哪些無(wú)關(guān)項(xiàng)當(dāng)作0，要以盡量擴(kuò)大卡諾圈、減少圈的個(gè)數(shù)，使邏輯函數(shù)更簡(jiǎn)為原則?？紤]無(wú)關(guān)項(xiàng)時(shí)，表達(dá)式為:第6頁(yè)，共26頁(yè)。例：已知函數(shù)：

求其最簡(jiǎn)與或式0100011110001110CDAB解：填函數(shù)的卡諾圖111111100000化簡(jiǎn)不考慮約束條件時(shí)：考慮約束條件時(shí)：0100011110001110CDAB111111100000第7頁(yè)，共26頁(yè)。例８.某邏輯函數(shù)輸入是8421BCD碼，其邏輯表達(dá)式為：

L（A,B,C,D）=∑m（1,4,5,6,7,9）+∑d（10,11,12,13,14,15）

用卡諾圖法化簡(jiǎn)該邏輯函數(shù)。解：（1）畫出4變量卡諾圖。將1、4、5、6、7、9號(hào)小方格填入1；將10、11、12、13、14、15號(hào)小方格填入×。（2）合并最小項(xiàng)，如圖（a）所示。注意，1方格不能漏?！练礁窀鶕?jù)需要，可以圈入，也可以放棄。（3）寫出邏輯函數(shù)的最簡(jiǎn)與—或表達(dá)式:如果不考慮無(wú)關(guān)項(xiàng)，如圖（b）所示，寫出表達(dá)式為：第8頁(yè)，共26頁(yè)。例９：F=∑m(1，3，5，7，9）+∑d(10，11，12，13，14，15）

11

11

××××

1××AB00FCD01111000011110第9頁(yè)，共26頁(yè)。

11

11

××××

1××AB00FCD01111000011110L=D第10頁(yè)，共26頁(yè)。1××11××1

1

×

1×AB00FCD01111000011110L=A+D例１０：F=∑m(0，2，4，6，9，13）+∑d(1，3，5，7，11，15）第11頁(yè)，共26頁(yè)。形如：L=∑m(…)，給定約束條件為：

ABC+ACD=0

×

×

×ABCD0001111000011110約束條件相當(dāng)于：∑d(11,14,15)

第12頁(yè)，共26頁(yè)。例11：化簡(jiǎn)具有約束的邏輯函數(shù)給定約束條件為:

111

×××

×1

××ABCD0001111000011110

第13頁(yè)，共26頁(yè)。

111

×××

×1

××AB00CD01111000011110Y第14頁(yè)，共26頁(yè)。例１2：已知真值表如圖，用卡諾圖化簡(jiǎn)。101狀態(tài)未給出，即是無(wú)所謂狀態(tài)。第15頁(yè)，共26頁(yè)。ABC0001111001化簡(jiǎn)時(shí)可以將無(wú)所謂狀態(tài)當(dāng)作1或0，目的是得到最簡(jiǎn)結(jié)果。認(rèn)為是1AF=A第16頁(yè)，共26頁(yè)。四、其它形式的最簡(jiǎn)式和多輸出邏輯函數(shù)的化簡(jiǎn)1、邏輯函數(shù)最簡(jiǎn)式的其它形式采用前述方法，化簡(jiǎn)結(jié)果通常為與或表示式。若要求用其他形式表示則用反演定理來(lái)轉(zhuǎn)換。（1）“與非與非式”——在卡諾圖中圈“1”得“與或”式，然后用反演定理轉(zhuǎn)換求得。例12：第17頁(yè)，共26頁(yè)。例13：L(A,B,C,D)=∑m（1,5,8,12）+∑d（3,7,10,14,15）ABCD0001111000011110（2）“與或非式”、“或與式”、“或非或非式”——在卡諾圖上“圈0”得到F的最簡(jiǎn)與或式，再由反演律求得。第18頁(yè)，共26頁(yè)。ABC0001111001ABC00011110012、多輸出邏輯函數(shù)的化簡(jiǎn)

前述均為單輸出邏輯函數(shù)，而實(shí)際電路常常有兩個(gè)或兩個(gè)以上的輸出端。化簡(jiǎn)多輸出邏輯函數(shù)時(shí)，不能單純的追求單一函數(shù)的最簡(jiǎn)式，因?yàn)檫@樣做并不一定能保證整個(gè)系統(tǒng)最簡(jiǎn)，應(yīng)該統(tǒng)一考慮，盡可能利用公共項(xiàng)。例14：對(duì)多輸出函數(shù)解：各自卡諾圖的化簡(jiǎn)結(jié)果如下第19頁(yè)，共26頁(yè)。ABC0001111001ABC0001111001將兩個(gè)輸出函數(shù)視為一個(gè)整體，其化簡(jiǎn)過(guò)程如下邏輯圖如Ｐ２８圖１．２０，圖１．２１第20頁(yè)，共26頁(yè)。111111

1111AB00F1CD01111000011110

1111111

1111

AB00F2CD011110000111101111

111

1111111AB00F3CD01111000011110用卡諾圖化簡(jiǎn)邏輯函數(shù)例題第21頁(yè)，共26頁(yè)。例一解答111111

1111AB00F1CD01111000011110F1=AC+AD+BC+BD第22頁(yè)，共26頁(yè)。

1111111

1111AB00F2CD01111000011110例二解答F2=AD+BD+ABC+ABC+ABD+ABC第23頁(yè)，共26頁(yè)。1111

111

1111111AB00F3CD01111000011110F3=B+C+D例三解答第24頁(yè)，共26頁(yè)。1111011101111111AB00F4CD01111000011110F4=BCD求