定義
優合析範式(superior conjunctive normal for- m)規範表示的合析範式.指具有下列特徵的合析範式: 1.如果某個命題變元在範式中出現，則該變元要在該範式的每一個簡單析取式中都出現. 2.沒有永真的簡單析取項. 3.在該範式中沒有相同的簡單析取式，在每一個簡單析取式中沒有相同的析取項. 4.根據事先給定的所有命題變元及其否定的順序，所有簡單析取式和每一個簡單析取式中的每一個析取項均按字典順序排列. 例如，(pV門q)八(門PV婦為一優析合範式. 而(pV門q)八P}PV門P VqO PV}y)八(p八門 q>八(門pVq>等都不是優析合範式.每一個命題演算公式均有惟一一個與之等值的優合析範式.
