jacky
A可为非非A（双重否定律）；
A可为AVA（幂等律）；
A可为A^A（幂等律）；
AVB可为BVA（交换律）
扩展资料
A^B可为B^A（交换律）；
AV（BVC）可为（AVB）VC（结合律）；
A^（B^C）可为（A^B）^C（结合律）；
AV（B^C）可为（AVB）^（AVC）（分配律）；
A^（BVC）可为（A^B）V（A^C）（分配律）；
非（AVB）可为非A^非B（德摩根律）；
非（A^B）可为非AV非B（德摩根律）；
AV（A^B）可为A（吸收律）；
A^（AVB）D可为A（吸收律）；
AV1可为1（零一律）；
A^0可为0（零一律）；
AV0可为A（同一律）；
A^1可为A（同一律）；
A^非A可为0（矛盾律）；
AV非A可为1（排中律）；
A→B可为非AVB（蕴含等值式）；
A等价B可为（A→B）^（B→A）（等价等值式）；
A→B可为非A等价非B（假合易位）；
A等价B可为非A等价B（双条件否定等值式）；
（A→B）^（A→非B）可为非A（归谬论）
