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