范式存在定理及其证明
范式存在定理
对于任意命题公式，都存在与其等价的析取范式和合取范式
另一种表述：
每一真值函数，都可用范式（析取范式或合取范式）表示；
每一个复合命题形式，都至少存在一个与其等值的范式（析取范式或合取范式）
英文表述
any Boolean function has a CNF, and a DNF form
定理证明
参考资料：
1、课程链接
2、布尔代数的析取范式定理的证明
3、另一种表述
范式存在定理
对于任意命题公式，都存在与其等价的析取范式和合取范式
另一种表述：
每一真值函数，都可用范式（析取范式或合取范式）表示；
每一个复合命题形式，都至少存在一个与其等值的范式（析取范式或合取范式）
英文表述
any Boolean function has a CNF, and a DNF form
定理证明
参考资料：
1、课程链接
2、布尔代数的析取范式定理的证明
3、另一种表述