第02講邏輯代數(shù)基礎(chǔ)1-4_第1頁
第02講邏輯代數(shù)基礎(chǔ)1-4_第2頁
第02講邏輯代數(shù)基礎(chǔ)1-4_第3頁
第02講邏輯代數(shù)基礎(chǔ)1-4_第4頁
第02講邏輯代數(shù)基礎(chǔ)1-4_第5頁
已閱讀5頁,還剩26頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)

文檔簡介

第二章邏輯代數(shù)基礎(chǔ)

2.1概述

2.2邏輯代數(shù)中的三種基本運(yùn)算

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

2.4邏輯代數(shù)的基本定理

2.5邏輯函數(shù)及其表示方法

2.6邏輯函數(shù)的化簡方法2.7具有無關(guān)項的邏輯函數(shù)及其化簡*2.8(略)2.1概述邏輯代數(shù)是英國數(shù)學(xué)家喬治.布爾(Geroge.Boole)于1847年首先進(jìn)行系統(tǒng)論述的,也稱布爾代數(shù);它是描述事物條件和結(jié)果之間邏輯關(guān)系的數(shù)學(xué)方法,是設(shè)計、分析數(shù)字電路的數(shù)學(xué)工具。邏輯:指事物間的因果關(guān)系邏輯代數(shù)中的變量稱為邏輯變量,用大寫字母表示。邏輯變量的取值只有兩種,即邏輯0和邏輯1。0和1并不表示數(shù)值的大小,而是表示兩種不同的邏輯狀態(tài)。通常1表示條件的具備或結(jié)果的發(fā)生,而0表示條件的不具備或結(jié)果的不發(fā)生。這種只有兩種對立邏輯狀態(tài)的邏輯關(guān)系稱為二值邏輯。

邏輯運(yùn)算:兩個表示不同邏輯狀態(tài)的二進(jìn)制數(shù)碼之間按照某種因果關(guān)系進(jìn)行推理運(yùn)算。

基本概念邏輯:指事物間的因果關(guān)系邏輯運(yùn)算的數(shù)學(xué)基礎(chǔ):邏輯代數(shù)在二值邏輯中的變量取值:0/12.1概述三種電路的因果關(guān)系不同:2.2邏輯代數(shù)中的三種基本運(yùn)算與(AND)或(OR)非(NOT)1表示開關(guān)閉合,燈亮;0表示開關(guān)斷開,燈不亮;一、基本邏輯運(yùn)算1.與運(yùn)算(邏輯乘)(AND)只有決定事件結(jié)果的全部條件同時具備時,結(jié)果才發(fā)生。ABY

ABY

000010100111與運(yùn)算真值表與邏輯功能口訣:有“0”則“0”;全“1”則“1”。

與運(yùn)算表達(dá)式

Y=A·B=AB

ABY

000010100111與運(yùn)算真值表與運(yùn)算表達(dá)式

Y=A·B=AB與門圖形符號&AYBYABAYB2.或運(yùn)算(邏輯加)(OR)決定事件結(jié)果的諸條件中只要有任何一個條件滿足,結(jié)果就會發(fā)生。BYA

ABY

000011101111或運(yùn)算真值表或邏輯功能口訣:有“1”則“1”;全“0”則“0”。

或運(yùn)算表達(dá)式Y(jié)=A+B

ABY

000011101111或運(yùn)算真值表或運(yùn)算表達(dá)式Y(jié)=A+B或門圖形符號≥1

ABYYAB+

ABY3.非運(yùn)算(邏輯反)(NOT)只要條件具備了,結(jié)果就不會發(fā)生;而條件不具備時,結(jié)果一定發(fā)生。

AY

0110

非運(yùn)算真值表非運(yùn)算表達(dá)式非門圖形符號1AYYAAYabcdAB~樓道燈開關(guān)示意圖二、幾種常用的復(fù)合邏輯運(yùn)算1.與非運(yùn)算(NAND)

ABY

001011101110與非邏輯真值表與非邏輯表達(dá)式與非邏輯功能口訣:有“0”則“1”;全“1”則“0”。

&AYBYAB與非門圖形符號AYB二、幾種常用的復(fù)合邏輯運(yùn)算或非邏輯功能口訣:有“1”則“0”;全“0”則“1”。

ABY

001010100110或非邏輯真值表2.或非運(yùn)算(NOR)或非邏輯表達(dá)式或非門邏輯符號≥1

ABYYAB+

ABY3.與或非運(yùn)算(AND-OR-NOT)與或非邏輯表達(dá)式ABCDY

001010100110與或非邏輯真值表或非邏輯功能口訣:與項有“1”則出為“0”;全部與項為“0”則出“1”。

與或非門圖形符號YDCAB≥1&ABCDYYDCAB+異或邏輯功能口訣:相同為“0”;不同為“1”。

4.異或運(yùn)算(XOR)

ABY

000011101110異或邏輯真值表異或邏輯表達(dá)式異或門圖形符號YAB=1AYBAYB⊕同或邏輯功能口訣:相同為“1”;不同為0”。

5.同或運(yùn)算(XNOR)

ABY

001010100111同或邏輯真值表同或邏輯表達(dá)式⊙異或與同或互為反運(yùn)算:⊙⊙同或門圖形符號=AYBYABA⊙YB2.3.1基本公式P24T表2.3.12.3邏輯代數(shù)的基本公式和常用公式例:用真值表證明反演律000101101111000110010101000證明:如果等式成立,那么將任和一組變量的取值代入公式兩邊所得的結(jié)果應(yīng)該相等。因此,等式兩邊所對應(yīng)的真值表也必然相同。求證:A+BC=(A+B)(A+C)證明:右邊=AA+AB+AC+BC;分配律=A+A(B+C)+BC;分配律,重疊律=A(1+B+C)+BC;分配律=A?1+BC;0-1律=A+BC;自等律=左邊0000010100111001011101110000111100011111證明:例:用真值表證明A+BC=(A+B)(A+C)000100010011111101011111000111112.3.2若干常用公式P25T表2.3.3一、吸收律1、A+A·B=A——化簡中的吸收法(21)兩個乘積項相加時,若其中一項以另一項為因子,則該項多余,可刪去。2、A+A·B=A+B——化簡中的消因子法(22)兩個乘積項相加時,如一項取反后是另一項的因子,則此因子是多余的,可以消去。3、A·B+A·B=A——化簡中的并項法(23)兩個乘積項相加時,若它們分別包含B和B兩個因子而其它因子相同,則兩項可以合并,其結(jié)果為相同的部分。二、冗余律(冗余定理)*4、——化簡中的消項法

在兩個乘積項中,若有一個變量是互反的,那么由這兩個乘積項中的其它變量組成的乘積項就是多余的,可以消去。公式可推廣:2.3.2若干常用公式三、異或運(yùn)算公式(58頁題2.1)1、交換率:2、結(jié)合率:3、分配率:4*、常量、變量異或:5、因果互換率:2.3.2若干常用公式2.4邏輯代數(shù)的基本定理2.4.1代入定理:任何一個含有某變量的等式,如果等式中所有出現(xiàn)此變量的位置均代之以一個邏輯函數(shù)式,則此等式依然成立。例:AB=A+BBC替代B得由此反演律能推廣到n個變量:利用反演律2.4.2反演定理:對于任意一個邏輯函數(shù)式F,做如下處理:①運(yùn)算符號變:“●”變“+”,“+”變“●”;②常量變:“0”變成“1”,“1”變成“0”;③變量變:原變量變成反變量,反變量變成原變量。

那么得到的新函數(shù)式稱為原函數(shù)式F的反函數(shù)式。注意:

Δ遵守“括號、乘、加”(即括號→與→或)的運(yùn)算優(yōu)先次序。必要時適當(dāng)?shù)丶尤肜ㄌ枴?/p>

Δ不屬于單個變量上的非號應(yīng)保留不變。2.4邏輯代數(shù)的基本定理,求。例:2.4邏輯代數(shù)的基本定理例:求:解:例:求:解:2.4.3對偶定理:對于任意一個邏輯函數(shù)式F,做如下處理:①運(yùn)算符號變:“●”變“+”,“+”變“●”;②常量變:“0”變成“1”,“1”變成“0”;那么得到的新函數(shù)式稱為原函數(shù)式F的對偶式FD。對偶定理:若兩邏輯式相等,則它們對應(yīng)的對偶式也相等。即若F1=F2,則F1D=F2D。注意:同反演定理相比較

Δ運(yùn)算的優(yōu)先次序相同;Δ只變換運(yùn)算符號和常量,其變量是不變的。2.4邏輯代數(shù)的

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論