КЛАСС ИНВАРИАНТНЫЙ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ
— множество Q функций алгебры логики такое, что: 1) если функция
, то к классу Q принадлежат и все функции, получающиеся из
путем переименования (без отождествления) переменных;
2) если функция 
, то к классу Q принадлежат и все функции, получающиеси из 
путем любой подстановки констант на место (не обязательно всех) переменных; 3) если функция 
, то к классу Q принадлежат и все функции, получающиеся из 
путем удаления или введения фиктивных переменных (переменная 
наз. фиктивной, если
Мн-во всех К. и. ф. а. л. имеет мощность континуума. Изучение К. и. ф. а. л. позволяет глубже понять алгоритм, трудности синтеза миним. схем, реализующих функции алгебры ЛОГИКИ. М. И. Кратко.
