Лекция 1.1. Введение в логику. Понятие высказывания. Основные логические операции

Лекция 1.2. Понятие  формулы  логики.  Таблица истинности  и  методика ее  построения

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

Лекция 1.4. Нормальные формы формул логики 

Лекция 1.5. Булевы функции. Различные формы задания булевых функций 

Лекция 1.6. Приложение функций алгебры логики к моделированию логических схем 

Лекция 1.7. Полнота системы функций алгебры логики. Критерий Поста

Лекция 1.8. Алгебра Жегалкина