Теоремы булевой алгебры

Теоремы булевой алгебры отражают связи, существующие между операциями, выполняемыми над логическими переменными. Сформулируем основные из них

Справедливость всех перечисленных теорем может быть доказана подстановкой.