Минимизация представлений логических функций в базисах Шеффера и Пирса

Аннотация

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