第2章_邏輯代數(shù)基礎(chǔ)(13修)

1、1物理與電子信息工程系物理與電子信息工程系1制制1物理與電子信息工程系物理與電子信息工程系1制制 掌握邏輯代數(shù)的基本定律和定理掌握邏輯代數(shù)的基本定律和定理 掌握邏輯關(guān)系的描述方法及其相掌握邏輯關(guān)系的描述方法及其相互轉(zhuǎn)換互轉(zhuǎn)換 掌握邏輯函數(shù)的化簡(jiǎn)方法掌握邏輯函數(shù)的化簡(jiǎn)方法1物理與電子信息工程系物理與電子信息工程系1制制 基本概念基本概念邏邏 輯：輯： 事物的因果關(guān)系事物的因果關(guān)系邏輯運(yùn)算的數(shù)學(xué)基礎(chǔ)：邏輯運(yùn)算的數(shù)學(xué)基礎(chǔ)： 邏輯代數(shù)邏輯代數(shù)在二值邏輯中的變量取值：在二值邏輯中的變量取值： 0 / 10 / 11物理與電子信息工程系物理與電子信息工程系1制制與（AND） 或（OR） 非（NOT）1物理

2、與電子信息工程系物理與電子信息工程系1制制 條件同時(shí)具備，結(jié)果發(fā)生條件同時(shí)具備，結(jié)果發(fā)生 Y = A AND B = A&B = AB = ABA BY0 00 00 00 10 10 0 0 00 0 1 11 11物理與電子信息工程系物理與電子信息工程系1制制 條件之一具備，結(jié)果發(fā)生條件之一具備，結(jié)果發(fā)生 Y = A OR B = A+BA BY0 00 00 00 10 11 1 0 01 1 1 11 11物理與電子信息工程系物理與電子信息工程系1制制 條件不具備，結(jié)果發(fā)生條件不具備，結(jié)果發(fā)生 ANOTY A A Y 0 0 1 1 1 1 0 01物理與電子信息工程系物理與電

3、子信息工程系1制制 與非與非 或非或非 與或非與或非1物理與電子信息工程系物理與電子信息工程系1制制 異或異或 Y= A BA BY0 00 00 00 10 11 1 0 01 1 1 10 01物理與電子信息工程系物理與電子信息工程系1制制 同或同或 Y= A BA BY0 010 10 00 111物理與電子信息工程系物理與電子信息工程系1制制2.3.1 基本公式基本公式2.3.2 常用公式常用公式1物理與電子信息工程系物理與電子信息工程系1制制 根據(jù)與、或、非的定義，得表2.3.1的布爾恒等式序號(hào)公 式序號(hào)公 式10 1 1 = 0 0; 0 0= 1 110 A = 0111 1 +

4、 A= 1 121 1 A = A120 0 + A = A3A A = A13A + A = A4A A= 0 014A + A = 1 15A B = B A15A +B = B + A6A (B C) = (A B) C16A + (B +C) = (A + B) + C7A (B +C) = A B + A C17A + B C = (A +B)(A +C)8(A B) = A + B18(A+ B) = AB9(A ) = A證明方法：推演 真值表1物理與電子信息工程系物理與電子信息工程系1制制左右BCABCCBABCACABACABA)()(11物理與電子信息工程系物理與電子信息工

5、程系1制制A B CBC A+BCA+BA+C（A+B）(A+C)0 0 00 0 00 00 00 00 00 00 0 10 0 10 00 00 01 10 00 1 00 1 00 00 01 10 00 00 1 10 1 11 11 11 11 11 11 0 01 0 00 01 11 11 11 11 0 11 0 10 01 11 11 11 11 1 01 1 00 01 11 11 11 11 1 11 1 11 11 11 11 11 11物理與電子信息工程系物理與電子信息工程系1制制序序 號(hào)號(hào)公公 式式21A + A B = A22A +A B = A + B23A

6、B + A B = A24A ( A + B) = A25A B + A C + B C = A B + A CA B+ A C + B CD = A B + A C26A (AB) = A B ; A (AB) = A 1物理與電子信息工程系物理與電子信息工程系1制制 2.4.1 代入定理代入定理 在任何一個(gè)包含在任何一個(gè)包含A的邏輯等式中，若的邏輯等式中，若以另外一個(gè)邏輯式代入式中以另外一個(gè)邏輯式代入式中A的位置，則的位置，則等式依然成立。等式依然成立。1物理與電子信息工程系物理與電子信息工程系1制制 應(yīng)用舉例：應(yīng)用舉例： 式（式（17） A+BC = (A+B)(A+C) A+B(CD)

7、 = (A+B)(A+CD)= (A+B)(A+C)(A+D)1物理與電子信息工程系物理與電子信息工程系1制制 應(yīng)用舉例：應(yīng)用舉例： 式式 （8）CBABCACBABCBBABA)()()(代入以1物理與電子信息工程系物理與電子信息工程系1制制對(duì)任一邏輯式對(duì)任一邏輯式 Y :原變量原變量反變量反變量反變量反變量原變量原變量，0110YY變換順序變換順序:先先括號(hào)括號(hào),然后乘然后乘,最后加最后加不屬于單個(gè)不屬于單個(gè)變量的上的變量的上的反號(hào)保留不反號(hào)保留不變變應(yīng)用舉例：應(yīng)用舉例：D DC CB BD DA AC CB BC CA A) )D DC C)()(C CB BA A( (Y YCDCDC

8、)C)A(BA(BY Y1物理與電子信息工程系物理與電子信息工程系1制制對(duì)任一邏輯式對(duì)任一邏輯式Y(jié) :原變量原變量反變量反變量反變量反變量原變量原變量，0110DYY 與反演定與反演定理的不同理的不同之處之處應(yīng)用舉例：應(yīng)用舉例：式（式（17）ACABC)A(BC)B)(A(ABCA只需證明只需證明若兩邏輯式相等，則它們的對(duì)偶式也相等。若兩邏輯式相等，則它們的對(duì)偶式也相等。1物理與電子信息工程系物理與電子信息工程系1制制 2.5.1 邏輯函數(shù)邏輯函數(shù) Y=F(A,B,C,) 若以邏輯變量為輸入，運(yùn)算結(jié)果為輸出，若以邏輯變量為輸入，運(yùn)算結(jié)果為輸出，則輸入變量值確定以后，輸出的取值也隨之而則輸入變量

9、值確定以后，輸出的取值也隨之而定。輸入定。輸入/輸出之間是一種函數(shù)關(guān)系。輸出之間是一種函數(shù)關(guān)系。 注：在二值邏輯中，輸入注：在二值邏輯中，輸入/輸出都只有兩種取值輸出都只有兩種取值0/1。1物理與電子信息工程系物理與電子信息工程系1制制 真值表真值表 邏輯式邏輯式 邏輯圖邏輯圖 波形圖波形圖 卡諾圖卡諾圖 計(jì)算機(jī)軟件中的描述方式計(jì)算機(jī)軟件中的描述方式 各種表示方法之間可以相互轉(zhuǎn)換各種表示方法之間可以相互轉(zhuǎn)換1物理與電子信息工程系物理與電子信息工程系1制制輸入變量輸入變量A B C輸出輸出Y1 Y2 遍歷所有可能的輸遍歷所有可能的輸入變量的取值組合入變量的取值組合對(duì)應(yīng)輸入取值組合對(duì)應(yīng)輸入取值組合

10、的輸出的輸出1物理與電子信息工程系物理與電子信息工程系1制制 邏輯式邏輯式 將輸入將輸入/輸出之間的邏輯關(guān)系用輸出之間的邏輯關(guān)系用與與/ /或或/ /非非的運(yùn)算式表示就得到邏輯式。的運(yùn)算式表示就得到邏輯式。 邏輯圖邏輯圖 用邏輯圖形符號(hào)表示邏輯運(yùn)算關(guān)用邏輯圖形符號(hào)表示邏輯運(yùn)算關(guān)系，與邏輯電路的實(shí)現(xiàn)相對(duì)應(yīng)。系，與邏輯電路的實(shí)現(xiàn)相對(duì)應(yīng)。1物理與電子信息工程系物理與電子信息工程系1制制 將輸入將輸入變量所有取變量所有取值可能與對(duì)值可能與對(duì)應(yīng)輸出按時(shí)應(yīng)輸出按時(shí)間順序排列間順序排列起來(lái)畫(huà)成時(shí)起來(lái)畫(huà)成時(shí)間波形。間波形。1物理與電子信息工程系物理與電子信息工程系1制制 HDL (Hardware Descr

11、iption Language) VHDL (Very High Speed Integrated Circuit ) Verilog HDL EDIF (Electronic Design Interchange Format) DTIF 。1物理與電子信息工程系物理與電子信息工程系1制制 A B C Y 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1)(CBAY 1物理與電子信息工程系

12、物理與電子信息工程系1制制 真值表真值表 邏輯式邏輯式 例：奇偶判別函數(shù)的真值表例：奇偶判別函數(shù)的真值表 A=0,B=1,C=1使使 ABC=1 A=1,B=0,C=1使使 ABC=1 A=1,B=1,C=0使使 ABC =1 這三種取值的任何一種這三種取值的任何一種都使都使Y=1，那么，那么 Y = ? A B CY000000100100011110001011110111101物理與電子信息工程系物理與電子信息工程系1制制 找出真值表中使找出真值表中使 Y=1 的輸入變量取值組合。的輸入變量取值組合。 每組輸入變量取值對(duì)應(yīng)一個(gè)乘積項(xiàng)，其中取每組輸入變量取值對(duì)應(yīng)一個(gè)乘積項(xiàng)，其中取值為值為1

13、的寫(xiě)原變量，取值為的寫(xiě)原變量，取值為0的寫(xiě)反變量。的寫(xiě)反變量。 將這些乘積項(xiàng)相加即得將這些乘積項(xiàng)相加即得 Y。 把輸入變量取值的所有組合逐個(gè)代入邏輯式把輸入變量取值的所有組合逐個(gè)代入邏輯式中求出中求出Y，列表，列表1物理與電子信息工程系物理與電子信息工程系1制制)( BAB)(BAA)()( BABABABABABABA)(用圖形符號(hào)代替邏輯式中的邏輯運(yùn)算符。用圖形符號(hào)代替邏輯式中的邏輯運(yùn)算符。)(CBAY從輸入到輸出逐級(jí)寫(xiě)出每個(gè)圖形符號(hào)對(duì)應(yīng)的邏輯從輸入到輸出逐級(jí)寫(xiě)出每個(gè)圖形符號(hào)對(duì)應(yīng)的邏輯運(yùn)算式。運(yùn)算式。1物理與電子信息工程系物理與電子信息工程系1制制 真值表中輸入變量按二進(jìn)制自然遞增態(tài)序設(shè)值

14、，再根真值表中輸入變量按二進(jìn)制自然遞增態(tài)序設(shè)值，再根據(jù)波形圖填寫(xiě)輸出函數(shù)值。據(jù)波形圖填寫(xiě)輸出函數(shù)值。A B C Y000 0001 1010 1011 0100 0101 1110 0111 11物理與電子信息工程系物理與電子信息工程系1制制 若波形圖中有些輸入變量狀若波形圖中有些輸入變量狀態(tài)組合始終沒(méi)有出現(xiàn)，則這態(tài)組合始終沒(méi)有出現(xiàn)，則這些輸入變量組合下等于些輸入變量組合下等于 1 的的最小項(xiàng)為函數(shù)的約束項(xiàng)！最小項(xiàng)為函數(shù)的約束項(xiàng)！1物理與電子信息工程系物理與電子信息工程系1制制 最小項(xiàng)最小項(xiàng)之和之和 與與 最大項(xiàng)最大項(xiàng)之積之積最小項(xiàng)最小項(xiàng) m： m是乘積項(xiàng)是乘積項(xiàng) 包含包含n個(gè)因子個(gè)因子 n個(gè)

15、變量均以原變量和反變量的形式在個(gè)變量均以原變量和反變量的形式在m中中出現(xiàn)一次出現(xiàn)一次1物理與電子信息工程系物理與電子信息工程系1制制 兩變量?jī)勺兞緼, B的最小項(xiàng)的最小項(xiàng) 三變量三變量A,B,C的最小項(xiàng)的最小項(xiàng)）4個(gè)（22ABBABABA,）8個(gè)（32ABCCABCBACBABCACBACBACBA,1物理與電子信息工程系物理與電子信息工程系1制制最小項(xiàng)最小項(xiàng)取取 值值對(duì)對(duì) 應(yīng)應(yīng)編號(hào)編號(hào)A B C十進(jìn)制數(shù)十進(jìn)制數(shù)0 0 00 0 00m00 0 10 0 11m10 1 00 1 02m20 1 10 1 13m31 0 01 0 04m41 0 11 0 15m51 1 01 1 06m61

16、 1 11 1 17m7ABCCABCBACBABCACBACBACBA1物理與電子信息工程系物理與電子信息工程系1制制 在輸入變量任一取值下，有且僅有一個(gè)最小項(xiàng)在輸入變量任一取值下，有且僅有一個(gè)最小項(xiàng)的值為的值為1。 全體最小項(xiàng)之和為全體最小項(xiàng)之和為1 。 任何兩個(gè)最小項(xiàng)之積為任何兩個(gè)最小項(xiàng)之積為0 。 兩個(gè)兩個(gè)相鄰相鄰的最小項(xiàng)之和可以的最小項(xiàng)之和可以合并合并，消去一對(duì)因，消去一對(duì)因子，只留下公共因子。子，只留下公共因子。 -相鄰相鄰：僅一個(gè)變量不同的最小項(xiàng)：僅一個(gè)變量不同的最小項(xiàng) 如如:BACCBABCACBABCACBA)(與1物理與電子信息工程系物理與電子信息工程系1制制 例：例：BC

17、CABC)B,Y(A,利用公式利用公式可將任何一個(gè)函數(shù)化為可將任何一個(gè)函數(shù)化為1 AA im)ABC(ACABm(3,6,7)BCAABCCAB1物理與電子信息工程系物理與電子信息工程系1制制 例：例：CBDBCDCBADCBAY),(DCBCDB.)()(DDCBDBCAADCBADCBAACDBAA)()(.1物理與電子信息工程系物理與電子信息工程系1制制 M是相加項(xiàng)；是相加項(xiàng)； 包含包含n個(gè)因子。個(gè)因子。 n個(gè)變量均以原變量和反變量的形式在個(gè)變量均以原變量和反變量的形式在M中中出現(xiàn)一次。出現(xiàn)一次。 如：兩變量如：兩變量A, B的最大項(xiàng)的最大項(xiàng)）4個(gè)（22BABABABA,1物理與電子信息

18、工程系物理與電子信息工程系1制制最大項(xiàng)最大項(xiàng)取值取值對(duì)對(duì) 應(yīng)應(yīng)編號(hào)編號(hào)A B C十進(jìn)制數(shù)十進(jìn)制數(shù)1 1 11 1 17M71 1 01 1 06M61 0 11 0 15M51 0 01 0 04M40 1 10 1 13M30 1 00 1 02M20 0 10 0 11M10 0 00 0 00M0CBACBACBACBACBACBACBACBA1物理與電子信息工程系物理與電子信息工程系1制制 在輸入變量任一取值下，有且僅有一個(gè)在輸入變量任一取值下，有且僅有一個(gè)最大項(xiàng)的值為最大項(xiàng)的值為0 0； 全體最大項(xiàng)之積為全體最大項(xiàng)之積為0 0； 任何兩個(gè)最大項(xiàng)之和為任何兩個(gè)最大項(xiàng)之和為1 1； 只有

19、一個(gè)變量不同的兩個(gè)最大項(xiàng)的乘積只有一個(gè)變量不同的兩個(gè)最大項(xiàng)的乘積等于各相同變量之和。等于各相同變量之和。1物理與電子信息工程系物理與電子信息工程系1制制1物理與電子信息工程系物理與電子信息工程系1制制 與或式與或式或與式或與式; 與或式與或式與非式與非式; imYikkmYikkmY)(jijkikMmY ) ) )(BC(BC(AC)(AC) ) )BCBC(AC(ACBCBCACACY Y1物理與電子信息工程系物理與電子信息工程系1制制 P59 : 2.4a ; P60 : 2.5 ; 2.7a ; 2.8 ; P61 : 2.10 ( 2 , 4 , 6 )1物理與電子信息工程系物理與電

20、子信息工程系1制制 邏輯函數(shù)的最簡(jiǎn)形式邏輯函數(shù)的最簡(jiǎn)形式 最簡(jiǎn)最簡(jiǎn)與或式與或式 -包含的乘積項(xiàng)已經(jīng)最少，每包含的乘積項(xiàng)已經(jīng)最少，每個(gè)乘積項(xiàng)的因子也最少，稱(chēng)為最簡(jiǎn)的個(gè)乘積項(xiàng)的因子也最少，稱(chēng)為最簡(jiǎn)的與與- -或或邏邏輯式。比如有兩個(gè)邏輯函數(shù)：輯式。比如有兩個(gè)邏輯函數(shù)： Y1=ABC+BC+ACD 和和 Y2=AC+BC 將它們的真值表列出后可知兩函數(shù)的邏輯功能將它們的真值表列出后可知兩函數(shù)的邏輯功能一樣，但一樣，但Y2邏輯關(guān)系明朗，實(shí)現(xiàn)電路簡(jiǎn)單，有邏輯關(guān)系明朗，實(shí)現(xiàn)電路簡(jiǎn)單，有利于降低成本。利于降低成本。1物理與電子信息工程系物理與電子信息工程系1制制 反復(fù)應(yīng)用基本公式和常用公式，消去多余的乘積反

21、復(fù)應(yīng)用基本公式和常用公式，消去多余的乘積項(xiàng)和多余的因子，沒(méi)有固定的化簡(jiǎn)步驟。項(xiàng)和多余的因子，沒(méi)有固定的化簡(jiǎn)步驟。 化簡(jiǎn)中常用的方法有：化簡(jiǎn)中常用的方法有： 并項(xiàng)法：利用并項(xiàng)法：利用 AB+AB=A 將兩項(xiàng)并為一項(xiàng)；將兩項(xiàng)并為一項(xiàng)； 吸收法：利用吸收法：利用 A+AB =A 將將 AB 項(xiàng)吸收掉；項(xiàng)吸收掉； 消項(xiàng)法：利用消項(xiàng)法：利用 AB+AC+BC=AB+AC消去消去BC 項(xiàng)；項(xiàng)； 消因子法：用消因子法：用 A+AB=A+B消去消去AB中的中的A因子；因子； 配項(xiàng)法：利用配項(xiàng)法：利用A+A=A或或 A+A=1配項(xiàng)以利化簡(jiǎn)；配項(xiàng)以利化簡(jiǎn)；1物理與電子信息工程系物理與電子信息工程系1制制EBADC

22、BA)(AEDCEBADCBA)()()(BCDCBABCAA)()()()()(DCBABCABCA)()(CDBACDBACDABAACDBAY1CDB BCDCBABCAAY )()(2BCAEDCAEBADCBAY )(31物理與電子信息工程系物理與電子信息工程系1制制CBCBBABAY6CBAACBCCBABA)()(CBACBACBCBABCABABCACBACBCBACBABA)()()()(ABCBCABCACBABABABABBAY4BAABCBCACBAY5BCBA)()(AABCCCBACACBBA1物理與電子信息工程系物理與電子信息工程系1制制DEBAADCDBCBAC

23、DEBADBCACBADCDBCBACY)(DEBACBADCDBCBAC)(DEBACBADCDBCBAC )(DEBACBADCDBCBAC)(DBCBADCDBCBA1物理與電子信息工程系物理與電子信息工程系1制制P62 : 2.151物理與電子信息工程系物理與電子信息工程系1制制 邏輯函數(shù)的卡諾圖表示法邏輯函數(shù)的卡諾圖表示法 實(shí)質(zhì)：將邏輯函數(shù)的最小項(xiàng)之和以圖形的方實(shí)質(zhì)：將邏輯函數(shù)的最小項(xiàng)之和以圖形的方式表示出來(lái)式表示出來(lái) 以以2n個(gè)小方塊代表個(gè)小方塊代表 n 變量的所有最小項(xiàng)，將變量的所有最小項(xiàng)，將它們排列成矩陣，并使它們排列成矩陣，并使幾何位置相鄰幾何位置相鄰的兩個(gè)的兩個(gè)最小項(xiàng)在最小

24、項(xiàng)在邏輯上也相鄰邏輯上也相鄰（只有一個(gè)變量取值（只有一個(gè)變量取值不同），就得到表示不同），就得到表示n變量的卡諾圖。變量的卡諾圖。1物理與電子信息工程系物理與電子信息工程系1制制 二變量卡諾圖二變量卡諾圖1物理與電子信息工程系物理與電子信息工程系1制制 二變量卡諾圖二變量卡諾圖 三變量的卡諾圖三變量的卡諾圖1物理與電子信息工程系物理與電子信息工程系1制制 二變量卡諾圖二變量卡諾圖 三變量的卡諾圖三變量的卡諾圖 四變量的卡諾圖四變量的卡諾圖1物理與電子信息工程系物理與電子信息工程系1制制 五變量的卡諾圖五變量的卡諾圖1物理與電子信息工程系物理與電子信息工程系1制制將函數(shù)表示為最小項(xiàng)之和的形式將函

25、數(shù)表示為最小項(xiàng)之和的形式 。在卡諾圖上與這些最小項(xiàng)對(duì)應(yīng)的位置上填入在卡諾圖上與這些最小項(xiàng)對(duì)應(yīng)的位置上填入1，其余地方填其余地方填0。 im),()()(),CDDCDCCDBADBACCDCBABADBADCBADCBAY例：例：1物理與電子信息工程系物理與電子信息工程系1制制)9,10,11,15m(1,4,6,8,D)C,B,Y(A,1物理與電子信息工程系物理與電子信息工程系1制制 依據(jù)：具有相鄰性的最小項(xiàng)可合并，消去取值依據(jù)：具有相鄰性的最小項(xiàng)可合并，消去取值發(fā)生變化的變量。發(fā)生變化的變量。 在卡諾圖中，最小項(xiàng)的相鄰性可以從圖形中直在卡諾圖中，最小項(xiàng)的相鄰性可以

26、從圖形中直觀地反映出來(lái)。觀地反映出來(lái)。 合并最小項(xiàng)的原則：合并最小項(xiàng)的原則： 兩個(gè)相鄰最小項(xiàng)可合并為一項(xiàng)，消去一對(duì)因子兩個(gè)相鄰最小項(xiàng)可合并為一項(xiàng)，消去一對(duì)因子 四個(gè)排成矩形的相鄰最小項(xiàng)可合并為一項(xiàng)，消去兩四個(gè)排成矩形的相鄰最小項(xiàng)可合并為一項(xiàng)，消去兩對(duì)因子對(duì)因子 八個(gè)相鄰最小項(xiàng)可合并為一項(xiàng)，消去三對(duì)因子八個(gè)相鄰最小項(xiàng)可合并為一項(xiàng)，消去三對(duì)因子1物理與電子信息工程系物理與電子信息工程系1制制1物理與電子信息工程系物理與電子信息工程系1制制 -用卡諾圖表示邏輯函數(shù)用卡諾圖表示邏輯函數(shù) -找出可合并的最小項(xiàng)找出可合并的最小項(xiàng) -化簡(jiǎn)后的乘積項(xiàng)相加化簡(jiǎn)后的乘積項(xiàng)相加（項(xiàng)數(shù)最少，每項(xiàng)因子最少）（項(xiàng)數(shù)最少，

27、每項(xiàng)因子最少）1物理與電子信息工程系物理與電子信息工程系1制制 化簡(jiǎn)后的乘積項(xiàng)應(yīng)包含函數(shù)式的所有最化簡(jiǎn)后的乘積項(xiàng)應(yīng)包含函數(shù)式的所有最小項(xiàng)，小項(xiàng)，即覆蓋圖中所有的即覆蓋圖中所有的1。 乘積項(xiàng)的數(shù)目最少，乘積項(xiàng)的數(shù)目最少，即圈成的矩形數(shù)目即圈成的矩形數(shù)目最少最少。 每個(gè)乘積項(xiàng)因子最少，每個(gè)乘積項(xiàng)因子最少，即圈成的矩形面即圈成的矩形面最大最大。1物理與電子信息工程系物理與電子信息工程系1制制CBCBCACACBAY),( 00 01 1 1 1 001ABC1物理與電子信息工程系物理與電子信息工程系1制制CBCBCACACBAY),( 00 01 1 1 1 00011111101CBCABAABC

28、1物理與電子信息工程系物理與電子信息工程系1制制CBCBCACACBAY),( 00 01 1 1 1 00011111101ABCCBBACA1物理與電子信息工程系物理與電子信息工程系1制制CBCBCACACBAY),(CBCABACBBACA1物理與電子信息工程系物理與電子信息工程系1制制0001111000011110ABCDDCACBADCDCAABDABCY 1物理與電子信息工程系物理與電子信息工程系1制制DCACBADCDCAABDABCY 0001111000 100101 100111 111110 1111ABCDDA1物理與電子信息工程系物理與電子信息工程系1制制 約束項(xiàng)約束項(xiàng) 任意項(xiàng)任意項(xiàng) 邏輯函數(shù)中的無(wú)關(guān)項(xiàng)：約束項(xiàng)和任意項(xiàng)可以寫(xiě)入邏輯函數(shù)中的無(wú)關(guān)項(xiàng)：約束項(xiàng)和任意項(xiàng)可以寫(xiě)入函數(shù)式，也可不包含在函數(shù)式中，因此統(tǒng)稱(chēng)為無(wú)函數(shù)式，也可不包含在函數(shù)式中，因此統(tǒng)稱(chēng)為無(wú)關(guān)項(xiàng)。關(guān)項(xiàng)。1物理與電子信息工程系物理與電子信息工程系1制制 合理地利用無(wú)關(guān)項(xiàng)，可得更簡(jiǎn)單的化簡(jiǎn)結(jié)果。合理地利用無(wú)關(guān)項(xiàng)，可得更簡(jiǎn)單的化簡(jiǎn)結(jié)果。 加入（或去掉）無(wú)關(guān)項(xiàng)，應(yīng)使化簡(jiǎn)后的項(xiàng)數(shù)最加入（或去掉）無(wú)關(guān)項(xiàng)，應(yīng)使化簡(jiǎn)后的項(xiàng)數(shù)最少，每項(xiàng)因子最少少，每項(xiàng)因子最少 從卡諾圖上直觀地看，加入無(wú)關(guān)項(xiàng)的目的是為從卡諾圖上直觀地看，加入