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