最小項的定義:在一個有n個變量的邏輯函數中，包括全部n個變量的乘積項（每個變量必須而且只能以原變量或反變量的形式出現一次）稱為最小項。n個變量有2^n個最小項，比如當n = 3時，此邏輯函數應有2^3 = 8個最小項，分別是：A'B'C', A'B'C, A'BC', A'BC, AB'C', AB'C, ABC', ABC。最大項就是全部n個變量的加和了。最小項的性質:1) 在輸入變量的任何取值下必有一個最小項，而且僅有一個最小項的值為1；2) 全體最小項之和為1；3) 任意兩個最小項的乘積為0；4) 具有相鄰性的兩個最小項之和可以合并成一項并消去對因子。兩個最小項具有相鄰性是指：該兩個最小項只有一個變量互為反變量，其他變量都相同。最小項之和形式：首先將給定的邏輯函數式化為若干乘積項之和的形式（亦稱“積之和”形式），然后再利用基本公式A+A'=1將每個乘積項中缺少的因子補全，這樣就可以將與或的形式化為最小項之和的標準形式。例如，給定邏輯函數為Y=ABC'+BC，則可化為：Y=ABC'+(A+A')BC=ABC'+ABC+A'BC=m3+m6+m7或寫作：Y(A,B,C)=∑m(3,6,7)最大項之積形式：利用邏輯代數的基本公式和原理，首先我們一定能把任何一個邏輯函數式化成若干項相乘的或與形式（也稱“和之積”形式）。然后再利用公式AA'=0將每個多項式中缺少的變量補齊，就可以將函數式的或與形式化成最大項之積的形式了。例如，給定函數式為Y=A'B+AC利用A+BC=(A+B)(A+C)將Y化成或與形式Y=A'B+AC=(A'B+A)(A'B+C)=(A+B)(A'+C)(B+C)然后在第一個括號內加入一項CC',在第二個括號內加入BB',在第三個括號內加入AA',于是得到Y=(A+B+CC')(A'+BB'+C)(AA'+B+C)=(A+B+C)(A+B+C')(A'+B+C)(A'+B'+C)或寫作：Y(A,B,C,D)=∏M(0,1,5,6)詳情