一、邏輯函數(shù)
　　如果以邏輯變量作為輸入，以運(yùn)算結(jié)果作為輸出，當(dāng)輸入變量的取值確定之后，輸出的取值便隨之而定。輸出與輸入之間的函數(shù)關(guān)系稱(chēng)為邏輯函數(shù)。
　　Y=F(A,B,C,…)
　　任何一件具體的因果關(guān)系都可以用一個(gè)邏輯函數(shù)來(lái)表示。
　　二、邏輯函數(shù)表示方法
　　1、邏輯真值表
　　用來(lái)反映變量所有取值組合及對(duì)應(yīng)函數(shù)值的表格。
　　例如，在一個(gè)判奇電路中，當(dāng)A、B、C三個(gè)變量中有奇數(shù)個(gè)1時(shí)，輸出Y為1；否則，輸出Y為0。
　　2、邏輯函數(shù)式
　　把邏輯函數(shù)的輸入、輸出關(guān)系寫(xiě)成與、或、非等邏輯運(yùn)算的組合式，即邏輯代數(shù)式，又稱(chēng)為邏輯函數(shù)式，通常采用“與或”的形式。
　　3、邏輯圖：由邏輯門(mén)電路符號(hào)構(gòu)成，表示邏輯變量之間關(guān)系的圖形稱(chēng)為邏輯電路圖。
　　不同描述方法之間的轉(zhuǎn)換：
　　1、表達(dá)式→真值表
　　首先按自然二進(jìn)制碼的順序列出所有邏輯變量的不同取值組合，確定出相應(yīng)的函數(shù)值。
　　2、真值表→表達(dá)式
　　將真值表中為1的項(xiàng)相加,寫(xiě)成 “與或式”。
　　3、邏輯函數(shù)式→邏輯圖
　　方法:用圖形符號(hào)代替邏輯式中的運(yùn)算符號(hào),就可以畫(huà)出邏輯圖。
　　4、邏輯圖→表達(dá)式
　　方法:從輸入端到輸出端逐級(jí)寫(xiě)出每個(gè)圖形符號(hào)對(duì)應(yīng)的邏輯式，即得到對(duì)應(yīng)的邏輯函數(shù)式。
　　5、波形圖→真值表
　　三、邏輯函數(shù)的兩種標(biāo)準(zhǔn)形式
　　最小項(xiàng):在n變量邏輯函數(shù)中，若m為包含n個(gè)因子的乘積項(xiàng)，而且這n個(gè)變量都以原變量或反變量的形式在m 中出現(xiàn)，且僅出現(xiàn)一次，則這個(gè)乘積項(xiàng)m稱(chēng)為該函數(shù)的一個(gè)標(biāo)準(zhǔn)乘積項(xiàng)，通常稱(chēng)為最小項(xiàng)。
　　最小項(xiàng)的性質(zhì):①任意一個(gè)最小項(xiàng)，只有一組變量取值使其值為1；②任意兩個(gè)不同的最小項(xiàng)的乘積必為0；③全部最小項(xiàng)的和必為1；④具有相鄰性的兩個(gè)最小項(xiàng)可以合并，并消去一對(duì)因子。
　　最大項(xiàng): 在n變量邏輯函數(shù)中，若M為包含n個(gè)因子的和項(xiàng)，而且這n個(gè)變量都以原變量或反變量的形式在M 中出現(xiàn)，且僅出現(xiàn)一次，則這個(gè)和項(xiàng)M稱(chēng)為該函數(shù)的一個(gè)標(biāo)準(zhǔn)和項(xiàng)，通常稱(chēng)為最大項(xiàng)。n個(gè)變量有2n個(gè)最大項(xiàng)，記作Mi。
　　最大項(xiàng)的性質(zhì)：
　　①在輸入變量的任何取值下必有一個(gè)最大項(xiàng)且僅有一個(gè)最大項(xiàng)的值為0；
　　②全體最大項(xiàng)之積為0；
　　③任意兩個(gè)最大項(xiàng)之和為1；
　　④只有一個(gè)變量不同的兩個(gè)最大項(xiàng)的乘積等于各相同變量之和。
　　最小項(xiàng)與最大項(xiàng)的關(guān)系:
　　相同編號(hào)的最小項(xiàng)和最大項(xiàng)存在互補(bǔ)關(guān)系
　　即:mi =Mi'　 Mi =mi'
　　四、邏輯函數(shù)形式的變換
　　1、最簡(jiǎn)與或表達(dá)式
　　Y=A'BE'+A'B+AC'+AC'E+BC'+BC'D
　　 =A'B+AC'
　　2、最簡(jiǎn)與非-與非表達(dá)式
　　Y=A'B+AC'=((A'B)'．(AC')')'
　　3、最簡(jiǎn)或與表達(dá)式
　　Y=A'B+AC'=(A+B)．(A'+C')
　　4、最簡(jiǎn)或非-或非表達(dá)式
　　Y=A'B+AC'=(A+B)(A'+C')=(((A+B)(A'+C'))')'=((A+B)'+(A'+C')')'
　　5、最簡(jiǎn)與或非表達(dá)式
　　Y=A'B+AC=((A+B)'+(A'+C')')'=(A'B'+AC)'