Dowód na tożsamość zbiorów

[Belissar]

\(A \cup [(B \cup C) \bez (B \cap C)]=[(A \cup B) \cup (A \cup C)] \bez [(A \cup B) \cap (A \cup C)]\)

Mamy określić czy tożsamość jest prawdziwa, jeśli tak, to podać dowód, jeśli nie, to podać kontrprzykład. Nie mam za bardzo trudności żeby to sobie rozrysować i określić czy jest prawdziwa czy nie, ale nie mam pojęcia jak powinien tu wyglądać ten dowód lub kontrprzykład.

[Panko]

Podstaw : \(A=B=C\) gdzie \(A \neq \emptyset\) jako kontrprzykład.