КЛАСС ПРЕДПОЛНЫЙ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ
— класс замкнутый функций алгебры логики, который не совпадает с классом всех функций и не содержится целиком ни в каком замкнутом классе, отличном от класса всех функций. В алгебре логики существует только пять предполных классов — классы функций, сохраняющих константу 0 и 1, класс самодвойственных функций алгебры логики, класс монотонных функций алгебры логики и класс линейных функций алгебры логики. Для
-значных логик все К. п. ф. а. л. исчерпываются шестью семействами, но число этих классов
растет очень быстро
где 
при нечетном 
при четном к. Напр., известно, что 
но 
В терминах К. п. 
выражаются критерии полноты. Набор ф-ций является полным, если он не принадлежит целиком никакому К. п. 
Но при 
эти критерии становятся уже малообозримыми.
Лит.: Захарова В. Ю., Кудрявцев В. Б., Яблонский С. В. О предполных классах в 
-значных логиках. «Доклады АН СССР», 1969, т. 186, № 3. М. И. Кратко.
