$(A \cap B) \cup (B-A)=(A \cap B) \cup (B \cap A' )= B \cap (A \cup A')=B $
از طرف دیگر داریم:
$(A \cap C) \cup (C-A)=(A \cap C) \cup (C \cap A' )= C \cap (A \cup A')=C $
با توجه به برابری های داده شده داریم:
$(A \cap B) \cup (B-A) = (A \cap C) \cup (C-A) $