Question

离散数学中的等值演算公式

Answer 1

等值演算公式，
1，A可为非非A（双重否定律）
2，A可为AVA（幂等律）
3，A可为A^A（幂等律）
4，AVB可为BVA（交换律）
5，A^B可为B^A（交换律）
6，AV（BVC）可为（AVB）VC（结合律）
7，A^（B^C）可为（A^B）^C（结合律）
8，AV（B^C）可为（AVB）^（AVC）（分配律）
9，A^（BVC）可为（A^B）V（A^C）（分配律）
10，非（AVB）可为非A^非B（德摩根律）
11，非（A^B）可为非AV非B（德摩根律）
12，AV（A^B）可为A（吸收律）
13，A^（AVB）D可为A（吸收律）
14，AV1可为1（零一律）
15，A^0可为0（零一律）
16，AV0可为A（同一律）
17，A^1可为A（同一律）
18，A^非A可为0（矛盾律）
19，AV非A可为1（排中律）
20，A→B可为非AVB（蕴含等值式）
21，A等价B可为（A→B）^（B→A）（等价等值式）
22，A→B可为非A等价非B（假合易位）
23，A等价B可为非A等价B（双条件否定等值式）
24，（A→B）^（A→非B）可为非A（归谬论）
（1，0分别代表永真式，永假式）
望采纳，谢谢。