(资料图片仅供参考)

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

本文关于范式存在定理的简介就讲解完毕，希望对大家有所帮助。