逻辑代数基础课件.pptxVIP

邏輯代數基礎

§2.1概述數字電路要研究的是電路的輸入輸出之間的因果關係,也就是邏輯關係，所以數字電路又稱邏輯電路，相應的研究工具是邏輯代數（邏輯代數是19世紀中葉英國數學家布爾首先提出的，所以又叫布爾代數）。邏輯關係是如何來表述的呢？

§2.2邏輯函數2.2.1基本邏輯關係與邏輯代數如果決定某一件事F發生或成立與否的條件有多個,分別用A、B、C表示，並規定：F＝“1”代表事件發生（或成立)，F＝“0”代表事件不發生（或不成立)；

A＝B＝C＝“1”代表條件具備，A＝B＝C＝“0”代表條件不具備；“1”“0”邏輯1邏輯0正邏輯，負邏輯那麽F與ABC之間就有以下三種基本的邏輯關：

1.“與”邏輯A、B、C都具備時，事件F才發生。EFABCABCF邏輯符號AFBC00001000010011000010101001101111邏輯式：F=A?B?C邏輯乘法邏輯與真值表邏輯函數邏輯變數

2.“或”邏輯A、B、C只有一個具備時，事件F就發生。?1ABCF邏輯符號AEFBCAFBC00001001010111010011101101111111邏輯式：F=A+B+C邏輯加法邏輯或真值表

3.“非”邏輯A具備時，事件F不發生；A不具備時，事件F發生。邏輯符號AEFRAF邏輯非邏輯反真值表AF0110

4.幾種常用的邏輯關係邏輯“與”、“或”、“非”是三種基本的邏輯關係，任何其他的邏輯關係都是在此基礎上發展的。與非：全1則0，任0則1。ABCF

或非：任1則0，全0則1。?1ABCF異或：條件A、B有一個具備，另一個不具備則F發生。=1ABCF

標準符號慣用符號國外符號ABCFABCFABCF≥1ABCF+ABCFABCF1AFAFAF＝1ABFA?BFABF

5.幾種基本的邏輯運算從三種基本的邏輯關係，我們可以得到以下邏輯運算：0?0=0?1=1?0=01?1=10+0=00+1=1+0=1+1=1

§2.3邏輯代數的基本定律和規則一、基本運算規則A+0=AA+1=1A?0=0?A=0A?1=A

二、基本代數規律交換律結合律分配律A+B=B+AA?B=B?AA+(B+C)=(A+B)+C=(A+C)+BA?(B?C)=(A?B)?CA(B+C)=A?B+A?CA+B?C=(A+B)(A+C)普通代數不適用!

三、吸收規則1.原變數的吸收：A+AB=A證明：A+AB=A(1+B)=A?1=A利用運算規則可以對邏輯式進行化簡。例如：被吸收

2.反變數的吸收：證明：例如：被吸收

3.混合變數的吸收：證明：例如：1吸收

4.反演定理：可以用列真值表的方法證明：提供了一個求反函數的途徑所以是一條重要的定律異或求反

注意：A＋B＝A＋CA?B=A?C未必有B＝C未必有B＝C邏輯代數中沒有減法與除法。

§2.4邏輯函數的表示法將輸入、輸出的所有可能狀態一一對應地列出。2.4.1真值表注意：n個變數可以有2n個組合，一般按二進位的順序，輸出與輸入狀態一一對應，列出所有可能的狀態。

2.4.2邏輯函數式邏輯代數式：把邏輯函數的輸入、輸出關係寫成與、或、非等邏輯運算的組合式。也稱為邏輯函數式，通常採用“與或”的形式。例：最小項：若運算式中的乘積包含了所有變數的原變數或反變數，則這一項稱為最小項。邏輯相鄰：若兩個最小項只有一個變數以原、反區別，則稱它們邏輯相鄰。上例中每一項都是最小項。

邏輯相鄰邏輯相鄰的項可以合併，消去一個因數

2.4.3卡諾圖卡諾圖的構成：將n個輸入變數的全部最小項用小方塊陣列圖表示，並且將邏輯相臨的最小項放在相臨的幾何位置上，所得到的陣列圖就是n變數的卡諾圖。卡諾圖的每一個方塊（最小項）代表一種輸入組合，並且把對應的輸入組合注明在陣列圖的上方和左方。

ABCD0001111000011110四變數卡諾圖編號為0010的單元對應於最小項：ABCD=0100時函數取值函數取0、1均可，稱為無所謂狀態。只有一項不同AB0101兩變數卡諾圖ABC0001111001三變數卡諾圖

有時為了方便，用二進位對應的十進位表示單元格的編號。單元格的值用函數式表示。ABC0001111001F(A,B,C)=?(1,2,4,7)1,2,4,7單元取1，其他取0ABCD0001111000011110四變數卡諾圖單元格的編號

2.4.4邏輯圖把相應的邏輯關係用邏輯符號和連線表示出來，就構成了邏輯圖。ABCD?1FF=AB+CD

§2.5邏輯函數的兩種化簡法2.5.1利用邏輯代數的基本