离散.pptVIP

2.2.1 logically equivalence calculus of propositions 定义2.2.1.1 设A,B是两个命题公式，若A，B构成的等价式A ? B为重言式，则称A与B是等值的，（logically equivalent)记作A ? B。 即A ? B的充要条件是A ? B为重言式。 判断两个公式等值的方法1：真值表法。 例：判断公式 p?(q?r)、(p ∧ q) ? r是否等价. 2.2.1 logically equivalence calculus of propositions Logically equivalences Idempotent laws A?A∧A A?A∨A commutative laws A∧B?B∧A A∨B?B∨A associative laws (A∧B)∧C? A∧(B∧C) (A ∨ B) ∨ C?A ∨(B ∨ C) Distributive laws A∧(B∨C)?(A∧B)∨(A∧C) A ∨( B∧C)? (A ∨ B)∧ (A ∨ C) Negative laws A?┐┐A A ∨┐A?T A ∧┐A?F De Morgan’s Laws ┐(A∧B)?┐A∨┐B