Przyjmij, że żadne dwa spośród zbiorów: A, B, C nie są rozłączne i na oddzielnych diagramach przedstaw zbiory:
a) A U (B n C) i (A U B)N(A U C),
b) A n (B U C) i (A n B) U (A n C),
c) A n (B\C) i (A n B)\ (A n C),
d) B\ (A U C) i (A U B) \ (A U C).
Porównaj otrzymane wyniki.