Предполные классы

Определение

Класс булевых функций K называется предполным, если он не является полным, но при объединении его с любой булевой функцией f, не принадлежащей этому классу, система будет полна.

Предполными классами являются только 5 замкнутых классов, рассмотренных ранее: T0, T1, S, M, L.