|
О бесповторных функциях алгебры логики в предэлементарных базисах
И. К. Шаранхаев
Аннотация:
Исследуются функции алгебры логики, которые могут быть реализованы
бесповторными формулами над конечными базисами. Даются необходимые и
достаточные условия бесповторности функций алгебры логики в
предэлементарных базисах
$\{-,\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$. Это завершает описание классов бесповторных функций алгебры
логики во всех предэлементарных базисах.
Ключевые слова:
функция алгебры логики, бесповторная функция,
предэлементарный базис, формула.
Поступило: 26.11.2017 Окончательный вариант: 09.07.2019
Образец цитирования:
И. К. Шаранхаев, “О бесповторных функциях алгебры логики в предэлементарных базисах”, Алгебра и логика, 58:2 (2019), 271–284; Algebra and Logic, 58:2 (2019), 186–195
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al894 https://www.mathnet.ru/rus/al/v58/i2/p271
|
Статистика просмотров: |
Страница аннотации: | 217 | PDF полного текста: | 31 | Список литературы: | 31 | Первая страница: | 8 |
|