Спеціальні способи задання булевих функцій у алгебрі Буля

Abstract

Предметом дослідження є теоретичні основи булевих функцій, зокрема спеціальні (нормальні) форми їх зображення, та методичні аспекти їх вивчення у закладах загальної середньої освіти (ЗЗСО).Метою роботи є системний аналіз теорії спеціальних форм зображення булевих функцій (ДНФ, КНФ, ДДНФ, ДКНФ) та розробка на його основі ефективної методики їх вивчення в умовах шкільного факультативного курсу. Для досягнення мети вирішено низку завдань: проведено аналітичний огляд історичних та теоретичних джерел; сформульовано основні поняття теорії булевих функцій та алгебри Буля; детально досліджено алгоритми побудови нормальних і досконалих нормальних форм двома методами (за таблицею істинності та шляхом еквівалентних перетворень); обґрунтовано доцільність включення елементів булевої алгебри до навчального процесу ЗЗСО; розроблено авторську програму та повний методичний комплекс для факультативного курсу «Булева алгебра: основи логіки та олімпіадні задачі» для 9 класу; експериментально перевірено ефективність запропонованої методики. Наукова новизна дослідження полягає в комплексному підході, що поєднує фундаментальний аналіз канонічних способів представлення булевих функцій із розробкою конкретних навчально-методичних матеріалів, адаптованих для учнів старшої школи. Окремою новизною є інтеграція теоретичного матеріалу з практикою розв'язування олімпіадних логічних задач, що сприяє формуванню прикладних умінь. Теоретичне значення роботи полягає в систематизації знань про нормальні форми булевих функцій, узагальненні алгоритмів їх побудови та формалізації їх властивостей. Практична значимість отриманих результатів підтверджується апробованим у шкільній практиці методичним комплексом, який включає календарно-тематичне планування, детальні конспекти занять, набори практичних завдань і контрольно-діагностичні матеріали. Розробки можуть бути використані вчителями математики та інформатики для проведення факультативів, підготовки учнів до олімпіад, а також у вищій школі на початкових етапах вивчення дискретної математики.