Аннотация:
В статье получена классификация $M$-классов замкнутых классов $k$-значной
логики, минимальных по включению относительно свойства “все надклассы имеют
только тривиальные конгруэнции”, и предложен алгоритм построения $M$-классов.
На основе описания $M$-классов получено достаточное условие тривиальности конгруэнции
замкнутых классов $k$-значной логики.
Библиография: 11 названий.