|
Математика
Минимизация представлений логических функций в базисах Шеффера и Пирса
В. В. Меньших, В. А. Никитенко Воронежский институт МВД России, г. Воронеж, Российская Федерация
Аннотация:
Рассмотрено представление произвольных логических функций в базисах Шеффера и Пирса. Для этого первоначально найдены рекуррентные зависимости представления дизъюнктивных и конъюнктивных одночленов в указанных базисах и сделаны обобщения на произвольные логические формулы, представленные в виде дизъюнктивных и конъюнктивных нормальных форм. Получены оценки на количество операций в логических формулах при переходе к базисам Шеффера и Пирса.
Ключевые слова:
дизъюнктивный одночлен, конъюнктивный одночлен, базис Шеффера, базис Пирса, булева переменная, булева функция.
Поступила в редакцию: 18.07.2022
Образец цитирования:
В. В. Меньших, В. А. Никитенко, “Минимизация представлений логических функций в базисах Шеффера и Пирса”, Вестн. Южно-Ур. ун-та. Сер. Матем. Мех. Физ., 14:4 (2022), 20–27
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vyurm533 https://www.mathnet.ru/rus/vyurm/v14/i4/p20
|
Статистика просмотров: |
Страница аннотации: | 76 | PDF полного текста: | 17 | Список литературы: | 24 |
|