極小項是布爾代數中的一個概念，由標準邏輯運算符組成的布爾函式可以按利用了對偶性「極小項」和「極大項」的概念的規範形式來表達。極小項定義為只由邏輯與和補運算符組成的n個變數的邏輯表達式。n個變數有 2^n個極小項，這是因為在極小項表達式中一個變數要麼是自身要麼是它的補的形式，每個變數都有兩種選擇。一般的，你可以指派給每個極小項(確保以同樣的次序寫變數，通常按字母序)，基於極小項的二進制值的一個索引。例如，對於三個變數，m0是a'b'c'(0002)，而m7是abc(1112)。極小項n對這個邏輯函式的第n+1 個唯一的函式輸入給出真值。這是析取範式的特殊形式。