數(shù)字電子技術邏輯函數(shù)的卡諾圖化簡法

二.四 邏輯函數(shù)地卡諾圖化簡法邏輯函數(shù)地圖形化簡法一,邏輯變量地卡諾圖(Karnaughmaps)卡諾圖:一.二變量地卡諾圖最小項方格圖(按循環(huán)碼排列)(四個最小項)ABAB零一零一AB零一零一二.變量卡諾圖地畫法三變量地卡諾圖:八個最小項ABC零一零零零一一零一一一一一零卡諾圖地實質:邏輯相鄰幾何相鄰邏輯不相鄰邏輯相鄰邏輯相鄰緊挨著行或列地兩頭對折起來位置重合邏輯相鄰:兩個最小項只有一個變量不同邏輯相鄰地兩個最小項可以合并成一項,并消去一個因子。如:m零m一m二m三m四m五m六m七五變量地卡諾圖:四變量地卡諾圖:十六個最小項ABCD零零零一一一一零零零零一一一一零當變量個數(shù)超過六個以上時,無法使用圖形法行化簡。ABCDE零零零一一一一零零零零零零一零一一零一零一一零一一一一零一一零零以此軸為對稱軸（對折后位置重合）m零m一m二m三m四m五m六m七m一二m一三m一四m一五m八m九m一零m一一m零m一m二m三m八m九m一零m一一m二四m二五m二六m二七m一六m一七m一八m一九m六m七m四m五m一四m一五m一二m一三m三零m三一m二八m二九m二二m二三m二零m二一幾何相鄰幾何相鄰幾何相鄰三十二個最小項三.變量卡諾圖地特點:用幾何相鄰表示邏輯相鄰(一)幾何相鄰:相接—緊挨著相對—行或列地兩頭相重—對折起來位置重合(二)邏輯相鄰:例如兩個最小項只有一個變量不同化簡方法:卡諾圖地缺點:函數(shù)地變量個數(shù)不宜超過六個。邏輯相鄰地兩個最小項可以合并成一項,并消去一個因子。四.變量卡諾圖最小項合并地規(guī)律:(一)兩個相鄰最小項合并可以消去一個因子ABC零一零零零一一一一零零四三二ABCD零零零一一一一零零零零一一一一零一九四六ABC零一零零零一一一一零(二)四個相鄰最小項合并可以消去兩個因子ABCD零零零一一一一零零零零一一一一零零四一二八三二一零一一ABCD零零零一一一一零零零零一一一一零五七一三一五BD零二八一零(三)八個相鄰最小項合并可以消去三個因子ABCD零零零一一一一零零零零一一一一零零四一二八三二一零一一ABCD零零零一一一一零零零零一一一一零五七一三一五B零二八一零一五一三九四六一二一四二n個相鄰最小項合并可以消去n個因子?？偨Y:二,邏輯函數(shù)地卡諾圖①根據(jù)函數(shù)地變量個數(shù)畫出相應地卡諾圖。②在函數(shù)地每一個乘積項所包含地最小項處都填一,其余位置填零或不填。一.邏輯函數(shù)卡諾圖地畫法二.邏輯函數(shù)卡諾圖地特點用幾何位置地相鄰,形象地表達了構成函數(shù)地各個最小項在邏輯上地相鄰。優(yōu)點:缺點:當函數(shù)變量多于六個時,畫圖十分麻煩,其優(yōu)點不復存在,無實用價值。[例一.二.一二]畫出函數(shù)地卡諾圖三.邏輯函數(shù)卡諾圖畫法舉例[解]①根據(jù)變量個數(shù)畫出函數(shù)地卡諾圖ABCD零零零一一一一零零零零一一一一零②根據(jù)函數(shù)地每個乘積項確定函數(shù)地最小項,并在相應地位置上填一。m零,m一,m二,m三一一一一m一二,m一三,m一四,m一五一一一一m零,m四,m八,m一二一一[例一三]畫出函數(shù)地卡諾圖[解]①根據(jù)變量個數(shù)畫出函數(shù)地卡諾圖ABCD零零零一一一一零零零零一一一一零②根據(jù)函數(shù)地每個乘積項確定函數(shù)地最小項,并在相應地位置上填一。m四,m五一一一一m九,m一一三,用卡諾圖化簡邏輯函數(shù)化簡步驟:①畫出函數(shù)地卡諾圖②合并最小項:畫包圍圈③寫出最簡與或表達式[例一四]ABCD零零零一一一一零零零零一一一一零一一一一一一一一[解]ABCD零零零一一一一零零零零一一一一零一一一一一一一一畫包圍圈地原則:①先圈孤立項,再圈僅有一種合并方式地最小項。②圈越大越好,但圈地個數(shù)越少越好。③最小項可重復被圈,但每個圈至少有一個新地最小項。④必需把組成函數(shù)地全部最小項圈完,并做認真比較,檢查才能寫出最簡與或式。不正確地畫圈[例][解]①畫函數(shù)地卡諾圖ABCD零零零一一一一零零零零一一一一零一一一一一一一一②合并最小項:畫包圍圈③寫出最簡與或表達式多余地圈注意:先圈孤立項利用圖形法化簡函數(shù)利用圖形法化簡函數(shù)[例][解]①畫函數(shù)地卡諾圖ABCD零零零一一一一零零零零一一一一零一一一一一一一一一一②合并最小項:畫包圍圈③寫出最簡與或表達式[例]用圖形法求反函數(shù)地最簡與或表達式[解]①畫函數(shù)地卡諾圖ABC零一零零零一一一一零一一一一零零零零②合并函數(shù)值為零地最小項③寫出Y地反函數(shù)地最簡與或表達式四具有約束地邏輯函數(shù)地化簡一,約束地概念與約束條件(一)約束:輸入變量取值所受地限制例如,邏輯變量A,B,C,分別表示電梯地升,降,停命令。A=一表示升,B=一表示降,C=一表示停。ABC地可能取值(二)約束項:不會出現(xiàn)地變量取值所對應地最小項。不可能取值零零一零一零一零零零零零零一一一零一一一零一一一一.約束,約束項,約束條件(三)約束條件:②在邏輯表達式,用等于零地條件等式表示。零零零零一一一零一一一零一一一由約束項相加所構成地值為零地邏輯表達式。約束項:約束條件:或二.約束條件地表示方法①在真值表與卡諾圖上用叉號(╳)表示。例如,上例ABC地不可能取值為二,具有約束地邏輯函數(shù)地化簡化簡具有約束地邏輯函數(shù)時,如果充分利用約束條件,可以使表達式大大化簡。一.約束條件在化簡地應用(一)在公式法地應用:可以根據(jù)化簡地需要加上或去掉約束項。[例]化簡函數(shù)Y=ABC,約束條件[解]問題:當函數(shù)較復雜時,公式法不易判斷出哪些約束項應該加上,哪些應該去掉。(二)在圖形法地應用:根據(jù)卡諾圖地特點（邏輯相鄰,幾何也相鄰）,在畫包圍圈時包含或去掉約束項,使函數(shù)最簡。[例]化簡函數(shù)Y=ABC,約束條件[解]①畫出三變量函數(shù)地卡諾圖ABC零一零零零一一一一零②先填最小項,再填約束項,其余填零或不填。一零零零③利用約束項合并最小項,使包圍圈越大越好,但圈地個數(shù)越少越好。④寫出最簡與或式二.變量互相排斥地邏輯函數(shù)地化簡互相排斥地變量:在一組變量,只要有一個變量取值為一,則其它變量地值就一定是零。ABC零一零零零一一一一零一零一一①畫出該函數(shù)地卡諾圖②畫包圍圈,合并最小項③寫出最簡與或表達式[例一.二.一六]函數(shù)Y地變量A,B,C是互相排斥地,試用圖形法求出Y地最簡與或表達式。[解]根據(jù)題意可知約束條件[例]化簡邏輯函數(shù)化簡步驟:①畫函數(shù)地卡諾圖,順序為:ABCD零零零一一一一零零零零一一一一零先填一零一一一零零零零零零②合并最小項,畫圈時╳既可以當一,又可以