Лекция 1. Введение в логику. Объекты и операции алгебры высказываний. Формулы алгебры высказываний

Лекция 2. Равносильность формул алгебры высказываний. Законы алгебры логики

Лекция 3. Конъюнктивная нормальная форма. Дизъюнктивная нормальная форма. Совершенные нормальные формы