Известия высших учебных заведений. Математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Изв. вузов. Матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия высших учебных заведений. Математика, 2011, номер 11, страницы 72–77 (Mi ivm8396)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Краткие сообщения

Повторность булевых функций в элементарном базисе

А. А. Вороненко, В. С. Федорова, Д. В. Чистиков

Кафедра математической кибернетики, Московский государственный университет, г. Москва
PDF полного текста (227 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Доказывается новый критерий бесповторности булевой функции в базисе из конъюнкции, дизъюнкции и отрицания. Устанавливается, что всякая булева функция либо является бесповторной, либо обладает множеством из четырех или шести наборов аргументов, значения на которых доказывают ее повторность. С использованием этого критерия выводится альтернативное доказательство известного критерия Стеценко.
Ключевые слова: бесповторная булева функция, критерий.
Представлено членом редколлегии: Н. К. Замов
Поступила: 25.05.2011
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2011, Volume 55, Issue 11, Pages 61–65
DOI: https://doi.org/10.3103/S1066369X11110089
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.716
Образец цитирования: А. А. Вороненко, В. С. Федорова, Д. В. Чистиков, “Повторность булевых функций в элементарном базисе”, Изв. вузов. Матем., 2011, № 11, 72–77; Russian Math. (Iz. VUZ), 55:11 (2011), 61–65
Цитирование в формате AMSBIB
\RBibitem{VorFedChi11}
\by А.~А.~Вороненко, В.~С.~Федорова, Д.~В.~Чистиков
\paper Повторность булевых функций в~элементарном базисе
\jour Изв. вузов. Матем.
\yr 2011
\issue 11
\pages 72--77
\mathnet{http://mi.mathnet.ru/ivm8396}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2963181}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2011
\vol 55
\issue 11
\pages 61--65
\crossref{https://doi.org/10.3103/S1066369X11110089}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84856237767}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivm8396
  • https://www.mathnet.ru/rus/ivm/y2011/i11/p72
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Статистика просмотров:
    Страница аннотации:339
    PDF полного текста:136
    Список литературы:44
    Первая страница:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024