基本等值式
1.双重否定律 A ┐┐A
2.幂等律 A A∨A, A A∧A
3.交换律 A∨B B∨A, A∧B B∧A
4.结合律 (A∨B)∨C A∨(B∨C) (A∧B)∧C A∧(B∧C)
5.分配律 A∨(B∧C) (A∨B)∧(A∨C) (∨对∧的分配律)
A∧(B∨C) (A∧B)∨(A∧C) (∧对∨的分配律)
6.德·摩根律 ┐(A∨B) ┐A∧┐B ┐(A∧B) ┐A∨┐B
7.吸收律 A∨(A∧B) A,A∧(A∨B) A
8.零律 A∨1 1,A∧0 0
9.同一律 A∨0 A,A∧1 A
10.排中律 A∨┐A 1
11.矛盾律 A∧┐A 0
12.蕴涵等值式 A→B ┐A∨B
13.等价等值式 AB (A→B)∧(B→A)
14.假言易位 A→B ┐B→┐A
15.等 ...


雷达卡




京公网安备 11010802022788号







