早知文理百科

A可为非非A（双重否定律）； A可为AVA（幂等律）； A可为A^A（幂等律）； AVB可为BVA（交换律） A^B可为B^A（交换律）； AV（BVC）可为（AVB）VC（结合律）...