§2.1.3-1 基本等价公式.pptVIP

基本等价公式 四、基本等价公式 设Ｇ，Ｈ，Ｓ是任意的公式，则： ⑴Ｅ1：(Ｇ?Ｈ)＝(Ｇ→Ｈ)∧(Ｈ→Ｇ) (等价） ⑵Ｅ2：(Ｇ→Ｈ）＝（┐Ｇ∨Ｈ）。 (蕴涵） (以上的非常重要！要记注。以下的可以与集合论的相关内容联系，巧记！) ⑶Ｅ3：Ｇ∨Ｇ＝Ｇ。 （幂等律） Ｅ4：Ｇ∧Ｇ＝Ｇ。 ⑷Ｅ5：Ｇ∨Ｈ＝Ｈ∨Ｇ。 （交换律） Ｅ6：Ｇ∧Ｈ＝Ｈ∧Ｇ。 ⑸Ｅ7：Ｇ∨(Ｈ∨Ｓ)＝(Ｇ∨Ｈ)∨Ｓ (结合律) Ｅ8：Ｇ∧(Ｈ∧Ｓ)＝(Ｇ∧Ｈ)∧Ｓ ⑹Ｅ9：Ｇ∨(Ｇ∧Ｈ)＝Ｇ。(吸收律) Ｅ10： Ｇ∧（Ｇ∨Ｈ）＝Ｇ。 ⑺Ｅ11：Ｇ∨(Ｈ∧Ｓ)＝(Ｇ∨Ｈ)∧(Ｇ∨Ｓ) Ｅ12：Ｇ∧(Ｈ∨Ｓ)＝(Ｇ∧Ｈ)∨(Ｇ∧Ｓ) （分配律） ⑻Ｅ13: Ｇ∨０＝Ｇ。 （同一律） Ｅ14：Ｇ∧１＝Ｇ。 Ｅ15：Ｇ∨１