數(shù)字電路第2章 邏輯代數(shù)ppt課件

.,第2章邏輯代數(shù),.,一、邏輯函數(shù)的相等,1、定義：設有兩個邏輯函數(shù)F=f(x1,x2,xn)G=g(x1,x2,xn)其變量都為x1,x2,xn，如果對應于變量x1,x2,xn的任何一組變量取值，F(xiàn)，G的值都相等，則稱這兩個函數(shù)相等，記為F=G。2、判斷邏輯函數(shù)是否相等的方法（1）列出輸入變量的所有可能的取值組合，并按邏輯運算規(guī)則計算出在各種輸入取值下兩個函數(shù)的相應值，并進行比較。（2）利用邏輯代數(shù)的定理、定律和規(guī)則進行證明。,.,一、邏輯函數(shù)的相等,它們的真值表完全相同，所以F和G是相等的。,二、關于邏輯函數(shù)的書寫,.,乘運算規(guī)則:,加運算規(guī)則:,三、邏輯代數(shù)的基本定律和恒等式,非運算規(guī)則:,0+0=0，0+1=1，1+0=1，1+1=1,00=001=010=011=1,1、基本關系,.,交換律:A+B=B+AAB=BA,結合律:A+B+C=(A+B)+C=A+(B+C)ABC=(AB)C=A(BC),2.邏輯代數(shù)運算規(guī)律,三、邏輯代數(shù)的基本定律和恒等式,.,分配律:A(B+C)=AB+ACA+BC=(A+B)(A+C),證明:,右邊=(A+B)(A+C),=AA+AB+AC+BC;分配律,=A+AB+AC+BC;結合律,AA=A,=A(1+B+C)+BC;結合律,=A1+BC;1+B+C=1,=A+BC;A1=1,=左邊,2.邏輯代數(shù)運算規(guī)律,三、邏輯代數(shù)的基本定律和恒等式,.,吸收律：,原變量吸收規(guī)則:,反變量吸收規(guī)則:,注:紅色變量被吸收掉！,A+AB=A,證明:,2.邏輯代數(shù)運算規(guī)律,三、邏輯代數(shù)的基本定律和恒等式,.,吸收律:,證明:,2.邏輯代數(shù)運算規(guī)律,三、邏輯代數(shù)的基本定律和恒等式,.,反演律（摩根定理）,用真值表證明,1110,00011011,1110,證明:,2.邏輯代數(shù)運算規(guī)律,三、邏輯代數(shù)的基本定律和恒等式,.,3.關于“異或”運算的一些公式,三、邏輯代數(shù)的基本定律和恒等式,.,1、代入規(guī)則對邏輯等式中的任意變量A，若將所有出現(xiàn)A的位置都代之以同一個邏輯函數(shù)，則等式仍然成立。例：若：A(B+C)=AB+ACCC+D則：AB+(C+D)=AB+A(C+D)意義：利用這條規(guī)則和現(xiàn)有的等式，可以推出更多的等式，而無需證明。,四、邏輯代數(shù)的基本規(guī)則,.,2、反演規(guī)則對于任何一個邏輯函數(shù)F，若將F表達式中所有的“”和“+”互換，“0”和“1”互換，原變量和反變量互換，并保持運算優(yōu)先順序不變，則可得到F的反函數(shù)。,注意：反演規(guī)則的意義在于利用它求一個函數(shù)的反函數(shù)。運用反演規(guī)則時，不是一個變量上的反號應該保留。變換時，應注意先“與”后“或”，先括號內(nèi)后括號外的順序。,四、邏輯代數(shù)的基本規(guī)則,.,3、對偶規(guī)則對于任何一個邏輯函數(shù)F，若將F表達式中所有的“”和“+”互換，原變量和反變量不變，并保持運算優(yōu)先順序不變，則所得到新的函數(shù)稱為函數(shù)F的對偶函數(shù)F。,例：,四、邏輯代數(shù)的基本規(guī)則,.,若稱函數(shù)為自對偶函數(shù),例：,3、對偶規(guī)則,注意：轉(zhuǎn)換時應先“與”后“或”，先括號內(nèi)后括號外的順序。,對偶規(guī)則：當某邏輯恒等式成立時，其對偶式的等式也成立?；閷ε荚恚?Z)=Z,四、邏輯代數(shù)的基本規(guī)則,.,五、邏輯函數(shù)的代數(shù)化簡法,1、邏輯函數(shù)的基本形式（1）“與或”表達式（積之和）單個邏輯變量進行“與”運算構成的項稱為“與項”，由“與項”進行“或”運算構成的表達式稱為“與或”表達式。例：,（2）“或與”表達式（和之積）單個邏輯變量進行“或”運算構成的項稱為“或項”，由“或項”進行“與”運算構成的表達式稱為“或與”表達式。例：,.,2、化簡的意義（1）節(jié)省器材；（2）提高了工作的可靠性；3、最簡的概念,（1）“與或”表達式化簡的意義任何一個表達式都不難展開成“與或”表達式；從一個最簡的“與或”表達式可以比較容易地得到其他類型的最簡式。（2）最簡“與或”表達式“與”項的個數(shù)最少；每個“與”項中的因子數(shù)最少；,五、邏輯函數(shù)的代數(shù)化簡法,.,3、最簡的概念,（3）舉例：試證明下面兩式具有相同的邏輯功能，并比較它們的邏輯圖。,即Z1、Z2具有相同的邏輯功能,五、邏輯函數(shù)的代數(shù)化簡法,.,例1：,五、邏輯函數(shù)的代數(shù)化簡法,.,結論:異或門可以用4個與非門實現(xiàn),例2:證明,五、邏輯函數(shù)的代數(shù)化簡法,.,異或門可以用4個與非門實現(xiàn),五、邏輯函數(shù)的代數(shù)化簡法,.,例3,五、邏輯函數(shù)的代數(shù)化簡法,.,例4,五、邏輯函數(shù)的代數(shù)化簡法,.,（1）并項法,（2）吸收法利用A+AB=A消去多余的項,4、邏輯函數(shù)的化簡方法,.,（3）消去法,利用消去多余的因子,4、邏輯函數(shù)的化簡方法,.,（4）配項法,4、邏輯函數(shù)的化簡方法,.,小結：用代數(shù)法化簡，一開始不可能知道它的最簡式，只能在簡化的過程中方能夠逐漸清楚?；啿襟E：首先把表達式轉(zhuǎn)換成“與或”表達式，然后用較易的并項法，吸收法和消去法化簡函數(shù)式，最后再考慮能否用配項法給予展開化簡。具體應用中要特別注意一個函數(shù)式作為一個變量看待時的具體變換。,五、邏輯函數(shù)的代數(shù)化簡法,綜合運用看：書44例2.1.7、2.1.8、2.1.9,.,1、最小項（1）定義：若n個變量組成的與項中，每個變量均以原變量或反變量的形式出現(xiàn)一次且僅出現(xiàn)一次，則稱該“與項”為n個變量的最小項。例：設A，B，C是三個邏輯變量，其最小項為,不是最小項的與項：AB，AC，A(B+C)，（2）最小項的編號：把使該最小項為1的取值組合視作二進制數(shù)，則相應的十進制數(shù)作為最小項的編號。用(m)(N)10表示。,六、卡諾圖化簡法,.,（3）性質(zhì)：n變量的函數(shù)，最多可構成2n個最小項；對于任意一個最小項，只有一組變量取值組合使得它的值為1，而在變量取其他各組值時，這個最小項的值均為0；不同的最小項，使它為1的變量取值組合不同；任意兩個最小項mi和mj(ij)的乘積必為零，即mimj=0；對于變量的任意一組取值，全體最小項之和為1，即：,n變量的每一個最小項，都有n個相鄰的最小項。當兩個最小項中只有一個變量不同，且這個變量分別為同一變量的原變量和反變量時，稱這兩個最小項為相鄰的最小項。,1、最小項,六、卡諾圖化簡法,.,2）一個邏輯函數(shù)的標準“與或”式是唯一的。3）任何一個邏輯函數(shù)都可表示成為標準“與或”式。其方法如下：代數(shù)法：將函數(shù)表示成為一般的“與或”式；,2、邏輯函數(shù)的標準形式（1）標準“與或”式1）由最小項相“或”構成的邏輯表達式，稱為標準“與或”式。,反復利用X=X(Y+)，將表達式中所有非最小項的“與”項擴展成為最小項。,六、卡諾圖化簡法,.,2、邏輯函數(shù)的標準形式（1）標準“與或”式,六、卡諾圖化簡法,.,2、邏輯函數(shù)的標準形式（1）標準“與或”式,六、卡諾圖化簡法,.,2、邏輯函數(shù)的標準形式（1）標準“與或”式,真值表法：將在真值表中，輸出為1所對應的最小項相加，即為標準“與或”式,六、卡諾圖化簡法,.,3、卡諾圖的引出及特點,將真值表或邏輯函數(shù)式用一個特定的方格圖表示，稱為卡諾圖。,1、構成：卡諾圖是將代表最小項的小方格按相鄰原則排列而成的平面方格圖。2、畫法（1）基本原則：在相鄰方格中填入相鄰的最小項。（2）畫法：折疊展開法,六、卡諾圖化簡法,.,卡諾圖的畫法：（一輸入變量）,3、卡諾圖的引出及特點,A,（二輸入變量）,3,2,A,B,AB00011110,三、卡諾圖化簡法,.,卡諾圖的畫法：（二輸入變量）,3、卡諾圖的引出及特點,1,1,1,0,三、卡諾圖化簡法,.,卡諾圖的畫法：（三輸入變量）,3、卡諾圖的引出及特點,4,A,B,C,若為3變量：Z=Z（A，B，C）,三、卡諾圖化簡法,.,卡諾圖的畫法：（三輸入變量）,3、卡諾圖的引出及特點,若為3變量：Z=Z（A，B，C）,三、卡諾圖化簡法,.,F(A,B,C)=m(1,2,4,7),3、卡諾圖的引出及特點,三、卡諾圖化簡法,.,卡諾圖的畫法：,3、卡諾圖的引出及特點,若為4變量：Z=Z（A，B，C，D）,8,12,三、卡諾圖化簡法,.,00,01,11,10,00,01,11,10,四變量卡諾圖單元格的編號,A,C,B,D,三、卡諾圖化簡法,.,F(A,B,C,D)=m(0,2,6,7,9,10,13,14,15),.,三、卡諾圖化簡法,3、卡諾圖的引出及特點,3、卡諾圖的構造特點（1）n個變量的卡諾圖由2n個小方格組成，每個小方格代表一個最小項；方格內(nèi)標明的數(shù)字，就是所對應的最小項的編號。（2）卡諾圖上處在相鄰、相對、相重位置的小方格所代表的最小項為相鄰最小項。,（3）整個卡諾圖總是被每個變量分成兩半，原變量和反變量各占一半，任一個原變量和反變量所占的區(qū)域又被其他變量分成兩半。,.,三、卡諾圖化簡法,4、卡諾圖的填法,（1）已知真值表填卡諾圖：在其相應的小方格中填入0或1。,.,三、卡諾圖化簡法,4、卡諾圖的填法,（2）已知邏輯函數(shù)填卡諾圖：先將函數(shù)化為標準“與或”式，再填入圖中。在卡諾圖上找出和表達式中最小項對應的小方格填1，其余小方格填0(或以空白代替0)即可得到。例如：F(A,B,C,D)=m(0,6,10,13,15),.,三、卡諾圖化簡法,4、卡諾圖的填法,（3）未用最小項表達的邏輯函數(shù)的卡諾圖對與或表達式表示的函數(shù)，可按照卡諾圖上與的公共性、或的疊加性、非的否定性作出相應卡諾圖；對某一“與”項按順序?qū)Ω鱾€變量在圖中找對應的方格區(qū)，各方格區(qū)的重合方格，即為該“與”項所對應的方格，然后再選加其他“與”項，相重的不再寫1。,1,1,1,1,1,1,1,1,1,1,1,1,.,化簡的依據(jù)卡諾圖直觀、清晰反映了最小項的相鄰關系。根據(jù)并項定理，任意兩個相鄰項可以合并為一項，合并后消去互補變量。,三、卡諾圖化簡法,5、用卡諾圖化簡邏輯函數(shù),.,三、卡諾圖化簡法,5、用卡諾圖化簡邏輯函數(shù),化簡的方法（1）填好卡諾圖；（2）合并最小項；根據(jù)相鄰原則，畫卡諾圈，并寫出每個圈的“與”項。（3）將每個圈的“與”項相加，即得到簡化后的邏輯表達式；,說明：卡諾圈中小方格的個數(shù)必須為2m個，m為小于或等于n的整數(shù)；當mn時，卡諾圈包圍了整個卡諾圖，可用1表示，即n個變量的全部最小項相或為1。,.,如果有2n個最小項相鄰（n1，2，），并排列成一個矩形組，則它們可以合并為一項，并消去n對因子。合并后的結果中僅包含這些最小項的公共因子。1、兩個最小項相鄰，可合并為一項并消去一對因子。,三、卡諾圖化簡法,5、用卡諾圖化簡邏輯函數(shù),2、四個最小項相鄰成矩形組，可合并為一項并消去兩對因子。3、八個最小項相鄰成矩形組，可合并為一項并消去三對因子。結論：2k個最小項相鄰（k=1，2，3）并排列成一個矩形組（方格群），則它們可合并為一項，消去k對因子，只保留公共因子（即相同的因子）。若k=n，則Y=1,.,.,三、卡諾圖化簡法,5、用卡諾圖化簡邏輯函數(shù),畫卡諾圈的原則在覆蓋所有1方格的前題下，卡諾圈的個數(shù)應盡可能少。因為卡諾圈個數(shù)越少，函數(shù)表達式中的與項數(shù)目越少；在滿足合并規(guī)律的前題下，卡諾圈應盡可能大。因為卡諾圍中包含的最小項越多，相應與項所含的變量數(shù)越少；每個1方格至少被一個卡諾圈包圍，根據(jù)需要也可以被多個卡諾圈包圍。圈的形狀可以是長方形或正方形，不能是其他形狀；畫圈的次序是“先大后小”消去的是相鄰方格中取值不同的變量，一個包圍2m個方格的卡諾圖，可以消去m個變量。,.,三、卡諾圖化簡法,AC,BC,AB,F=AC+BC+AB,.,三、卡諾圖化簡法,.,三、卡諾圖化簡法,四個角為相鄰的方格。,.,三、卡諾圖化簡法,函數(shù)的最簡“與或”式不一定是唯一的。,.,三、卡諾圖化簡法,若卡諾圖中各小方格被1占去了大部分，這時采用包圍0的方法化簡更簡單，即先求出非函數(shù)，再對非函數(shù)求非，得到F。,.,三、卡諾圖化簡法,利用卡諾圖將函數(shù)化簡成“或與”表達式。用卡諾圖求函數(shù)的最簡或與表達式通常有兩種不同的處理方法。一種方法是作出函數(shù)F的卡諾圖，合并卡諾圖上的0方格，求出的最簡與或式，然后對取反，得到F的最簡或與式，該方法稱為兩次取反法；,.,2、邏輯函數(shù)的標準形式（2）標準“或與”式由最大項相“與”構成的邏輯表達式，稱為標準“或與”式,三、卡諾圖化簡法,.,三、卡諾圖化簡法,自己練習,.,約束：對輸入變量取值所加的限制。例：三變量A,B,C，分別表示電動機的正轉(zhuǎn)、反轉(zhuǎn)和停止，其中：A=1，正轉(zhuǎn)；B=1，反轉(zhuǎn)；C=1，停止.則：ABC的取值只能是001，010，100三者之一，而不能是000，011，101，110，111之一。所以A,B,C是一組具有約束的變量。,三、卡諾圖化簡法,6、具有無關項的邏輯函數(shù)及其卡諾圖化簡,任意項：在輸入變量的某些取值下，函數(shù)值是1還是0，不影響電路的功能。無關項：約束項和任意項的統(tǒng)稱。在卡諾圖中，用表示無關項。,.,通常用約束條件來描述約束的具體內(nèi)容。當限制某些輸入變量的取值不能出現(xiàn)時，用它們對應的最小項恒等于0來表示。此例的約束條件為：ABC=0,ABC=0,ABC=0,ABC=0,ABC=0或?qū)憺椋篈BCABCABC