离散数学__第2章命题逻辑的推理理论__真题讲解

2019年10月真题

27. 用等值演算法求命题(P↔Q) ∨ ￢R主合取范式， 并指出公式的类型。

分析：  要解答这个题目， 前提必须熟记

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

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

解：