Том 12, серия 1, номер 1, 2005 г., Стр. 101-118
УДК 519.716
С. С. Марченков
Конечная порождаемость замкнутых классов булевых функций
Аннотация:
Предложено новое доказательство конечной порождаемости всех замкнутых классов булевых функций. Отличительный момент доказательства состоит в построении стандартных мажоритарных функций в замкнутых классах из бесконечных цепочек и использовании свойства мажоритарности в определении всех замкнутых классов этого вида.
Марченков С. С. 1
1. Московский государственный университет им. М. В. Ломоносова,
Воробьевы горы, 2-й учебный корпус, 119992 Москва, Россия
е-mail: mathcyb@cs.msu.su
Статья поступила 7 июня 2004 г.
