優合取範式

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

滿足以下條件的合取範式：
1．如果某一命題變元在範式中出現，那么，它要在每個簡單析取式中都出現；
2．沒有重言的簡單析取式；
3．在簡單析取式中，沒有相同的命題變元；
4．命題變元及其否定按字典順序排列；
5．沒有相同的簡單析取式。重言的優合取範式為一空式。