Изоморфизм понятий

объединение
дизъюнкция
пересечение
конъюнкция
дополнение
отрицание
универсум U
константа 1
пустое
множество
константа 0

Равносильности алгебры логики:
1. Идемпотентность:
2. Коммутативность:
3. Ассоциативность:
x ∨ (y ∨ z) = (x ∨ y) ∨ z
x ⋅ (y ⋅ z) = (x ⋅ y) ⋅ z

4. Дистрибутивность:
5. Поглощение:
(x ⋅ y) ∨ x = x
(x ∨ y) ⋅ x = x
6. Свойства нуля:
x ∨ 0 = x x ⋅ 0 = 0