Реалізація навчального програмного забезпечення для побудови канонічних форм булевих функцій

Abstract

Мета роботи – проектування та програмна реалізація навчального програмного забезпечення. Предмет розробки – розробка та програмна реалізація програмного забезпечення, створеного на мові програмування Python у середовищі PyCharm, за допомогою якого можна виконувати побудову канонічних форм булевих функцій. Об’єкт розробки – підвищення ефективності вивчення булевої алгебри та математичної логіки за допомогою комп’ютера. Методи дослідження та інформаційне забезпечення – використання матеріалів з теми «Булева алгебра», інтегроване програмне середовище PyCharm, об’єктно-орієнтована мова програмування Python. Елементи програми розроблено на основі віконної програми з використанням бібліотек PyCharm. Програмне забезпечення являє собою калькулятор, що будує задану формулу та містить покрокову демонстрацію розв’язку з можливістю побудови кон’юнктивних й диз’юнктивних нормальних форм та їх досконалі варіанти. Перед початком виконання завдань користувач зможе переглянути інструкцію з використання програми.