"основные тождества алгебра множеств и их доказательства "

Основные тождества алгебры множеств:

1. Тождество идемпотентности: A ∪ A = A и A ∩ A = A.
2. Тождество коммутативности: A ∪ B = B ∪ A и A ∩ B = B ∩ A.
3. Тождество ассоциативности: (A ∪ B) ∪ C = A ∪ (B ∪ C) и (A ∩ B) ∩ C = A ∩ (B ∩ C).
4. Тождество дистрибутивности: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) и A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
5. Тождество дополнения: A ∪ A̅ = U (универсальное множество) и A ∩ A̅ = ∅ (пустое множество).
6. Тождество симметрии: (A ∪ B)̅ = A̅ ∩ B̅ и (A ∩ B)̅ = A̅ ∪ B̅.

Доказательства этих тождеств основаны на принципе двухсторонних включений и использовании определений объединения (∪), пересечения (∩) и дополнения (̅) множеств.