Сложность распознавания классов Шеффера

В работе устанавливается NP-полнота задачи распознавания принадлежности булевой функции, заданной в КНФ, каждому нетривиальному классу Шеффера. Для функций, заданных таблицей, соответствующие задачи имеют полиномиальную сложность.
Библиогр. 2.