Законы булевой алгебры

Основные законы
Коммутативность
Ассоциативность
Дистрибутивность
Идемпотентность
Инволюция

Коммутативность
(независимость от перестановки мест)

Ассоциативность
(независимость от порядка выполнения однотипных действий)

Дистрибутивность
(распределительный закон)
Относительно логического умножения
Относительно логического сложения

Идемпотентность
(отсутствие степеней и коэффициентов)

Инволюция
(двойное отрицание)

Действия с абсолютно-истинными и абсолютно-ложными высказываниями
Закон исключенного третьего
Закон противоречия

Законы де Моргана
Отрицание одновременной истинности
Отрицание вариантов

Поглощение

Поглощение отрицания