Алгоритмізація та програмне забезпечення віртуального симулятора з теми "Графічні методи мінімізації булевих функцій" навчального курсу "Дискретна математика"

Abstract

Об'єктом розробки є програмне забезпечення — віртуальний симулятор для вивчення графічних методів мінімізації булевих функцій. Предметом розробки є реалізація інтерактивного інтерфейсу, алгоритмів побудови карт Карно та методів мінімізації логічних виразів у контексті навчального курсу «Дискретна математика». Метою роботи є створення повноцінного вебзастосунку, що дозволяє студентам візуально вивчати та практикувати мінімізацію булевих функцій з використанням діаграм Карно, методу Квайна–Мак-Класкі та методу Блейка–Порецького. У процесі розробки реалізовано такі можливості: • створення таблиці істинності з будь-якою кількістю змінних (2–4); • автоматичне побудова карти Карно з розміщенням значень за кодом Грея; • візуалізація процесу мінімізації з поясненням кожного кроку; • інтерактивна система навчальних завдань з автоперевіркою; • підтримка трьох методів мінімізації: Карно, Квайна–Мак-Класкі, Блейка–Порецького; • покроковий туторіал для нових користувачів; • можливість експорту та копіювання результатів; • адаптивний інтерфейс з сучасним дизайном (TailwindCSS + Framer Motion).