Учебное пособие. -Новомосковск: Издательство РХТУ им. Д.И. Менделеева, 2004, -56с.
Содержание
Элементы алгебры логики
Введение в алгебру логики
Основные функции алгебры логики
Формулы алгебры логики
Контрольные вопросы
Законы алгебры логики и следствия из них
Контрольные вопросы
Логические функции многих переменных
Построение формул алгебры логики по заданной таблице истинности
Контрольные вопросы и упражнения
Некоторые замкнутые классы (классы Поста). Понятие базиса
Контрольные вопросы и упражнения
Методы минимизации логических функций
Контрольные вопросы
Неполностью определенные логические функции
Формы представления булевых функций
Семантические деревья
Бинарные диаграммы решений (БДР)
Построение логических схем
Контрольные вопросы
Логические конечные автоматы
Процессы
Конечные автоматы
Контрольные вопросы
Библиографический список
