常用逻辑等值式(关于v与入) 律( associative laws) (AvBC←Av(BvC) (AABACSAA BAC 秦分配律( distributive laws AVBACOAVB A(AVC) AA BVC(AAB VAAC) 《集合论与图论》第1讲《集合论与图论》第1讲 8 常用逻辑等值式(关于∨与∧) 结合律(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 )