基本等值式 1.双重否定律 A分1-A 2幂等律 A今A∨A,AA∧A 3交换律 AVB BVA A∧B分B∧A 4.结合律 (A∨B)VG仝AV(BVc) (A∧B)∧G仝A∧(B∧c 5.分配律 A∨(B∧c)分(AVB)∧(AV0) (∨对∧的分配律) A∧(B∨0)分(A∧B)V(AA) (∧对的分配律) 6.德·摩根律 (AVB)-A∧-B (A∧B)分1AV-B 7.吸收律 AV(A∧B)分→A,A∧(AVB)分A基本等值式 1.双重否定律 A  ┐┐A 2.幂等律 A  A∨A, A  A∧A 3.交换律 A∨B  B∨A， A∧B  B∧A 4.结合律 (A∨B)∨C  A∨(B∨C) (A∧B)∧C  A∧(B∧C) 5.分配律 A∨(B∧C)  (A∨B)∧(A∨C) （∨对∧的分配律） A∧(B∨C)  (A∧B)∨(A∧C) （∧对∨的分配律） 6.德·摩根律 ┐(A∨B)  ┐A∧┐B ┐(A∧B)  ┐A∨┐B 7.吸收律 A∨(A∧B)  A，A∧(A∨B)  A