Лекции::

Дополнительно:

Элементарные функции

            Понятия фиктивной и существенной переменных, эквивалентных функций, фор-мулы, операций суперпозиции и замыкания, замкнутого класса, базиса и другие в  k –значной логике определяются так же, как соответствующие понятия в двузначной логи-

ке. Поэтому в дальнейшем приводятся определения только таких понятий, которые чем

то существенным отличаются от аналогичных понятий в РImage.

            Следующие функции k – значной логики называются элементарными.

            1). Константы:       0, 1, …, k-1.

Эти функции рассматриваются как функции, зависящие от произвольного конечного числа переменных (включая и нуль переменных).

            2). Отрицание Поста:     Image = x + 1 (mod k).

 Здесь  Image  представляет обобщение отрицания в смысле “ циклического “ сдвига значений. 

3). Отрицание Лукашевича:     ~x = (k-1) – x. 

Оно представляет другое обобщение отрицания в смысле “зеркального“

отображения значений. Другое обозначение:   Nx.

4). Характеристическая функция первого рода значения  i: 

                                     jImage(x) =  Image         i =  0, 1, …, k-1.

5). Характеристическая функция второго рода значения  i:

                                    JImage(x) =  Image      i = 0,1, …, k-1.

предыдущаяследующая