范式存在定理_命题演算中任一合式公式A，恒可表示为等值的合取范式或析取范式

范式存在定理

命题演算中任一合式公式A，恒可表示为等值的合取范式或析取范式

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