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