由真值表推導(dǎo)出函數(shù)表達(dá)式：以輸入變量中值為0為反變量，值為1為原變量，找出結(jié)果為1的那些項(xiàng)。各變量相與，所有項(xiàng)進(jìn)行相或，即得函數(shù)表達(dá)式。如 Y = BC + AC + AB

IMG_20210214_165045[1].jpg

由卡諾圖推導(dǎo)出函數(shù)表達(dá)式：因卡諾圖是用最小項(xiàng)的形式來表示邏輯函數(shù)。

最小項(xiàng)：在n變量邏輯函數(shù)中，若m為包含n個(gè)因子的乘積項(xiàng)，且這n個(gè)變量均以原變量或反變量的形式在m中出現(xiàn)一次，則稱m為該組變量的最小項(xiàng)。如3變量函數(shù)的ABC、AB和BC等即為最小項(xiàng)。

最大項(xiàng)：在n變量邏輯函數(shù)中，若M為n個(gè)變量之和，且這n個(gè)變量均以原變量或反變量的形式在M中出現(xiàn)一次，則稱M為該組變量的最大項(xiàng)。如3變量函數(shù)的A+B+C、++C等。與最小項(xiàng)的編號(hào)不同，最大項(xiàng)的編號(hào)原變量取0，反變量取1。如上面兩個(gè)最大項(xiàng)分別對(duì)應(yīng)為、 。

邏輯函數(shù)標(biāo)準(zhǔn)形式：最小項(xiàng)之和 或 最大項(xiàng)之積。如F(A,B,C) = ∑(0,3,5,7) 它的含義是下標(biāo)為0,3,5,7的那些最小項(xiàng)的函數(shù)值為1 。又如F(A,B,C) = ∏(1,3,5,6) 它的含義是下標(biāo)為1,3,5,6的那些最大項(xiàng)的函數(shù)值為0 。

最小項(xiàng)與最大項(xiàng)的關(guān)系： = 。

邏輯函數(shù)化簡：項(xiàng)數(shù)最少，每項(xiàng)變量最少。利用公式法化簡如有：
1）并項(xiàng)法 AB+A = A
2）吸收法 A+AB = A
3）消項(xiàng)法 AB+C+BC = AB+C
4）消因子法 A+B = A+B
5）配項(xiàng)法 A+A = A 及 A+ = 1

約束：對(duì)輸入變量取值所加的限制稱為約束。如三個(gè)變量A、B、C分別表示電動(dòng)機(jī)的正轉(zhuǎn)、反轉(zhuǎn)和停止，顯然ABC每次取值時(shí)只有一個(gè)而且必須有一個(gè)變量取值為1。即約束條件為 +BC+AC+AB+ABC = 0 。
約束項(xiàng)：約束條件中的最小項(xiàng)即為約束項(xiàng)。也即函數(shù)正常取值時(shí)恒等于0的那些最小項(xiàng)為約束項(xiàng)。
任意項(xiàng)：不影響電路功能的最小項(xiàng)稱為任意項(xiàng)。
無關(guān)項(xiàng)：約束項(xiàng)與任意項(xiàng)統(tǒng)稱為邏輯函數(shù)中的無關(guān)項(xiàng)。

無關(guān)項(xiàng)對(duì)于卡諾圖的意義是無關(guān)項(xiàng)對(duì)應(yīng)的位置上既可以填入1，也可以填入0 。如要化簡函數(shù) Y = C+B+A 約束條件為：AC+ACD+AB+ABD+ABC+ABCD = 0 則寫出卡諾圖如下：

IMG_20210227_170820[1].jpg