S-класифікація функцій тризначної логіки 5214

S-класифікація, що базується на операції суперпозиції і переходу до двоїстим функцій для підстановки з повною симетричною групи, є єдиною ефективною класифікацією безлічі функцій багатозначною логіки. Книга присвячена систематичному викладу 5-класифікації безлічі функцій тризначної логіки. Дається опис всіх 48 5-замкнутих класів тризначної логіки. У кожному з класів будується кінцевий базис по суперпозиції. Наводиться предикатний визначення всіх 5-замкнутих класів з допомогою кінцевого числа предикатів деякого стандартного виду.

Для наукових працівників і викладачів вищої школи, що спеціалізуються в області дискретної математики.