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