Ахметова Н.А., Усманова З.М. Дискретная математика. Функции алгебры логики

Учебное пособие. — Уфа: Уфимский государственный авиационный технический университет, 2000. — 126 с.Элементы комбинаторики.
Перестановки. Размещения. Сочетания.
Задачи по комбинаторике.
Функции алгебры логики.
Элементарные функции алгебры логики.
Формульное задание функций алгебры логики.
Принцип двойственности.
Разложение булевой функции по переменным.
Полнота, примеры полных систем.
Замыкание и замкнутые классы.
Функции k–значной логики.
Задачи и упражнения по функциям алгебры логики.
Минимизация булевых функций.
Минимизация нормальных форм.
Минимизация частично определенных функций.
Задачи по минимизации и доопределению булевых функций.
Логика высказываний.
Введение в логику высказываний.
Задачи по алгебре высказываний.