内容介绍：基本等值式1.双重否定律 A ┐┐A2.幂等律 A A∨A, A A∧A3.交换律 A∨B B∨A， A∧B B∧A4.结合律 (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