((A∩B)∪(C∩D)) ∩ (A∪C) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D) ∩ (A∪C)
或，
((A∩B)∪(C∩D)) ∩ (B∪D) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D) ∩ (B∪D)

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