1.最小項：定義在n變量邏輯函數中，若m為包含n個因子的乘積項，而且這n個變量均以原變量或者反變量的形式在m中出現一次，則稱m為該組變量的最小項。

Y=F(A,B,C) 最小項有2的三次方8個。M₇=ABC（m下標的定義為後面值為1的變量的組合對應的十進制數）

最小項性質：

　　　　1）在輸入變量的任何取值下必有一個最小項，而且僅有一個最小項的值為1；

　　　　2）全體最小項之和為1

　　　　3）任何倆個最小項的乘積為0

　　　　4）相鄰（倆個最小項只有一個因子不同）倆個最小項之和可合並為一項並消去一對不同的因子

2.最大項：定義在n變量的邏輯函數中，若M為包含n個變量之和，而且這n個變量均以原變量或反變量的形式在M中出現一次，則稱M為該組變量的最大項。

Y=F(A,B,C)最大項有8個。M₇=^A+^B+^C(m下標定義為後面值為0的變量值的組合對應的十進制數)

最大項的性質：

　　　　1）在輸入變量的任何取值下必有一個最大項，而且僅有一個最大項為0

　　　　2）全體最大項之積為0

　　　　3）任意倆個最大項之和為1

　　　　4）相鄰倆個最大項之乘積等於各相同變量之和

　　　　5）m_i=^m_i

邏輯函數的標準形式和卡諾圖表示法