TY CONF TI ИНВЕРСИЯ ИЛИ ЛОГИЧЕСКОЕ ОТРИЦАНИЕ KW инверсия KW отрицание KW логика JO ПРОБЛЕМНЫЕ ВОПРОСЫ МОДЕЛИРОВАНИЯ СИСТЕМ И ПРОЦЕССОВ AU Луцко, Д.П. AU Прокопенко, И.А. PY 2025 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова