不会打A上面加一杠的就用A(非)代替了
基本运算法则
0·A=0,1·A=1,A·A=A,A·A(非)=0,0+A=0,1+A=1,A+A=A
A+A(非)=1,[A(非)](非)=A
交换律
AB=BA
A+B=B+A
结合律
ABC=(AB)C=A(BC)
A+B+C=A+(B+C)=(A+B)+C
分配律
A(B+C)=AB+AC
A+BC=(A+B)(A+C)
吸收律
A(A+B)=A,A[A(非)+B]=AB,A+AB=A,A+A(非)B=A+B,AB+A(非)B=A
(A+B)[A+B(非)]=A
反演律
(AB)(非)=A(非)+B(非)
(A+B)(非)=A(非)B(非)