Теоретическая кибернетика

Рассматриваются представления предикатов на конечных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Получены свойства ОКНФ предикатов, инвариантных относительно некоторых функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости.