第二章邏輯代數(shù)基礎(chǔ)主要內(nèi)容：邏輯代數(shù)的有關(guān)知識基本概念基本定理基本公式邏輯函數(shù)的化簡公式法圖形法邏輯函數(shù)邏輯等式的證明邏輯函數(shù)不同表示方法之間的轉(zhuǎn)換邏輯函數(shù)的變換一、邏輯變量取值：邏輯0、邏輯1。邏輯0和邏輯1不代表數(shù)值大小，僅表示相互矛盾、相互對立的兩種邏輯狀態(tài)邏輯真----用“1”表示，條件具備，事件發(fā)生邏輯假----用“0”表示，條件不具備，事件不發(fā)生用26個字母表示§2.1

概述

邏輯代數(shù)是按一定的邏輯關(guān)系進(jìn)行運算的代數(shù)，是分析和設(shè)計數(shù)字電路的數(shù)學(xué)工具。與運算或運算非運算§2.2邏輯代數(shù)中的三種基本運算與或、與非、與或非、異或幾種導(dǎo)出邏輯運算..\..\2010數(shù)電\邏輯與動畫.exe邏輯表達(dá)式F=AB=AB與邏輯真值表與邏輯關(guān)系表與邏輯開關(guān)A開關(guān)B燈F斷斷斷合合斷合合滅滅滅亮ABF101101000010ABF邏輯符號只有決定某一事件的所有條件全部具備，這一事件才能發(fā)生與邏輯運算符，也有用“”、“∧”、“∩”、“&”表示1.“與”運算BL220VA+-二極管“與”門電路1.電路2.工作原理輸入A、B、C全為高電平“1”，輸出Y為“1”。輸入A、B、C不全為“1”，輸出Y為“0”。0V0V0V0V0V3V+U12VRDADCABYDBC3V3V3V0V00000010101011001010011001001111ABYC“與”門邏輯狀態(tài)表0V3V邏輯符號：&ABF口訣：波形圖（時序圖）ABF有“0”出“0”，全“1”出“1”..\..\2010數(shù)電\邏輯或動畫.exe2.“或”運算邏輯表達(dá)式：

L=A+B真值表BL220VA+-000111110110ABLA決定某一事件的條件有一個或一個以上具備，這一事件就可發(fā)生或邏輯運算符，也有用“∨”、“∪”表示ABF1邏輯符號N個輸入：F=A+B+...+N二極管“或”門電路1.電路0V0V0V0V0V3V3V3V3V0V00000011101111011011011101011111ABYC“或”門邏輯狀態(tài)表3V3V-U12VRDADCABYDBC2.工作原理輸入A、B、C全為低電平“0”，輸出Y為“0”。輸入A、B、C有一個為“1”，輸出Y為“1”。邏輯符號：ABL口訣：波形圖（時序圖）ABL有“1”出“1”，全“0”出“0”..\..\2010數(shù)電\邏輯非動畫.exe3.“非”邏輯關(guān)系邏輯表達(dá)式：L=A真值表101AL0L220VA+-R當(dāng)決定某一事件的條件滿足時，事件不發(fā)生；反之事件發(fā)生，非邏輯邏輯符號AF1“-”非邏輯運算符三極管“非”門電路+UCC-UBBARKRBRCYT10截止飽和“0”10“1”1.電路“0”“1”AY“非”門邏輯狀態(tài)表邏輯符號1AY邏輯表達(dá)式：Y=A“–”:邏輯非運算邏輯求反運算2.邏輯關(guān)系：“非”邏輯邏輯符號：波形圖（時序圖）A1ALL求反運算4、復(fù)合邏輯運算與非邏輯運算或非邏輯運算與或非邏輯運算F1=ABF2=A+BF3=AB+CD有“0”出“1”，全“1”出“0”有“1”出“0”，全“0”出“1”P566附錄二異或運算：邏輯表達(dá)式為：同或運算：邏輯表達(dá)式為：例：根據(jù)輸入波形畫出輸出波形ABY1有“1”出“1”，全“0”出“0”&ABY1>1ABY2Y2有“0”出“0”，全“1”出“1”附:門電路的常見邏輯符號與門

或門

非門F=A?BF=A+B&ABFABFABFA1FAFAFAFABFABF與非門

或非門

OC門(兩輸入與非)&ABFABFABF&ABFABFABF國標(biāo)ABFABFAB&AB&AB國家標(biāo)準(zhǔn)三態(tài)門兩輸入與非

與或非門+ABCDFABCDF&&三態(tài)門：門導(dǎo)通，輸出低電平；門截止，輸出高電平；高阻狀態(tài)（懸浮狀態(tài)）三態(tài)門動畫演示.exeY&ABC“與非”門Y=ABC邏輯表達(dá)式：74系列TTL門電路型號及功能表型號邏輯功能74LS002輸入端4與非門74LS046反相器74LS103輸入端3與非門74LS20雙4輸入與非門74LS308輸入與非門74LS38集電極開路的2輸入端4與非門74LS554輸入兩路與或非門運算的優(yōu)先順序：非、與、或當(dāng)多個變量異或時，可以通過若干個異或門來實現(xiàn)。例如

§2.3邏輯代數(shù)的基本公式和常用公式

邏輯代數(shù)（又稱布爾代數(shù)），它是分析設(shè)計邏輯電路的數(shù)學(xué)工具。雖然它和普通代數(shù)一樣也用字母表示變量，但變量的取值只有“0”，“1”兩種，分別稱為邏輯“0”和邏輯“1”。這里“0”和“1”并不表示數(shù)量的大小，而是表示兩種相互對立的邏輯狀態(tài)。

邏輯代數(shù)所表示的是邏輯關(guān)系，而不是數(shù)量關(guān)系。這是它與普通代數(shù)的本質(zhì)區(qū)別。邏輯代數(shù)運算法則依據(jù)：1.邏輯變量只取：0、1兩種狀態(tài)。2.與、或、非是三種最基本的邏輯運算。與普通代數(shù)運算法則類似的：分配律、結(jié)合律、交換律等。與普通代數(shù)運算法則不同的：AA=AA+A=AA=A(還原律）一、基本公式公理、定律與常用公式公理交換律結(jié)合律分配律0-1律重疊律互補律還原律反演律00=001=10=011=10+0=00+1=1+0=11+1=1AB=BAA+B=B+A(AB)C=A(BC)(A+B)+C=A+(B+C)自等律A(B+C)=AB+ACA+BC=(A+B)(A+C)A0=0A+1=1A1=AA+0=AAA=0A+A=1AA=AA+A=AAB=A+BA+B=ABA=A吸收律消因律包含律合并律AB+AB=A(A+B)(A+B)=AA+AB=AA(A+B)=AA+AB=A+BA(A+B)=ABAB+AC+BC=AB+AC(A+B)(

A+C)(B+C)=(A+B)(A+C)證明方法利用真值表例：用真值表證明反演律ABABA+BABA+B000110111110111010001000AB=A+BA+B=AB幾種形式的吸收律吸收：多余（冗余）項，多余（冗余）因子被取消、去掉

被消化了。1）.原變量的吸收：A+AB=A證明：左式=A(1+B)原式成立口訣：長中含短,留下短。長項短項=A=右式1||2）.反變量的吸收：A+AB=A+B證明：=右式口訣：長中含反,去掉反。原(反)變量反(原)變量添冗余項1||AB+AB=A3）.互為反變量的吸收：一根信號線把一些變量吸收，相當(dāng)于化簡等式右邊由此可以看出：與或表達(dá)式中，兩個乘積項分別包含同一因子的原變量和反變量，而兩項的剩余因子包含在第三個乘積項中，則第三項是多余的公式可推廣：例：證明包含律成立利用基本定律多余項定理BCAABCCAAB+++=普通代數(shù)不適用！證:結(jié)合律分配律A+1=1

AA=A.例如，已知等式，用函數(shù)Y=AC代替等式中的A，根據(jù)代入規(guī)則，等式仍然成立，即有：

（1）代入規(guī)則：任何一個含有變量A的等式，如果將所有出現(xiàn)A的位置都用同一個邏輯函數(shù)代替，則等式仍然成立。這個規(guī)則稱為代入規(guī)則。

（2）反演規(guī)則：對于任何一個邏輯表達(dá)式Y(jié)，如果將表達(dá)式中的所有“·”換成“＋”，“＋”換成“·”，“0”換成“1”，“1”換成“0”，原變量換成反變量，反變量換成原變量，那么所得到的表達(dá)式就是函數(shù)Y的反函數(shù)Y（或稱補函數(shù)）。這個規(guī)則稱為反演規(guī)則。例如：§2.4邏輯代數(shù)的三個重要規(guī)則

（3）對偶規(guī)則：對于任何一個邏輯表達(dá)式Y(jié)，如果將表達(dá)式中的所有“·”換成“＋”，“＋”換成“·”，“0”換成“1”，“1”換成“0”，而變量保持不變，則可得到的一個新的函數(shù)表達(dá)式Y(jié)＇，Y＇稱為函Y的對偶函數(shù)。這個規(guī)則稱為對偶規(guī)則。例如：對偶規(guī)則的意義在于：如果兩個函數(shù)相等，則它們的對偶函數(shù)也相等。利用對偶規(guī)則,可以使要證明及要記憶的公式數(shù)目減少一半。例如：

注意：在運用反演規(guī)則和對偶規(guī)則時，必須按照邏輯運算的優(yōu)先順序進(jìn)行：先算括號，接著與運算，然后或運算，最后非運算，否則容易出錯?！?.5邏輯函數(shù)及其表示方法一、邏輯函數(shù)用有限個與、或、非邏輯運算符，按某種邏輯關(guān)系將邏輯變量A、B、C、...連接起來，所得的表達(dá)式F=f（A、B、C、...）稱為邏輯函數(shù)。二、邏輯函數(shù)的表示方法真值表邏輯函數(shù)式

邏輯圖波形圖輸入變量不同取值組合與函數(shù)值間的對應(yīng)關(guān)系列成表格用邏輯符號來表示函數(shù)式的運算關(guān)系輸入變量輸出變量取值：邏輯0、邏輯1。邏輯0和邏輯1不代表數(shù)值大小，僅表示相互矛盾、相互對立的兩種邏輯態(tài)反映輸入和輸出波形變化的圖形又叫時序圖將輸入/輸出之間的邏輯關(guān)系用與/或/非的運算式表示就得到邏輯式。真值表邏輯式邏輯圖波形圖卡諾圖計算機軟件中的描述方式各種表示方法之間可以相互轉(zhuǎn)換舉例：舉重裁判電路ABCY00000010010001101000101111011111二、各種表現(xiàn)形式的相互轉(zhuǎn)換真值表邏輯式ABCY00000010010001111000101111011110這三種取值的任何一種都使Y=1,Y=?

ABC=1ABC=1ABC=1A=0,B=1,C=1使A=1,B=0,C=1使A=1,B=1,C=0使例：奇偶判別函數(shù)的真值表◆找出真值表中使Y=1的輸入變量取值組合。◆每組輸入變量取值對應(yīng)一個乘積項，其中取值為1的寫原變量，取值為0的寫反變量。◆將這些變量相加即得Y。邏輯式邏輯圖1.用圖形符號代替邏輯式中的邏輯運算符。2.從輸入到輸出逐級寫出每個圖形符號對應(yīng)的邏輯運算式。波形圖真值表F(A、B、C)

①“與―或”式（基本形式、積之和）②“或―與”式③“與非―與非”式④“或非―或非”式⑤“與―或―非”式二次求反二次求反四次求反二次求反1、邏輯函數(shù)的常用形式三、邏輯函數(shù)表達(dá)式的形式與變換一個邏輯函數(shù)的表達(dá)式可以有以下5種表示形式。如欲將與-或表達(dá)試轉(zhuǎn)換成與非-與非表達(dá)式，這時只要利用還原律對式兩次取反，再利用反演律變換即可。

利用邏輯代數(shù)的基本定律，可以實現(xiàn)上術(shù)五種邏輯函數(shù)式之間的變換。利用邏輯代數(shù)變換，可用不同的門電路實現(xiàn)相同的邏輯功能。2、邏輯函數(shù)的標(biāo)準(zhǔn)形式--最小項表達(dá)式

學(xué)習(xí)指導(dǎo)：

本知識點的學(xué)習(xí)邏輯函數(shù)的兩種標(biāo)準(zhǔn)形式--最小項表達(dá)式和最大項表達(dá)式，要求掌握最小項表達(dá)式邏輯函數(shù)的標(biāo)準(zhǔn)形式最小項：n個變量有2n個最小項，記作mi3個變量有23（8）個最小項m0m100000101m2m3m4m5m6m7010011100101110111234567n個變量的邏輯函數(shù)中，包括全部n個變量的乘積項（每個變量必須而且只能以原變量或反變量的形式出現(xiàn)一次）最小項和最大項乘積項和項最小項二進(jìn)制數(shù)十進(jìn)制數(shù)編號最小項編號i-各輸入變量取值看成二進(jìn)制數(shù)，對應(yīng)的十進(jìn)制數(shù)函數(shù)最小項之和函數(shù)最大項之積001ABC000m0m1m2m3m4m5m6m7100000000100000011010011100101110111000000000000100000010000001000000100000010000001111111三變量的最小項

最小項的性質(zhì)：同一組變量取值任意兩個不同最小項的乘積為0。即mimj=0(i≠j)全部最小項之和為1，即任意一組變量取值，只有一個最小項的值為1，其它最小項的值均為0n個變量構(gòu)成的最小項有n個相鄰最小項最小項表達(dá)式：如果函數(shù)的積之和（與或）表達(dá)式中的每一個乘積項均為最小項，則這種表達(dá)式稱為最小項表達(dá)式，也稱標(biāo)準(zhǔn)積之和表達(dá)式。F(A、B、C、D)其中各積項均是最小項，為簡便上式可寫成

F(A、B、C、D)最大項n個變量有2n個最大項，記作in個變量的邏輯函數(shù)中，包括全部n個變量的和項（每個變量必須而且只能以原變量或反變量的形式出現(xiàn)一次）同一組變量取值任意兩個不同最大項的和為1。即Mi+Mj=1(i≠j)全部最大項之積為0，即任意一組變量取值，只有一個最大項的值為0，其它最大項的值均為1最大項：最大項的性質(zhì)：n個變量構(gòu)成的最大項有n個相鄰最大項最小項與最大項的關(guān)系相同編號的最小項和最大項存在互補關(guān)系即:

mi

=Mi

Mi

=mi若干個最小項之和表示的表達(dá)式F，其反函數(shù)F可用等同個與這些最小項相對應(yīng)的最大項之積表示。

例：m1m3m5m7==邏輯函數(shù)的標(biāo)準(zhǔn)形式標(biāo)準(zhǔn)積之和(最小項）表達(dá)式式中的每一個乘積項均為最小項F(A、B、C、D)例：求函數(shù)F(A、B、C)的標(biāo)準(zhǔn)積之和表達(dá)式解：F(A、B、C)利用反演律邏輯函數(shù)的標(biāo)準(zhǔn)形式ABC000001010011100101110111mi01234567FMi0123456700010111例：已知函數(shù)的真值表，寫出該函數(shù)的標(biāo)準(zhǔn)積之和表達(dá)式

從真值表找出F為1的對應(yīng)最小項解:011331101551110661111771然后將這些項邏輯加F(A、B、C)由邏輯狀態(tài)表直接寫出的邏輯式及由此畫出的邏輯圖，一般比較復(fù)雜；若經(jīng)過簡化，則可使用較少的邏輯門實現(xiàn)同樣的邏輯功能。從而可節(jié)省器件，降低成本，提高電路工作的可靠性。§2.6

邏輯函數(shù)的化簡方法函數(shù)的簡化依據(jù)

邏輯電路所用門的數(shù)量少

每個門的輸入端個數(shù)少

邏輯電路構(gòu)成級數(shù)少

邏輯電路保證能可靠地工作降低成本提高電路的工作速度和可靠性化簡方法公式法卡諾圖法學(xué)習(xí)指導(dǎo)：

邏輯函數(shù)的公式化簡法就是運用邏輯代數(shù)的基本公式、定理和規(guī)則來化簡邏輯函數(shù)。一、邏輯函數(shù)的化簡公式化簡法最簡與或式：①乘積項的個數(shù)最少。②滿足①的條件下，每個乘積項中變量個數(shù)最少。最簡式的標(biāo)準(zhǔn)

首先是式中乘積項最少

乘積項中含的變量少

與或表達(dá)式的簡化代數(shù)法化簡函數(shù)與門的輸入端個數(shù)少實現(xiàn)電路的與門少下級或門輸入端個數(shù)少方法：并項：利用將兩項并為一項，且消去一個變量B吸收：利用A+AB=A消去多余的項AB配項：利用和互補律、重疊律先增添項，再消去多余項BC消元：利用消去多余變量A1、并項法

利用公式Ａ＋Ａ＝1，將兩項合并為一項，并消去一個變量。

若兩個乘積項中分別包含同一個因子的原變量和反變量，而其他因子都相同時，則這兩項可以合并成一項，并消去互為反變量的因子。運用摩根定律運用分配律運用分配律2、吸收法如果乘積項是另外一個乘積項的因子，則這另外一個乘積項是多余的。運用摩根定律（１）利用公式Ａ＋ＡＢ＝Ａ，消去多余的項。（２）利用公式Ａ＋ＡＢ＝Ａ＋Ｂ，消去多余的變量。

如果一個乘積項的反是另一個乘積項的因子，則這個因子是多余的。３、配項法（１）利用公式Ａ＝Ａ（Ｂ＋Ｂ），為某一項配上其所缺的變量，以便用其它方法進(jìn)行化簡。（２）利用公式Ａ＋Ａ＝Ａ，為某項配上其所能合并的項。４、消去冗余項法利用冗余律ＡＢ＋ＡＣ＋ＢＣ＝ＡＢ＋ＡＣ，將冗余項ＢＣ消去。例題：合并項吸收消去（長中含短，留下短）（長中含反，去掉反）（最簡與或式）吸收消去化簡吸收吸收吸收吸收用“與非”門構(gòu)成基本門電路(2)應(yīng)用“與非”門構(gòu)成“或”門電路(1).應(yīng)用“與非”門構(gòu)成“與”門電路AY&B&BAY&&&由邏輯代數(shù)運算法則：由邏輯代數(shù)運算法則：&YA(3)應(yīng)用“與非”門構(gòu)成“非”門電路(4)用“與非”門構(gòu)成“或非”門YBA&&&&由邏輯代數(shù)運算法則：卡諾圖:是與變量的最小項對應(yīng)的按一定規(guī)則排列的最小項方格圖，變量取值按Gray（循環(huán)碼）排列，目的是為了獲得“邏輯相鄰”。在卡諾圖的行和列分別標(biāo)出變量及其狀態(tài)。二、卡諾圖法圖形化簡法每一小方格填入一個最小項。圖形法化簡函數(shù)卡諾圖（K圖）圖中的一小格對應(yīng)真值表中的一行，即對應(yīng)一個最小項，又稱真值圖AB00011011m0m1m2m3AABBABBAABABAB1010m0m1m2m3miABC01000111100001111000011110m0m1m2m3m4m5m6m7m0m1m2m3m4m5m6m7m12m13m14m15m8m9m10m11ABCD二變量K圖三變量K圖四變量K圖任意兩個相鄰最小項之間只有一個變量改變二進(jìn)制數(shù)對應(yīng)的十進(jìn)制數(shù)編號K圖的特點圖形法化簡函數(shù)

k圖為方形圖。n個變量的函數(shù)--k圖有2n個小方格，分別對應(yīng)2n個最小項；

k圖中行、列兩組變量取值按循環(huán)碼規(guī)律排列，使變量各最小項之間具有邏輯相鄰性。上下左右?guī)缀蜗噜彽姆礁駜?nèi)，只有一個因子不同有三種幾何相鄰：鄰接、相對（行列兩端）和對稱（圖中以0、1分割線為對稱軸）方格均屬相鄰0001111000011110m0m1m2m3m4m5m6m7m12m13m14m15m8m9m10m11ABCD四變量K圖兩個相鄰格圈在一起，結(jié)果消去一個變量ABDADA1四個相鄰格圈在一起，結(jié)果消去兩個變量八個相鄰格圈在一起，結(jié)果消去三個變量十六個相鄰格圈在一起，結(jié)果mi=1卡諾圖化簡函數(shù)規(guī)則：幾何相鄰的2i（i=1、2、3…n）個小格可合并在一起構(gòu)成正方形或矩形圈，消去i個變量，而用含（n-i）個變量的積項標(biāo)注該圈?？ㄖZ圖法步驟:一、布陣（畫法規(guī)則）二、填項(用卡諾圖表示邏輯函數(shù))三、勾圈化簡(用卡諾圖化簡)三步曲最后將全部積項邏輯加即得最簡與或表達(dá)式填項用卡諾圖表示邏輯函數(shù)填F=1的項1.最小項直接填入；2.刷項（填公因子所包含的項）；3.按（m0,m15)編號填入。按F=1的與或式填項已知函數(shù)為最小項表達(dá)式，存在的最小項對應(yīng)的格填1，其余格均填0—例1函數(shù)為一個復(fù)雜的運算式，則先將其變成與或式，再用直接法填寫。若已知函數(shù)的真值表，將真值表中使函數(shù)值為1的那些最小項對應(yīng)的方格填1，其余格均填0—例2（a)根據(jù)邏輯式畫出卡諾圖ABC00100111101111將邏輯式中的最小項分別用“1”填入對應(yīng)的小方格。如果邏輯式中最小項不全，可不填。如:注意：如果邏輯式不是由最小項構(gòu)成，一般應(yīng)先化為最小項，或按例方法填寫。例：圖中給出輸入變量A、B、C的真值表，填寫函數(shù)的卡諾圖ABCF00000101001110010111011100111000ABC010001111011100000010111001110（b)根據(jù)狀態(tài)表畫出卡諾圖（圈圈的步驟）3、含1的格都應(yīng)被圈入，以防止遺漏積項圖形法化簡函數(shù)勾圈化簡2、

圈盡量勾大，圈內(nèi)有2i個格，可消i個變量(in);用卡諾圖化簡方法：1、孤立的方格單獨畫圈方格可重復(fù)包圍但每個圈內(nèi)必須有新的方格（最小項）4、每個圈寫出一個乘積項。5、最后將全部積項邏輯加即得最簡與或表達(dá)式兩個相鄰最小項可合并為一項，消去一對因子四個排成矩形的相鄰最小項可合并為一項，消去兩對因子八個相鄰最小項可合并為一項，消去三對因子例1：圖中給出輸入變量A、B、C的真值表，填寫函數(shù)的卡諾圖ABCF00000101001110010111011100111000ABC010001111011100000ABABCF=ABC+AB得：直接給出函數(shù)的真值表求函數(shù)的最簡與或式。例2：00011110001001011001111111101111ABCDABCD0001111000011110ABDC111111111111D保留公因子：消取值不同的變量：B保留公因子：合理重疊（“1”可以重復(fù)使用）。例3:例3:ABCD0001111000011110ABDC1直接填入1公因子:有重復(fù)“1”者，只填一個“1”。ABCD0001111000011110ABDC1111公因子:BD有重復(fù)“1”者，只填一個“1”。刷項：填公因子包含的項例3:ABCD0001111000011110ABDC111111111111有重復(fù)“1”者，只填一個“1”。刷項：填公因子包含的項例3:ABCD0001111000011110ABDC111111111111F=1的項全部填完以后,填項結(jié)束;不填者自動為“0”。例3:也可以取F=0的項化簡:ABCD00011110000111101111111111110000例：用公式化簡法得到下式，問是否最簡，若不是請化簡之。ABC01000111101111BC填項：例：用公式化簡法得到下式，問是否最簡，若不是請化簡之。ABC0100011110111111BCF=1的項全部填完以后,填項結(jié)束。ABC0100011110111111勾圈化簡：ABC0100011110111111

ABC0100011110111111ABC0100011110111111說明：化簡結(jié)果不唯一。例：0001111000011110ABCD00011110001001011001111111101111ABCDF4(A,B,C,D)=m(0,1,2,5,6,7,8,10,11,12,13,15)F4=（m0,m1,m2,m5,m6,m7,m8,m10,m11,m12,m13,m15)BABCD0001111000011110ACD111111111111高位低位(A,B,C,D)BABCD0001111000011110ACD111111111111F4(A,B,C,D)=m(0,1,2,5,6,7,8,10,11,12,13,15)每次勾圈時，應(yīng)包含盡量多的獨立格。§2.7具有無關(guān)項的邏輯函數(shù)及其化簡約束：用來說明邏輯函數(shù)中，對各個邏輯變量取值所加的限制（定義域問題）。在實際系統(tǒng)中，函數(shù)只對應(yīng)一部分最小項有確定的值，而對應(yīng)余下的最小項無確定的值。約束項約束條件由約束項加起來所構(gòu)成的函數(shù)表達(dá)式函數(shù)叫具有“具有約束條件的邏輯函數(shù)”n個變量的2n種組合中有一些變量取值不會出現(xiàn)(或不允許出現(xiàn))，這些狀態(tài)對應(yīng)的最小項，稱為約束項（任意項、無關(guān)項、無所謂狀態(tài)）。約束項、任意項和邏輯函數(shù)式中的無關(guān)項不會出現(xiàn)不會出現(xiàn)不會出現(xiàn)不會出現(xiàn)不會出現(xiàn)不會出現(xiàn)說明×111100111×111010110×110100101×110010100×101100011×10101001001001000011100010000YABCDYABCD例如：判