а) (AUB)∩(AU¬B) = ((AUB)∩A)U((AUB)∩¬B) = ( (A∩A)U(B∩A) ) U ( (A∩¬B)U(B∩¬B) = ( AU(A∩B) ) U ( (A∩¬B)U∅) = A U ( A∩¬B) = A
а) (AUB)∩(AU¬B) = ((AUB)∩A)U((AUB)∩¬B) = ( (A∩A)U(B∩A) ) U ( (A∩¬B)U(B∩¬B) = ( AU(A∩B) ) U ( (A∩¬B)U∅) = A U ( A∩¬B) = A