RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2019, том 58, номер 2, страницы 271–284 (Mi al894)

О бесповторных функциях алгебры логики в предэлементарных базисах

И. К. Шаранхаев


Аннотация: Исследуются функции алгебры логики, которые могут быть реализованы бесповторными формулами над конечными базисами. Даются необходимые и достаточные условия бесповторности функций алгебры логики в предэлементарных базисах $\{-,\cdot,\vee,0,1,x_1\cdot\ldots\cdot x_n\vee \bar{x}_1\cdot\ldots\cdot \bar{x}_n\}$ и $\{-,\cdot,\vee,0,1,x_1(x_2\vee x_3\cdot\ldots\cdot x_n)\vee x_2\bar{x}_3 \cdot\ldots\cdot\bar{x}_n\}$, где $n\geq 4$. Это завершает описание классов бесповторных функций алгебры логики во всех предэлементарных базисах.

Ключевые слова: функция алгебры логики, бесповторная функция, предэлементарный базис, формула.

УДК: 519.71

Поступило: 26.11.2017
Окончательный вариант: 09.07.2019

DOI: 10.33048/alglog.2019.58.208


 Англоязычная версия: Algebra and Logic, 2019, 58:2, 186–195

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


© МИАН, 2024