第二章：逻辑的等值和推理演算21值定理22.1基本的等值公式222若干常用的等值公式223置换规则2.4联结词 基本的等值公式 (1)双重否定律-P=P 2结合律(PVQ)VR=PV(QVR (PAOAR=PA(OAR P一0R=P一)一 3衣日P0=0P PA=PP一0== 口回1元，4元↑至0QC 刘肚利（上海变大CS实验室） 鹰敬数学第二章：避逻辑的等值和推理演算 5/66✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 2.1 ✤❾➼♥ 2.2.1 ➘✢✛✤❾ú➟ 2.2.2 ❡❩⑦❫✛✤❾ú➟ 2.2.3 ➌❺✺❑ 2.4 é✭❝✛✑✗✽ 2.4.2 é✭❝✛✑✗✽ 2.5 éó➟ 2.6 ❽➟❺❒❽➟ 2.6.2 ❒❽➟↔❒Û✒❽➟Ú❒Ü✒❽➟↕ ✹➀➅❺❒Ü✒❽➟ ❒❽➟✛❆❫ ❒Û✒❽➟Ú❒Ü✒❽➟♠✛❷♣❂❺ í♥✴➟ ➘✢✛í♥ú➟ í♥ü➂ ✽✭í♥④ ❾➆ Logic Puzzles ➘✢✛✤❾ú➟ (1)❱➢➘➼➷ ¬¬P = P (2)✭Ü➷ (P ∨ Q) ∨ R = P ∨ (Q ∨ R) (P ∧ Q) ∧ R = P ∧ (Q ∧ R) (P ↔ Q) ↔ R = P ↔ (Q ↔ R) (P → Q) → R , P → (Q → R) (3)✂❺➷ P ∨ Q = Q ∨ P P ∧ Q = Q ∧ PP ↔ Q = Q ↔ P P → Q , Q → P (4)➞✛➷ P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R) P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 5 / 66