优合取范式

优合取范式亦称“特异合取范式”。经典命题演算中满足以下条件的合取范式。(1)如果某一命题变项在范式里出现，那么它要在每一简单析取中都出现。(2)没有常真的简单析取。(3)在简单析取里，没有相同的支命题。(4)对于命题变项及其否定按字典顺序排列。(5)没有相同的简单析取。一公式的优合取范式是惟一的。