Działania na zbiorach Rycho: Jak udowodnić taka równość? Która stronę lepiej/latwiej przekształcić? (A\B) ∩ (C\D) = (A∩C) \ (B∪D)

Iryt: Prawa de Morgana dla różnicy zbiorów a) A \ (B ∪ C) = (A \ B) ∩ (A \ C) b) A \ (B ∩ C) = (A \ B) ∪ (A \ C) −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− Lewa strona: x∊[(A\B) ∩ (C\D)]⇔ x∊[A∧x∉B]⋀[x∊C∧x∉D]⇔[x∊A⋀x∊C]⋀¬[x∊B⋀x∊D]⇔ x∊(A∩C) ⋀x∉(B∪D)⇔ x∊(A∩C) \(B∪D) Prawa strona : x∊(A∩C) \ (B∪D)⇔x∊(A∩C)⋀¬x∊(B∪D)