Proceedings of the International scientific and practical conference ―Development of Science and Education‖ (January 16-18, 2026) / Publisher website: www.naukainfo.com. – Vienna, Austria, 2026. – 207 p.

141 Другий випадок: коли ідентифіковано ціль, отримано команду, своїх військ немає, але ресурси відсутні. Третій випадок: коли виконуються всі чотири умови одночасно – ідентифікована ціль, отримано команду, відсутні свої війська та наявні ресурси. На основі цих трьох наборів, що задовольняють умову, будується досконала диз’юнктивна нормальна форма. Вона є строгою логічною формулою, яка явно перераховує усі допустимі сценарії у вигляді диз’юнкції трьох повних кон'юнкцій: ) ) ) . Практична цінність отриманої формалізації полягає насамперед у повному усуненні будь-якої семантичної двозначності, властивої початковому словесному опису. Правило перетворюється на чіткий, математично точний перелік сценаріїв. Це дозволяє алгоритмізувати процес прийняття рішення: оператору достатньо порівняти поточну оперативну обстановку, представлену набором значень чотирьох змінних, з трьома дозволеними комбінаціями. Такий підхід не лише підвищує швидкість і точність реагування, але й слугує чудовим навчальним інструментом. Він демонструє курсантам процес декомпозиції складного, багатоаспектного оперативного протоколу на сукупність елементарних, бінарних умов, що є фундаментальним навиком для системного аналізу та розробки безпомилкових процедур у будь-якій військовій сфері, від ведення вогню до логістики та технічного обслуговування. Розглянемо задачу діагностики відмови елемента системи зв’язку, формалізовану за допомогою логічних змінних. Кожна змінна відображає стан ключового компонента системи: наявність живлення (Ж), справність антени (А), функціонування модулятора (М) та відсутність помилок за даними вбудованої діагностики (Д). Значення "істина" для кожної змінної означає відповідну справну умову. Функція S, що описує загальну працездатність системи, є істинною лише за певних комбінацій цих умов, які визначаються технічною логікою взаємодії компонентів.