交换律:A∩B=B∩A;A∪B=B∪A
结合律:A∪(B∪C)=(A∪B)∪C;A∩(B∩C)=(A∩B)∩C
分配对偶律:A∩(B∪C)=(A∩B)∪(A∩C);A∪(B∩C)=(A∪B)∩(A∪C)
对偶律:(A∪B)^C=A^C∩B^C;(A∩B)^C=A^C∪B^C
同一律:A∪∅=A;A∩U=A
求补律:A∪A\'=U;A∩A\'=∅
对合律:A\'\'=A
等幂律:A∪A=A;A∩A=A
零一律:A∪U=U;A∩∅=∅
吸收律:A∪(A∩B)=A;A∩(A∪B)=A