В пособии приводятся основы математической логики, которая входит в курс дискретной математики. Дано большое количество решенных примеров и  типовых задач для самостоятельной работы.

В учебном пособии изложены методы минимизации функций алгебры логики: Квайна, Мак-Класски, метод карт Вейча.