优范式

命题逻辑的具有唯一性的范式，也称为完全范式，有优合取范式和优析取范式。一公式的合取范式和析取范式都不是唯一的。一公式的优合取范式和优析取范式都是唯一的。命题逻辑的每一公式都有唯一的优合取(析取)范式。

优合取范式是满足下列条件的合取范式：①如果一命题变元在范式中出现，那末它在每一简单析取中都出现。②在每一简单析取中都没有同一变元的两次出现，因此也没有常真的简单析取。③没有相同的简单析取。④依给定的命题变元的字母次序，每一简单析取中的命题变元按字母次序出现；各个简单析取的次序按字典顺序排列。用优合取范式可以判定一公式是不是重言式。重言式的优合取范式是零公式。由优范式的唯一性，可利用优合取范式确定两个公式是否等值、表达同一个真值函数。通过优合取范式可以看出哪些公式里的否定符号是可以消去的。

优析取范式是满足以下条件的析取范式：①如果一命题变元在范式中出现，那末它在每一简单合取中都出现。②在每一简单合取中都没有同一变元的两次出现，因此也没有常假的简单合取。③没有相同的简单合取。④依给定的命题变元的字母次序，每一简单合取中的命题变元按字母次序出现；各个简单合取按字典顺序排列。用优析取范式可以判定一公式是不是矛盾式，矛盾式的优析取范式是零公式。用它可以确定两个公式是否等值、表达同一个真值函数。用优析取范式可以判明一个公式的真假情况。给定一个真值函数，就能写出它的优析取范式，找到函数的表达式。利用优析取(合取)范式可以将公式化简，把一个复杂公式化简成较简短的公式。