第二章：题逻辑的等值和推理演算2.1等值定理221基本的悴值公式222若干常用的等值公式223置换规则2.4联结词 公式等值的判定 例如：P→Q=PVQ. 例1：证明(PAP)VQ=Q 证明：列出左式和右式的真值表即得 PA-P (PA-P)VO 0 0 0 0 0 0 1 0 刘肚利（上海变大CS实监室） 高数数学第二章：题逻辑的等值和推理演算 4/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 ú➟✤❾✛✞➼ ⑦❳➭P → Q = ¬P ∨ Q✧ ⑦1➭②➨(P ∧ ¬P) ∨ Q = Q ②➨➭✎Ñ❺➟Ú♠➟✛ý❾▲❂✚✧ P Q P ∧ ¬P (P ∧ ¬P) ∨ Q 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 4 / 66