(A∩B)∪(C∩D) = ((A∩B)∪C) ∩ ((A∩B)∪D) = ((A∪C)∩(B∪C)) ∩ ((A∪D)∩(B∪D)) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D) => ((A∩B)∪(C∩D)) ∩ (A∪C) ∩ (B∪D) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D) ∩ (A∪C) ∩ (B∪D) => ((A∩B)∪(C∩D)) ∩ (A∪C) ∩ (B∪D) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D)