優析合範式

特徵

優析合範式(superior disjunctive normal form) 規範表示的析合範式.指具有下列特徵的析合範式:

1. 如果某個命題變元在範式中出現，則該變元要在該範式的每一個簡單合取式中都出現.
   
2. .範式中沒有永假的簡單合取式.
   
3. .在該範式中沒有相同的簡單合取式，在每一個簡單合取式中沒有相同的合取項.
   
4. .根據事先給定的所有命題變元及其否定的排列順序，所有簡單合取式和每一個簡單合取式中的每一個合取項均按字典順序排列. 例如，(P八q)V(} p八門婦為一優析合範式. 而(p八婦VC} qV二),p八門P八q}p八p八}q等都不是優析合範式.每一個命題演算公式均有惟一一個與之等值的優析合範式.