Z Prawa De Morgana udowodnić

[xThunder]

Hej, mam problem z udowodnieniem że
\(\displaystyle{ X \setminus (A \cup B) = (X \setminus A) \cap (X \setminus B)}\)
Doszedłem do:
\(\displaystyle{ X \setminus (A \cup B)}\)
\(\displaystyle{ X \cap (A \cup B)'}\)
\(\displaystyle{ X \cap (A' \cap B')}\)

I tego już nijak nie potrafię ustawić prawami łączności/rozdzielności tak, żeby pasowało. Jedyne co mi z tego wychodzi to
\(\displaystyle{ (X \setminus A) \cap B'}\)
Byłbym bardzo wdzięczny za naprowadzenie na dobrą drogę.

[Premislav]

Zacząłeś dobrze.
Teraz zauważ, że \(\displaystyle{ X \cap (A' \cap B')=(X \cap A')\cap (X \cap B')=(X\setminus A)\cap (X\setminus B)}\), ale czy rozumiesz, skąd się bierze
\(\displaystyle{ X \cap (A' \cap B')=(X \cap A')\cap (X \cap B')}\)?
Ogólnie mamy dla dowolnych zbiorów \(\displaystyle{ A, B, C}\) coś takiego:
\(\displaystyle{ A \cap (B \cap C)=(A \cap B) \cap (A \cap C)}\).

[xThunder]

Właśnie tego ostatniego wzoru nie znałem Teraz już rozumiem skąd taki wynik. Dziękuję.