离散数学__第2章命题逻辑的推理理论__析取范式和合取范式

看一个命题公式：  ￢P∨Q∨R 

它既是由3个简单合取式构成的析取范式， 又是由1个简单析取式构成的合取范式。

定理1 范式存在定理： 任一命题公式都存在着与之等值的析取范式与合取范式。

证明：  由蕴涵等值式与等价等值式可知

     A →B ⇔ ￢A∨B

    A ↔B ⇔ (￢A∨B) ∧( A∨￢B)

这里 A↔B 也可以转化为   A↔B ⇔ (A∧B) ∨ (￢A∧￢B)

因此在等值的条件下， 可消去任何公式中的联结词 → 和↔