【正文】 +B+C = M7 最小項(xiàng)與最大項(xiàng)具有如下性質(zhì)： ⑴ 對(duì)于任意 最小項(xiàng) ， 只有一組 變量組合的取值可使其值 為 1；對(duì)于任意 最大項(xiàng) ， 只有一組 變量組合的取值可使其值 為 0。 例如： 3 變量的 8 個(gè)最小項(xiàng)可以表示為： ABC = m0 ABC = m1 ABC = m2 ABC = m3 ABC = m4 ABC = m5 ABC = m6 ABC = m7 為區(qū)別不同 n 值的相同 mi ，可記為： m i n 2. 最大項(xiàng) maxterm 設(shè)有 n 個(gè)邏輯變量，它們組成的 或項(xiàng) 中，每個(gè)變量或以原變量形式或以反變量形式出現(xiàn)一次，且僅出現(xiàn)一次，此或項(xiàng)稱(chēng)為 n 變量的最大項(xiàng)。 即： 異或運(yùn)算和同或運(yùn)算的基本代數(shù)性質(zhì) 0—1律 (a) A⊕ 0 =A A⊕ 1 =A (b) A⊙ 0 =A A⊙ 1 =A 交換律 (a) A⊕ B =B⊕ A (b) A⊙ B =B⊙ A 分配律 (a) A(B⊕ C) =AB⊕ AC (b) A＋ (B⊙ C) =(A＋ B)⊙ (A＋ C) 結(jié)合律 (a) A⊕ (B⊕ C) = (A⊕ B)⊕ C (b) A⊙ (B⊙ C) =(A ⊙ B )⊙ C 調(diào)換律 (a)若 A⊕ B = C則 A⊕ C = B ， C⊕ B = A (b) 若 A⊙ B = C則 A⊙ C = B ， C⊙ B = A 依照邏輯運(yùn)算的規(guī)則，一個(gè)邏輯命題可以用多種形式的邏輯函數(shù)來(lái)描述，而這些邏輯函數(shù)的真值表都是相同的。 = A⊕ B 3. A⊕ B ⊕ C = A⊙ B ⊙ C 例：證明 A⊕ B = A B ＋ A B = A B A B = ( A ＋ B )( A ＋ B) = A B ＋ A B = A ⊙ B 證明 (A⊕ B) 39。 B 異或 邏輯真值表 異或 門(mén) 的邏輯符號(hào) A B F 0 0 0 1 1 0 1 1 0 1 1 0 ＝ 1 F A B F B A ⊕ F A B 5. 同或邏輯（ XNOR） 邏輯表達(dá)式為 : F = A⊙ B = A F2 A 2. 或非邏輯 (NOR) 邏輯表達(dá)式為 : F = A ＋ B ＋ C A B C F 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 或非 邏輯真值表 或非門(mén) 的邏輯符號(hào) ≥1 F A B C F B C A 可以用 或非門(mén) 實(shí)現(xiàn)三種基本運(yùn)算： ② 或運(yùn)算 F2 = A＋ B ≥1 F3 A ③ 非運(yùn)算 F3 =A＋ A = A A F1 B ≥1 ≥1 ≥1 ① 與運(yùn)算 F1 = A＋ A＋ B＋ B = A＋ B = A B = A＋ B amp。 ③ 或運(yùn)算 F3= A F A B C F B C A 與非 邏輯真值表 與非門(mén) 的邏輯符號(hào) 可以用 與非門(mén) 實(shí)現(xiàn)三種基本運(yùn)算： ① 與運(yùn)算 F1 = A ? 與門(mén)、或門(mén)、非門(mén)三種基本邏輯運(yùn)算 (門(mén) )組合起來(lái)可以構(gòu)成實(shí)現(xiàn)任何邏輯功能的邏輯電路，稱(chēng)此三門(mén)構(gòu)成了一個(gè) 邏輯完備組 ? 若實(shí)現(xiàn)一個(gè)較復(fù)雜的邏輯功能，尤其在大規(guī)模集成電路快速發(fā)展的今天，必須增加門(mén)電路的功能，以簡(jiǎn)化電路。 運(yùn)算符和邏輯量總是成對(duì)地定義的，稱(chēng)為對(duì)偶的運(yùn)算符和對(duì)偶的邏輯量，這種特殊屬性可用 對(duì)偶變換來(lái)表述。 對(duì)偶規(guī)則 Dual expansion theorem 1 ? 1 = 1 1 + 1 = 1 0 + 0 = 0 0 ? 1 = 0 0 + 1 = 0 1 + 0 = 1 1 ? 0 = 0 1 + 0 = 0 0 + 1 = 1 0 ? 0 = 0 0 + 0 = 0 1 + 1 = 1 對(duì)任何兩相等的邏輯函數(shù)，均符合上述的 3個(gè)基本 對(duì)偶規(guī)則。 = f2 39。 ) = f ( x1 , x2 , … , x n , 1 , 0, ) = f ( x1 , x2 , … , x n , 1 , 0, 對(duì)此， 香農(nóng)定理 作了推廣。 f (A,B,C) = g (A,B,C) 邏輯代數(shù)的基本規(guī)則 Basic Formulas 1. 邏輯相等： A B C g (A,B,C) = (A+B) ? (A+C) f (A,B,C) = A+B ? C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 00011111 00011111 2. 代入規(guī)則： 又 ∵ 邏輯函數(shù) h 取值 也是僅有 0 或 1 已知 f ( x1 , x2 , … , x i , …, x n ) = g ( x1 , x2 , … , x i , …, x n ) 有任意邏輯函數(shù) h ，令： xi = h 則 f ( x1 , x2 , …, h , …, x n ) = g ( x1 , x2 , … , h , …, x n ) 依然成立。 摩根定理證明了變量進(jìn)行“與”和“或”運(yùn)算時(shí)的 互補(bǔ)效應(yīng) 。 吸收律 Absorption A ? B + A ? B = A ( A + B )( A + B ) = A A + A ? B = A + B A ? ( A + B ) = A ? B A + AB = A A ? ( A + B ) = A = 左邊 證明成立 A + B = A ? B A ? B = A + B 反演律 DeMan’s Theorem (摩根定理 ) = A + 1 （互補(bǔ)律） = 1 （ 0—1律） 證明 A ? B = A + B 成立，可以用函數(shù)的互補(bǔ)性來(lái)證明 設(shè)： X = A B Y = A + B ∵ X + Y = AB + A + B = A + B + B （吸收律） 又 ∵ X ? Y = AB（ A + B） = A B ? A + AB ? B (分配律 ) = 0 ? B + 0 ? A (互補(bǔ)律 ) = 0 + 0 (0—1律 ) = 0 (基本運(yùn)算 ) ∴ X 與 Y 互補(bǔ)， X = Y， Y = X 。 由此證明 A+B?C = (A+B)(A+C) 成立。 運(yùn)算的優(yōu)先順序：括號(hào)，非，與，或 。 B ⑵ 邏輯表達(dá)式 Algebraic Forms of Switching Functions ⑶ 卡諾圖 Karnaugh MAP （文氏圖 Venn Diagrams） ⑷ 時(shí)間圖 （信號(hào)波形圖 ） Timing Venn圖 全集 為 1 又引入變量 B，將已有區(qū)域再分別一分為二 引入變量 A，將 區(qū)域 一分為二 邏輯代數(shù)的基本運(yùn)算 “與” 運(yùn)算 (邏輯 乘 ) Logic Multiplication “或” 運(yùn)算 (邏輯 加 ) Logic Addition “非” 運(yùn)算 (邏輯 非 ) Logic Negation 運(yùn)算結(jié)果 邏輯 積 Logic Product 邏輯 和 Logic Sum 求 補(bǔ) Complement 示意電路 真值表 F A B F A B F A R A B F 0 0 0 1 1 0 1 1 0 0 0 1 A B F 0 0 0 1 1 0 1 1 0 1 1 1 A F 0 1 1 0 “與” 運(yùn)算 (邏輯 乘 ) Logic Multiplication “或” 運(yùn)算 (邏輯 加 ) Logic Addition “非” 運(yùn)算 (邏輯 非 ) Logic Negation 代數(shù)式 F = A B = A ? 用代數(shù)運(yùn)算對(duì)這些邏輯變量進(jìn)行 邏輯推理 。一旦完成了邏輯化工作，不再考慮邏輯電路輸入輸出端的實(shí)際電平值，而是 假設(shè)電路直接按照邏輯信號(hào)的 0和 1進(jìn)行操作 。 3. 邏輯常量 Logic Constant ： 邏輯狀態(tài)保持不變，取值 “ 0” 或 “ 1”。 4. 邏輯電平 Logic Voltage： ? 在二值邏輯電路 (開(kāi)關(guān)電路 )中，將物理器件的物理量離散 為兩種電平： 高電平 （用 H 表示）、 低電平（用 L 表示） ? 抽象化的高、低電平 忽略 其物理量值的實(shí)際含義，實(shí)際上它們是代表著 一定范圍 的物理量。 下表給出了 不同的計(jì)算機(jī)邏輯和存儲(chǔ)技術(shù)中表示位值的物理狀態(tài) 。 邏輯代數(shù)中的幾個(gè)概念 邏輯代數(shù)的基本運(yùn)算 邏輯代數(shù)的基本定理及規(guī)則 邏輯函數(shù)的性質(zhì) 邏輯函數(shù)的化簡(jiǎn) 第二章 邏輯代數(shù)基礎(chǔ) 第二章 邏輯代數(shù)基礎(chǔ) Fundamentals of Boolean Algebra ? 布爾代數(shù) Boolean algebra： 用一種 數(shù)學(xué)運(yùn)算 的代數(shù)系統(tǒng)描述 人的 邏輯思維規(guī)律和推理過(guò)程。 ? 邏輯代數(shù)是二值邏輯運(yùn)算中的基本數(shù)學(xué)工具 ? 邏輯代數(shù)廣泛應(yīng)用于數(shù)字系統(tǒng)的分析和設(shè)計(jì) 第二章 邏輯代數(shù)基礎(chǔ) Fundamentals of Boolean Algebra ? 邏輯代數(shù)是二值邏輯運(yùn)算中的基本數(shù)學(xué)工具 ? 邏輯代數(shù)廣泛應(yīng)用于數(shù)字系統(tǒng)的分析和設(shè)計(jì) 在 現(xiàn)代邏輯分析技術(shù) 中，邏輯值對(duì)應(yīng)于各種廣泛的物理?xiàng)l件：電壓的高或低、燈光的明或暗、電容器的充電或放電、熔絲的斷開(kāi)或接通，等等。 (兩種狀態(tài)無(wú)大小之分 ) 2. 邏輯變量 Logic Value ： 用于表示 事物狀態(tài) 的邏輯狀態(tài)隨邏輯條件的變化而變化，取值 “ 0” 或 “ 1” 。若電平穩(wěn)定于噪音區(qū)稱(chēng)為邏輯模糊，這在邏輯電路中不允許。 確定了邏輯規(guī)定（約定）后，各種物理量都轉(zhuǎn)化為邏輯狀態(tài)含義，因而可用邏輯變量表示，進(jìn)而就 可用各種數(shù)學(xué)或邏輯方法對(duì)電子電路進(jìn)行分析和表達(dá) 。 6. 邏輯代數(shù) Logic Algebra ： ? 用代數(shù)形式表現(xiàn)邏輯變量之間的 因果關(guān)系 。 7. 邏輯函數(shù) Logic Function： 輸入邏輯變量 A1， A2， … , A n；輸出邏輯變量 F； 記為： F = f (A1， A2， … , A n )，關(guān)系如下圖所示： F = f (A1, A2, …, A n) 輸入變量（自變量）取值 0、 1； 輸出變量（邏輯函數(shù)值）取值 0、 1. 實(shí)現(xiàn) f (A1， A2， … , A n ) 的邏輯網(wǎng)絡(luò) A1A2 An F 8. 邏輯函數(shù)的表示法 Representation： 主要有四種 ⑴ 真值表（窮舉法） Truth Table A B F 0 0 0 1 1 0 1 1 0 0 0 1 真值表例 表達(dá)式例： F = A