Том 11, серия 1, номер 3, 2004 г., Стр. 32-47

УДК 517.7
Н. Г. Парватов
Замечания о конечной порождаемости замкнутых классов многозначных функций

Аннотация:
В терминах инвариантных отношений устанавливаются необходимые и достаточные условия конечной порождаемости клона (замкнутого класса функций $k$-значной логики, содержащего все селекторные функции). Изучаются некоторые случаи конечно порождаемых клонов. В частности, рассматриваются клоны, содержащие мажоритарную функцию. Показывается, что наличие мажоритарной функции в клоне равносильно возможности записи инвариантных для этого клона отношений формулами некоторого специального вида. В качестве обобщения клонов, содержащих мажоритарную функцию, вводятся в рассмотрение клоны, в которых функции связаны некоторыми тождественными соотношениями.

Парватов Н. Г. ¹
1. Томский гос. ун-т, Факультет прикл. матем. и киб.,
пр. Ленина, 36, 634050, Томск, Россия
е-mail: parvatov@isc.tsu.ru

Статья поступила 1 марта 2004 г.
Исправленный вариант — 26 апреля 2004 г.