Кондратенко Н.Р. Комп’ютерний практикум з математичної логіки

Вінниця : ВНТУ, 2010. – 117 с. В навчальному посібнику викладено базові поняття та методи математичної логіки, які використовуються для проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Наведено приклади розв’язання задач з математичної логіки за допомогою комп’ютерних пакетів. Розроблено індивідуальні та тестові завдання. Навчальний посібник відповідає вимогам державних стандартів України та навчальній програмі дисципліни «Дискретна математика» і призначений для студентів технічних спеціальностей вищих навчальних закладів. Передмова.
Функції алгебри логіки та їх основні властивості.
Основні поняття теорії елементарних функцій алгебри логіки.
Основні закони алгебри логіки та їх використання для подання одних функцій логіки через інші.
Основні властивості функцій алгебри логіки.
Вправи для самостійної роботи. Використання середовища Microsoft Excel.
Контрольні питання.
Форми подання функцій алгебри логіки.
Досконала диз’юнктивна нормальна форма.
Досконала кон’юнктивна нормальна форма.
Способи переходу від нормальної до досконалої форми логічної функції.
Функціонально повні системи булевих функцій.
Вправи для самостійної роботи. Використання середовища Microsoft Excel.
Контрольні питання.
Методи мінімізації логічних функцій.
метод Квайна.
Метод Квайна-Мак-Класкі.
Метод Блейка-Порецького.
Метод Нельсона.
Метод карт Карно-Вейча.
Мінімізація кон’юнктивних нормальних форм.
Мінімізація в базисах І-Не та Або-Не.
Мінімізація не повністю визначених функцій алгебри логіки.
Мінімізація систем булевих функцій.
Вправи для самостійної роботи.
Контрольні питання.
Індивідуальні завдання. Використання середовища mathcad.
Список використаної та рекомендованої літератури.
Глосарій.
Додаток А. Тестові завдання.
Додаток Б. Прикладна задача теорії графів.