優析取範式亦稱“特異析取範式”。經典命題演算中滿足以下條件的析取範式。(1)如果某一命題變項在範式里出現，那么它要在每一簡單合取中都出現。(2)沒有常假的簡單合取。(3)在簡單合取里，沒有相同的支命題。(4)對於命題變項及其否定按字典順序排列。(5)沒有相同的簡單合取。一公式的優析取範式是惟一的。
優合取範式亦稱“特異合取範式”。經典命題演算中滿足以下條件的合取範式。(1)如果某一命題變項在範式里出現，那么它要在每一簡單析取中都出現。(2)沒有常真的簡單析取。(3)在簡單析取里，沒有相同的支命題。(4)對於命題變項及其否定按字典順序排列。(5)沒有相同的簡單析取。一公式的優合取範式是惟一的。
