Тождества булевой алгебры

Национальный исследовательский Томский политехнический университет. 2016. 13 с.
Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Ассоциативный закон
Коммутативный закон
Дистрибутивный закон
Свойства дизъюнкции и конъюнкции
Операция поглощения
Обобщенное склеивание
Получение эквивалентных формул