范式存在定理及其证明

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

>>阅读原文<<