离散数学等值演算公式

　　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（归谬论）