常用逻辑等值式(关于v与入) 壽幂等律( idempotent laws) AAVA A→AAA 秦交换律( commutative laws) AVBOBVA AABOBAA 《集合论与图论》第1讲《集合论与图论》第1讲 7 常用逻辑等值式(关于∨与∧) 幂等律(idempotent laws) A⇔A∨A A⇔A∧A 交换律(commutative laws) A∨B⇔B∨A A∧B⇔B∧A