Законы де Моргана.
Инволютивность.
Свойства единицы.
Свойства нуля.
Законы поглощения.
Дистрибутивность.
Ассоциативность.
Коммутативность.
Идемпотентность.
Доказательство этих равенств большей частью совершенно элементарно.
Пример. Утверждение. .