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

Валерий Владимирович Меньших, Виталий Алексеевич Никитенко

Аннотация


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

Ключевые слова


дизъюнктивный одночлен; конъюнктивный одночлен; базис Шеффера; базис Пирса; булева переменная; булева функция

Полный текст:

PDF


DOI: http://dx.doi.org/10.14529/mmph220403

Ссылки

  • На текущий момент ссылки отсутствуют.