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

Анотація

У статті обґрунтовано, що оволодіння критеріями вибору раціональних форм подання логічних функцій є базовою компетентністю, що дозволяє майбутнім фахівцям не лише розуміти теоретичні засади функціонування обчислювальних систем, а й оптимізувати прикладні розробки в умовах реальних технічних обмежень. Метою дослідження є обґрунтування методичної  доцільності використання задач із комбінаторним та прикладним змістом у процесі вивчення методів побудови нормальних форм таблично заданих логічних функцій для розвитку критичного мислення здобувачів. Для досягнення мети використано такі методи: аналіз наукової літератури, узагальнення педагогічного досвіду роботи у ЗВО, опитування та анкетування. Апробація запропонованих прийомів здійснювалася в межах педагогічного експерименту на факультеті інформаційних технологій і математики Волинського національного університету імені Лесі Українки.

Основні результати. У роботі обґрунтовано, що відсутність єдиного способу представлення булевої функції у вигляді довільної ДНФ чи КНФ суттєво ускладнює перевірку логічної еквівалентності виразів. Це зумовлює необхідність переходу до канонічних форм (ДДНФ та ДКНФ), які гарантують єдиність подання для кожної конкретної функції. Доведено: попри наявність чітко розроблених алгоритмів побудови, ключовим аспектом навчання майбутніх фахівців має стати розвиток здатності свідомо обирати ту канонічну форму, яку доцільно синтезувати в конкретному випадку. Аналіз структури таблиці істинності на попередньому етапі забезпечує оптимізацію процесу ще до фази розрахунків, сприяючи переходу від механічного відтворення алгоритмів до свідомої аналітичної оцінки обчислювальної доцільності обраного методу. Автором встановлено, що використання задач із комбінаторним та прикладним змістом сприяє трансформації формальних знань у дієвий інструмент аналізу.

Висновки. Використання задач із комбінаторним та прикладним змістом у процесі вивчення методів побудови нормальних форм таблично заданих логічних функцій підвищує мотивацію майбутніх математиків до навчання та  формує у них навички критичного мислення.