不会打A上面加一杠的就用A(非)代替了基本运算法则0·A=0，1·A=1，A·A=A，A·A(非)=0，0+A=0，1+A=1，A+A=AA+A(非)=1，[A(非)](非)=A交换律AB=BAA+B=B+A结合律ABC=(AB)C=A(BC)A+B+C=A+(B+C)=(A+B)+C分配律A(B+C)=AB+ACA+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(非)