谓词运算之谓词公式等价性

此知识点为离散数学与人工智能归结法核心，必备！！！

一、谓词公式等价式

下面是一些常用的等价式。

交换律
P ∨ Q ⇔ Q ∨ P
P ∧ Q ⇔ Q ∧ P

结合律
(P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R)
(P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)

分配律                        【skolem 第6步】
P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R)
P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)

德·摩根定律              【skolem 第2步】
~ (P ∨ Q) ⇔ ~ P ∧ ~ Q
~ (P ∧ Q) ⇔ ~ P ∨ ~ Q

否定之否定定律      【skolem 第2步】