逻辑函数及逻辑门课件.pptxVIP

*二進位、邏輯、電平1、邏輯假設正邏輯：1表示高電平、條件或結論成立、正確、真； 0表示低電平、條件或結論不成立、錯誤、假。負邏輯：0表示高電平、條件或結論成立、正確、真； 1表示低電平、條件或結論不成立、錯誤、假。2、表示方式 邏輯變數、邏輯函數、真值表、邏輯電路等。邏輯函數及邏輯門

一、與或非代數系統基本邏輯關係1、與： Y=X1^X2=X1.X2=X1X2(邏輯乘)X1X2Y全1為1有0則01^1=?1^0=?0^1=?0^0=?1000A.A=?A.1=?A.0=?A.A=?AA00例：

2、或: Y=X1vX2=X1+X2(邏輯加)X1X2Y一、與或非代數系統基本邏輯關係全0為0有1則11+1=?1+0=?0+1=?0+0=?1110A+A=?A+1=?A+0=?A+A=?A1A1例：

3、非：Y=A (邏輯補)Y一、與或非代數系統基本邏輯關係X取反1=?0=?A=?01A例：*運算順序：非〉與〉或

二、邏輯代數運算律

1、複合邏輯關係1）異或：AB=AB+AB相同為0相異為12）同或：AB=AB=AB+AB相同為1相異為0AA=0AA=1A1=?A0=?AA

2、邏輯代數化簡常用公式：1〉摩根公式：AB=A+B ABC…=A+B+C+…A+B=AB A+B+C+…=ABC推廣：ABC=ABC=A+B+C A+B+C=A+B+C=ABC

2、邏輯代數化簡（續1）2〉AB+AC+BC=AB+AC證明：AB+AC+BC=AB+AC+(A+A)BC =AB(1+C)+AC(1+B) =AB+AC 推廣：AB+AC+BCDE…=AB+AC

2、邏輯代數化簡（續2）3〉A+AB=B+BA=A+B證明：A+AB=A(B+B)+AB =AB+AB+AB =AB+AB+AB+AB =A+B

3、邏輯規則1〉代入規則：ABC=A.(BC)=A+BC=A+B+C 可將邏輯函數看作一個變數代入。2〉對偶規則：Y=AB+BC(A+BC) Y*=(A+B )[B+C+A(B+C)]與或互換、0和1互換,變數和反變數不變,非不變。

3、邏輯規則（續）3〉反演規則：Y=Y的反演 Y=AB+(A+B+C) Y=(A+B).ABC與或互換、0和1互換，變數和反變數互換。4〉展開規則：Y=f(X1，X2，X3，…，Xk)=X1f(0，X2，…，Xk)+X1f(1,X2，…，Xk)=[X1+f(0，X2，…，Xk)][X1+f(1,X2，…，Xk)]

練習：公式法化簡邏輯函數例F=A(A+B)+BC(A+B)+B(AC) =A+AB+ABC+BC+ABC+ABC =A+AC+BC =A+C+BC =A+C

練習：邏輯證明例(A+B)(A+B+C)=AC+B證明:左邊=AB+AC+AB+B+BC =B+AC =右邊

作業：P60:2.1(2,3,4)2.2(2,3,4)

三、真值表與卡諾圖1、真值表Y=AB=AB+AB =(A+B)(A+B) 1〉異或：2〉表決器：Y=ABC+ABC+ABC+ABC=(A+B+C)(A+B+C) (A+B+C)(A+B+C)

2、最小項和最大項1〉最小項：1原變數，0反變數，變數之間相與。2〉最大項：1反變數，0原變數，變數之間相或。

3、從真值表到邏輯運算式(續1)1〉用最小項實現： 找出所有輸出為1的項，輸入變數為1，用原變數表示，0用反變數表示，變數之間相與，最小項間相或。Y=AB=AB+AB =m1+m2=Σm(1,2)例1：異或例2：表決器Y=ABC+ABC+ABC+ABC=m3+m5+m6+m7=Σm(3,5,6,7)

3、從真值表到邏輯運算式(續2)2〉用最大項實現： 找出所有輸出為0的項，輸入變數為0，用原變數表示，1用反變數表示，變數之間相或，最大項間相與。Y=AB=(A+B)(A+B) =M0M3=Π(0,3)例1：異或例2：表決器Y=(A+B+C)(A+B+C) (A+B+C)(A+B+C)=M0M1M2M4=ΠM(0,1,2,4)

3、從真值表到邏輯運算式(續3)3〉含有任意項的真值表及運算式：Y=Σm(0,4,5)+Σd(3,6)Y=ΠM(1,2,7)Πd(3,6)用最小