基本等值式 双重否定律:--4<A 等幂律: lvA<→A,AA4÷>A 交换律: AvB<→BvA,AAB<→BA 结合律: (4vB)VC分→Av(BvC (4∧B)C分A入(B∧C 分配律:VB∧O)→(AB)(C A∧(BvC冷(4入B)v(A入C)3 基本等值式 双重否定律 : AA 等幂律： AAA, AAA 交换律: ABBA, ABBA 结合律: (AB)CA(BC) (AB)CA(BC) 分配律: A(BC)(AB)(AC) A(BC) (AB)(AC)