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

Дискретн. анализ и исслед. опер., 2008, том 15, выпуск 6, страницы 48–57 (Mi da556)

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

О решениях систем функциональных булевых уравнений

С. С. Марченков, В. С. Фёдорова

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

Аннотация: Исследуются решения функциональных булевых уравнений. Для каждого из классов $P_2,T_0,T_1,S,T_{01},S_{01}$ решается вопрос о построении систем функциональных булевых уравнений с фиксированным множеством функциональных констант и одной функциональной переменной, имеющих в качестве единственного решения заданную функцию рассматриваемого класса. Для любого непустого множества $F$ $n$-местных булевых функций определяется система уравнений с функциональными константами $\vee,\&$, множеством решений которой служит $F$. Устанавливается, что при замкнутости множества $F$ относительно перехода к двойственным функциям соответствующую систему уравнений можно определить без функциональных констант. Библиогр. 12.

Ключевые слова: функциональное булево уравнение, замкнутый класс булевых функций.

УДК: 519.716

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


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2009, 3:4, 476–481

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


© МИАН, 2024