RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., сер. 1, 2005, том 12, выпуск 1, страницы 101–118 (Mi da62)

Эта публикация цитируется в 3 статьях

Конечная порождаемость замкнутых классов булевых функций

С. С. Марченков

Московский государственный университет им. М. В. Ломоносова

Аннотация: Предложено новое доказательство конечной порождаемости всех замкнутых классов булевых функций. Отличительный момент доказательства состоит в построении стандартных мажоритарных функций в замкнутых классах из бесконечных цепочек и использовании свойства мажоритарности в определении всех замкнутых классов этого вида.

УДК: 519.716

Статья поступила: 07.06.2004



Реферативные базы данных:


© МИАН, 2024