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