范式存在定理(existence theorem of normal form)命题演算中任一合式公式A,恒可表示为等值的合取范式或析取范式.一公式和它的范式等值.置换不改变公式的真值,因而通过置换可以把一公式变换为一范式.范式存在定理(existence theorem of normal form)命题演算中任一合式公式A,恒可表示为等值的合取范式或析取范式.一公式和它的范式等值.置换不改变公式的真值,因而通过置换可以把一公式变换为一范式.