左孝凌离散数学13命题公式与翻译-14真值表与等价.ppt

* 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1. 真值表法 2. 等值演算法 1. 真值表法 例1. ┐(P?Q) ?(┐P?┐Q) 见真值表例题1. 例2. 证明: P?Q ?(P→Q)?(Q→P) P Q P?Q Q→P P→Q (P→Q)?(Q→P) 0 0 0 1 1 0 1 1 证明公式等价的方法： * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1. 真值表法 2. 等值演算法 1. 真值表法 例1. ┐(P?Q) ?(┐P?┐Q) 见真值表例题1. 例2. 证明: P?Q ?(P→Q)?(Q→P) P Q P?Q Q→P P→Q (P→Q)?(Q→P) 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 所以： P?Q ?(P→Q)?(Q→P) ?(P∧Q)∨(┐P∧┐Q) 试用等值演算方法证明 另外， P?Q ? (┐P∨Q) ∧(┐Q ∨ P) * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 2. 等值演算法(Equivalent Caculation)（利用P15表1-4.8) 重要的等价式(补充): 11. 蕴涵等值式: P?