Рассмотрено представление произвольных логических функций в базисах Шеффера и Пирса. Для этого первоначально найдены рекуррентные зависимости представления дизъюнктивных и конъюнктивных одночленов в указанных базисах и сделаны обобщения на произвольные логические формулы, представленные в виде дизъюнктивных и конъюнктивных нормальных форм. Получены оценки на количество операций в логических формулах при переходе к базисам Шеффера и Пирса.
Биографии авторов
Валерий Владимирович Меньших, Воронежский институт МВД России, г. Воронеж
доктор физико-математических наук, профессор, профессор кафедры математики и моделирования систем
Виталий Алексеевич Никитенко, Воронежский институт МВД России, г. Воронеж
