Балабко Л.В. (сост.) Дискретная математика. Алгебра логики (Алгебра высказываний)

Метод, указания к выполнению самостоятельные и контрольные работы. — Архангельск: ФГАОУ ВПО «Северный (Арктический) федеральный университет имени М.В. Ломоносова», 2011. — 42 с.Представлен основной теоретический материал по теме «Ал­гебра логики». Приведены подробные решения типовых задач и за­дачи для самостоятельного решения.
Предназначены для студентов очной формы обучения всех спе­циальностей, изучающих курс математики.Введение.
Логика высказываний.
Высказывания. Операции над высказываниями.
Формулы логики высказываний.
Равносильные формулы логики высказываний.
Совершенные нормальные формы.
Логическое следование формул. Решение логических задач.
Булевы функции (функции алгебры логики).
Основные булевы функции, их свойства.
Алгебра Жегалкина.
Классы булевых функций.
Применение булевых функций к релейно-контактным схемам.
Задачи для самостоятельного решения.
Список литературы.