با استفاده از قوانین و خواص (جبر مجموعه ها) درستی تساوی های زیر را بررسی کنید:
\((A - B)' = (A' \cup B)\) الف
\((A - B)' = (A \cap B')' = (A' \cup B)\)
\((A - B) - C = (A - C) - B\) ب
\((A - B) - C = (A \cap B') \cap C' = (A \cap C') \cap B' = (A - C) - B\)
\(A - (B \cap C) = (A - B) \cup (A - C)\) پ
\(\begin{array}{l}A - (B \cap C) = A \cap (B \cap C)' = A \cap (B' \cup C') = \\\\(A \cap B') \cup (A \cap C') = (A - B) \cup (A - C)\end{array}\)