范式存在定理

由于 联结词 之间可以通过 基本等价关系 进行相互转换，所以可以通过逻辑等价公式来求出它的 析取范式 和 合取范式

1. 将公式中的蕴含联结词、等价联结词替换
2. 将否定联结词移到各个命题变元的前端
3. 利用分配率，可将公式化成一些合取式的析取，或者一些析取式的合取

对于任意一个公式，经过以上步骤，必能化成与其等价的析取范式和合取范式