Никищенков С.А., Смышляев В.А., Припутников А.П. Булева алгебра и логические элементы

Булева алгебра.
таблица истинности.
Булевы функции одной переменной.
Булевы функции одной переменной.
Законы и теоремы булевой алгебры.
Логические элементы.
основные логические операции и логические элементы.
Распространённые логические операции и логические элементы.
Функционально-полный набор логических элементов.
Карты Карно.
Минимизация логических функций.
Синтез и анализ логических функций и схем.
дизъюнктивная и конъюнктивная нормальные формы.
Переход от логической функции к логической схеме.
Синтез логических устройств в заданном базисе.
Переход от логической схемы к логической функции.
Комбинационные схемы.
основные сведения.
Корректность логических функций и комбинационных схем.
Библиографический список.