如果以邏輯變量作為輸入,以運(yùn)算結(jié)果作為輸出,當(dāng)輸入變量的取值確定之后,輸出的取值便隨之而定。輸出與輸入之間的函數(shù)關(guān)系稱為邏輯函數(shù)。
Y=F(A,B,C,…)
任何一件具體的因果關(guān)系都可以用一個(gè)邏輯函數(shù)來表示。
二、邏輯函數(shù)表示方法
1、邏輯真值表
用來反映變量所有取值組合及對(duì)應(yīng)函數(shù)值的表格。
例如,在一個(gè)判奇電路中,當(dāng)A、B、C三個(gè)變量中有奇數(shù)個(gè)1時(shí),輸出Y為1;否則,輸出Y為0。
2、邏輯函數(shù)式
把邏輯函數(shù)的輸入、輸出關(guān)系寫成與、或、非等邏輯運(yùn)算的組合式,即邏輯代數(shù)式,又稱為邏輯函數(shù)式,通常采用“與或”的形式。
3、邏輯圖:由邏輯門電路符號(hào)構(gòu)成,表示邏輯變量之間關(guān)系的圖形稱為邏輯電路圖。
不同描述方法之間的轉(zhuǎn)換:
1、表達(dá)式→真值表
首先按自然二進(jìn)制碼的順序列出所有邏輯變量的不同取值組合,確定出相應(yīng)的函數(shù)值。
2、真值表→表達(dá)式
將真值表中為1的項(xiàng)相加,寫成 “與或式”。
3、邏輯函數(shù)式→邏輯圖
方法:用圖形符號(hào)代替邏輯式中的運(yùn)算符號(hào),就可以畫出邏輯圖。
4、邏輯圖→表達(dá)式
方法:從輸入端到輸出端逐級(jí)寫出每個(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稱為該函數(shù)的一個(gè)標(biāo)準(zhǔn)乘積項(xià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稱為該函數(shù)的一個(gè)標(biāo)準(zhǔn)和項(xià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)'
