看一个命题公式: ¬P∨Q∨R
它既是由3个简单合取式构成的析取范式, 又是由1个简单析取式构成的合取范式。
定理1 范式存在定理: 任一命题公式都存在着与之等值的析取范式与合取范式。
证明: 由蕴涵等值式与等价等值式可知
A →B ⇔ ¬A∨B
A ↔B ⇔ (¬A∨B) ∧( A∨¬B)
这里 A↔B 也可以转化为 A↔B ⇔ (A∧B) ∨ (¬A∧¬B)
因此在等值的条件下, 可消去任何公式中的联结词 → 和↔
看一个命题公式: ¬P∨Q∨R
它既是由3个简单合取式构成的析取范式, 又是由1个简单析取式构成的合取范式。
定理1 范式存在定理: 任一命题公式都存在着与之等值的析取范式与合取范式。
证明: 由蕴涵等值式与等价等值式可知
A →B ⇔ ¬A∨B
A ↔B ⇔ (¬A∨B) ∧( A∨¬B)
这里 A↔B 也可以转化为 A↔B ⇔ (A∧B) ∨ (¬A∧¬B)
因此在等值的条件下, 可消去任何公式中的联结词 → 和↔