Аннотация:
Классическая теорема Поста [1] описывает пять предполных классов в множестве булевых функций. В работе [2] было показано, что для функций $3$-значной логики существует $18$ предполных классов. В этих работах рассматривалось замыкание множества функций относительно оператора подстановки. В настоящей работе на том же множестве функций $3$-значной логики рассматриваются два оператора замыкания, которые получаются добавлением к оператору подстановки замыкания относительно двух вариантов отождествления значений функций. В работе показано, что для первого оператора существуют $3$, а для второго существует $5$ предполных классов.
Библиография: 5 названий.