TY CONF TI СОВЕРШЕННЫ ЛИ НОРМАЛЬНЫЕ ФОРМЫ СДНФ И СКНФ? АЛГЕБРАИЧЕСКИЙ «ПАСПОРТ» ЛОГИЧЕСКОЙ ФУНКЦИИ KW СДНФ KW СКНФ KW ДНФ KW КНФ KW совершенная форма KW таблица истинности JO МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026 AU Боярчук, А.А. AU Авилова, О.А. AU Зольников, К.В. PY 2026 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова