Чтобы доказать равенство \( (A' \cap B)' = A \cup B' \) для любых множеств \( A \) и \( B \), воспользуемся свойствами операций над множествами и законами де Моргана.
Рассмотрим левую часть равенства: \( (A' \cap B)' \). По закону де Моргана, конъюнкция множеств предписывает следующее: дополнение пересечения равно объединению дополнений. Таким образом, мы можем записать: \[ (A' \cap B)' = A'' \cup B' \] Поскольку дополнение дополняет множество, получаем: \[ A'' = A \] Следовательно: \[ (A' \cap B)' = A \cup B' \]
Рассмотрим правую часть равенства: \( A \cup B' \). Это уже представлено в удобной форме, и мы видим, что это выражение совпадает с тем, что мы получили в результате применения закона де Моргана к левой части.
Таким образом, мы можем заключить, что: \[ (A' \cap B)' = A \cup B' \] Равенство верно для любых множеств \( A \) и \( B \). Мы успешно доказали искомое равенство.