Элементарные функции
Понятия фиктивной и существенной переменных, эквивалентных функций, фор-мулы, операций суперпозиции и замыкания, замкнутого класса, базиса и другие в k –значной логике определяются так же, как соответствующие понятия в двузначной логи-
ке. Поэтому в дальнейшем приводятся определения только таких понятий, которые чем
то существенным отличаются от аналогичных понятий в Р
.
Следующие функции k – значной логики называются элементарными.
1). Константы: 0, 1, …, k-1.
Эти функции рассматриваются как функции, зависящие от произвольного конечного числа переменных (включая и нуль переменных).
2). Отрицание Поста:
= x +
1 (mod k).
Здесь
представляет обобщение отрицания в смысле “ циклического “ сдвига
значений.
3). Отрицание Лукашевича: ~x = (k-1) – x.
Оно представляет другое обобщение отрицания в смысле “зеркального“
отображения значений. Другое обозначение: Nx.
4). Характеристическая функция первого рода значения i:
j
(x) =
i = 0, 1, …, k-1.
5). Характеристическая функция второго рода значения i:
J
(x) =
i
= 0,1, …, k-1.