2.邏輯代數與硬件描述語言基礎2.1

邏輯代數

2.2

邏輯函數的卡諾圖化簡法

2.3

硬件描述語言VerilogHDL基礎

教學基本要求1、熟悉邏輯代數常用基本定律、恒等式和規則.3、了解硬件描述語言VerilogHDL.2、掌握邏輯代數的變換和卡諾圖化簡法.2.邏輯代數與硬件描述語言基礎

2.1.1

邏輯代數的基本定律和恒等式2.1

邏輯代數2.1.3

邏輯函數的變換及代數化簡法2.1.2

邏輯代數的基本規則2.1

邏輯代數邏輯代數又稱布爾代數。它是分析和設計現代數字邏輯電路不可缺少的數學工具。邏輯代數有一系列的定律、定理和規則，它用于對數學表達式進行處理，以完成對邏輯電路的化簡、變換、分析和設計。

邏輯關系指的是事件產生的條件和結果之間的因果關系。在數字電路中往往是將事情的條件作為輸入信號，而結果用輸出信號表示。條件和結果的兩種對立狀態分別用邏輯“1”和“0”表示。

1.基本公式

２.1.1邏輯代數的基本定律和恒等式交換律：A+B=B+AA·B=B·A結合律：A+B+C=(A+B)+C

A·B·C=(A·B)·C

分配律：A+BC=(A+B)(A+C)A(B+C)=AB+AC

A·1=AA·0=0A+0=AA+1=10、1律：A·A=0A+A=1互補律：重疊律：A+A=AA·A=A反演律：AB=A+B

A+B=A·B吸收律

2、常用公式AB+AB=AAB=A+B

A+B=A·BA·1=AA·0=0A+0=AA+1=1A·A=0A+A=1A+A=AA·A=A，，

3、基本公式的證明例

證明，列出等式、右邊的函數值的真值表(真值表證明法)01·1=001+1=0001111·0=101+0=0011010·1=100+1=0100110·0=110+0=11100A+BA+BABAB

2.1.2

邏輯代數的基本規則

代入規則2.反演規則3.對偶規則代入規則

：在包含變量A邏輯等式中，如果用另一個函數式代入式中所有A的位置，則等式仍然成立。這一規則稱為代入規則。例：B(A+C)=BA+BC，用A+D代替A，得B[(A+D)+C]=B(A+D)+BC=BA+BD+BC代入規則可以擴展所有基本公式或定律的應用范圍對于任意一個邏輯表達式L，若將其中所有的與（?）換成或（+），或（+）換成與（?）；原變量換為反變量，反變量換為原變量；將1換成0，0換成1；則得到的結果就是原函數的反函數。2.反演規則：保留反變量以外的非號不變。

用反演律,則。，求

例1已知FCD+0BAF+=

解用反演規則

可得()()

DCBAF++=1

解由反演規則，可得例2試求的非函數對于任何邏輯函數式，若將其中的與（?）換成或（+），或（+）換成與（?）；并將1換成0，0換成1；那么，所得的新的函數式就是L的對偶式，記作。

例3.對偶規則：“或-與”表達式“與非-與非”表達式

“與-或-非”表達式“或非－或非”表達式“與-或”表達式

2.1.3

邏輯函數的變換與代數法化簡1.常見的幾種邏輯函數表達式及其相互變換a.常見的幾種邏輯函數表達式

2、邏輯函數的變換

將邏輯函數與或式變換與非-與非表達式例1用與非門實現邏輯函數方法：將邏輯函數兩次求反后用摩根定律（1）適應器件的情況:用與非門實現邏輯函數例2、用或非門實現邏輯函數2、兩次求反。與或式轉換為或非-或非式=A+C+C+DL2=A+C+C+DL2=AC+CD=AC+CD方法：1、將每個乘積兩次求反后，用摩根定律；L2=AC+CD用或非門實現用邏輯門實現函數L3轉換為與非-與非式(2)簡化電路:需要與非門和或非門兩塊芯片只用一塊與非門芯片

化簡的意義：根據化簡后的表達式構成的邏輯電路簡單，可節省器件，降低成本，提高工作的可靠性。化簡的主要方法：１．公式法（代數法）；２．圖解法（卡諾圖法）；2.1.3

邏輯函數的代數化簡法

簡化標準(最簡的與－或表達式)

乘積項的個數最少(與門的個數少）;

每個乘積項中包含的變量數最少（與門的輸入端個數少）。化簡后使電路簡單，可靠性提高。代數化簡法：運用邏輯代數的基本定律和恒等式進行化簡的方法。

方法：并項法:

吸收法：

A+AB=A

消去法：

配項法：A+AB=A+B

2.1.3

邏輯函數的代數化簡與化簡法例

用最少的與非門實現邏輯函數L最簡與或式最簡與或式邏輯圖

與非-與非式邏輯圖與非-與非式2.2

邏輯函數的卡諾圖化簡法2.2.2邏輯函數的最小項表達式2.2.1最小項的定義及性質2.2.4用卡諾圖化簡邏輯函數2.2.3用卡諾圖表示邏輯函數2.2

邏輯函數的卡諾圖化簡法1.邏輯代數與普通代數的公式易混淆，化簡過程要求對所 有公式熟練掌握；2.代數法化簡無一套完善的方法可循，它依賴于人的經驗 和靈活性；3.用這種化簡方法技巧強，較難掌握。特別是對代數化簡 后得到的邏輯表達式是否是最簡式判斷有一定困難。 卡諾圖法可以比較簡便地得到最簡的邏輯表達式。代數法化簡在使用中遇到的困難：2.2.1

最小項的定義及其性質

n個變量(X1,X2,…,Xn)的最小項就是n個因子的乘積，在該乘積中每個變量都以它的原變量或非變量的形式出現一次，且僅出現一次。1、最小項的定義：如三變量邏輯函數

f(ABC)A(B+C)

-----不是最小項------最小項CBA2、最小項的性質

三個變量的所有最小項的真值表m0m1m2m3m4m5m6m7最小項的表示：通常用mi表示最小項，m

表示最小項,下標i為最小項號。0001000000000101000000010001000001000000100001100010000101000001001100000001011100000001對于變量的任一組取值，全體最小項之和為1。對于任意一個最小項，只有一組變量取值使得它的值為1；

對于變量的任一組取值，任意兩個最小項的乘積為0；0001000000000101000000010001000001000000100001100010000101000001001100000001011100000001三個變量的所有最小項的真值表

2.2.2

邏輯函數的最小項表達式

為“與或”邏輯表達式；在“與或”式中的每個乘積項都是最小項。例1將化成最小項表達式=m7＋m6＋m3＋m5

邏輯函數的最小項表達式：

例2將

化成最小項表達式a.去掉非號b.去括號C.使每個乘積項包括所有的變量

2.2.3

用卡諾圖表示邏輯函數

1、卡諾圖：將n變量的全部最小項都用小方塊表示，并使具有邏輯相鄰的最小項在幾何位置上也相鄰地排列起來，這樣,所得到的圖形叫n變量的卡諾圖。邏輯相鄰的最小項：如果兩個最小項只有一個變量互為反變量，那么，就稱這兩個最小項在邏輯上相鄰。如最小項m6=ABC、與m7=ABC在邏輯上相鄰m7m6AB10100100011110

m0

m1

m2

m3

m4

m5

m6

m7

m12

m13

m14

m15

m8

m9

m10

m110001111000011110ABCD

2.用卡諾圖表示邏輯函數

AB

mi00m001m111m310m2兩變量最小項真值表三變量卡諾圖四變量卡諾圖兩變量卡諾圖m0m1m2m3ACCBCA

m0

m1

m2

m3

m4

m5

m6

m7N變量卡諾圖ADBB

方法：邏輯函數包含有哪幾個最小項，就在卡諾圖相對應的方格內填1，其余各方格填0。

例如畫出邏輯函數

的卡諾圖根據最小項邏輯表達式畫卡諾圖。Fm0m3m2m4m6m5m7m110001110用卡諾圖表示邏輯函數的方法：

1.

將邏輯函數化為最小項表達式；

2.

填寫卡諾圖。。Lm0m3m2m4m6m5m7m111111000解1).

將邏輯函數化為最小項表達式；2.)

填寫卡諾圖。例1用卡諾圖表示邏輯函數00000例2

畫出下式的卡諾圖解1.

將邏輯函數化為最小項表達式2.

填寫卡諾圖0100011110BCA

m0

m1

m2

m3

m4

m5

m6

m7BCA0100011110

1

1

1

1

0

0

0

1ABC000001010011100101110111L10011101m0m1m2m3m4m5m6m7邏輯函數真值表邏輯函數的卡諾圖邏輯函數式最小項表達式邏輯函數的幾種表示方式

2.2.4

用卡諾圖化簡邏輯函數

1、用卡諾圖化簡邏輯函數卡諾圖化簡的依據若兩個最小項相鄰，則可合并為一項并消去一個變量。2.若四個最小項相鄰并排列成一個矩形組，則可合并為一項并消去兩個變量。3.若八個最小項相鄰并排列成一個矩形組，則可合并為一項并消去三個變量。依據：具有相鄰性的最小項可合并，消去不同因子。

在卡諾圖中，最小項的相鄰性可以從圖形中直觀地反映出來。2、用卡諾圖化簡邏輯函數的一般步驟

A.畫出邏輯函數的卡諾圖。3.同一方格可以被不同的包圍圈重復包圍多次，但新增的包圍圈中一定要有原有包圍圈未曾包圍的方格。4.

一個包圍圈的方格數要盡可能多,包圍圈的數目要可能少。XB.合并最小項，即將相鄰的為1的方格圈成一組。C.將所有包圍圈對應的乘積項相加。包圍圈內的方格數一定是2n個，且包圍圈必須呈矩形。2.循環相鄰特性包括上下底相鄰，左右邊相鄰和四角相鄰。畫包圍圈時應遵循的原則：

3.2.4

用卡諾圖化簡邏輯函數

卡諾圖化簡的原則化簡后的乘積項應包含函數式的所有最小項，即覆蓋圖中所有的1乘積項的數目最少，即圈成的矩形最少每個乘積項因子最少，即圈成的矩形最大3、卡諾圖化簡舉例

例1用卡諾圖化簡2.2.4

用卡諾圖化簡邏輯函數

11111111110111111111111110例2用卡諾圖化簡0111111111111110圈0圈1例：

0001111001ABC例：

000111100011111101ABC例：

000111100011111101ABC例：化簡結果不唯一例2

將邏輯函數3、卡諾圖化簡舉例

111111111111111111113.2.4

用卡諾圖化簡邏輯函數

化簡為最簡與或表達式。舉例說明：三個邏輯變量A、B、C分別表示一臺電動機的正轉、反轉和停止的命令，A=1表示正轉，B=1表示反轉，C=1表示停止。可能取值只有001，010，100當中的某一種。1.約束項、任意項和邏輯函數式中的無關項2.2.5

含無關項的邏輯函數及其化簡⑴約束項、約束項：這些恒等于0的最小項叫做約束項。000，011，101，110，111中的任何一種都不可能出現，可表示為：或在有些邏輯問題中，在有些變量的取值下，最小項是0、或1對函數值均無影響，我們將對應的這些最小項稱為任意項。而1010~1111不為8421BCD碼，稱為任意項。⑵任意項:舉例說明：四個邏輯變量A、B、C、D分別表示8421BCD碼只可能有0000，0001，0010…1001取值。任意項：在輸入變量的某些取值下函數值是1是0皆可，并不影響電路的功能。在這些變量取值下，其值等于1的那些最小項成為任意項。1)填函數的卡諾圖時只在無關項對應的格內填任意符號“×”邏輯函數式中用“Φ”或、“d”表示無關項。2、無關項處理方法：2)化簡時可根據需要視為“1”也可視為“0”，使函數化到最簡。⑶無關項：約束項和任意項既可以