分配律:(AUB)C=(AnC)U(BnC); (ANBUC=(AUC)(BUC) 0-1律:AUU=U,A∩U=A; AUp=A,A∩p=p; 还原律:(49=A; 对偶律:(4UB)=A∩B,(4∩B)=AUB; 排中律:AUA4=U,A04C=四 U为全集,φ为空集 集合的直积: XxY={(x,y)x∈X,y∈Y}分配律：( A∪B )∩C = ( A∩C )∪( B∩C )； ( A∩B )∪C = ( A∪C )∩( B∪C )； 0-1律：A∪U = U ， A∩U = A ； A∪ = A ， A∩ =  ； 还原律： (Ac ) c = A ； 对偶律： (A∪B) c = Ac∩Bc ，(A∩B) c = Ac∪Bc； 排中律： A∪Ac = U， A∩Ac = ； U 为全集， 为空集. 集合的直积： X  Y = { (x , y )| xX , y Y }