2019年10月真题27. 用等值演算法求命题(P↔Q) ∨ ￢R主合取范式， 并指出公式的类型。分析： 要解答这个题目， 前提必须熟记 A ↔B ⇔ (￢A∨B) ∧( A∨￢B) A↔B ⇔ (A∧B) ∨ (￢A∧￢B)解：
