|
Известия высших учебных заведений. Математика, 2011, номер 11, страницы 72–77
(Mi ivm8396)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Краткие сообщения
Повторность булевых функций в элементарном базисе
А. А. Вороненко, В. С. Федорова, Д. В. Чистиков Кафедра математической кибернетики, Московский государственный университет, г. Москва
Аннотация:
Доказывается новый критерий бесповторности булевой функции в базисе из конъюнкции, дизъюнкции и отрицания. Устанавливается, что всякая булева функция либо является бесповторной, либо обладает множеством из четырех или шести наборов аргументов, значения на которых доказывают ее повторность. С использованием этого критерия выводится альтернативное доказательство известного критерия Стеценко.
Ключевые слова:
бесповторная булева функция, критерий.
Образец цитирования:
А. А. Вороненко, В. С. Федорова, Д. В. Чистиков, “Повторность булевых функций в элементарном базисе”, Изв. вузов. Матем., 2011, № 11, 72–77; Russian Math. (Iz. VUZ), 55:11 (2011), 61–65
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm8396 https://www.mathnet.ru/rus/ivm/y2011/i11/p72
|
Статистика просмотров: |
Страница аннотации: | 353 | PDF полного текста: | 140 | Список литературы: | 53 | Первая страница: | 9 |
|