Сколько подмножеств множества булевых функций ≤ft{f{1}, f{2}, f{3}, f{4} ight} являются базисами, если при заполнении таблицы Поста получен следующий результат: egin{array}{r}T0T1SML f1+---+ f2++-+- f3-+--+ f4+--++end{array}

Мы рассматриваем множество функций F = {f₁, f₂, f₃, f₄} с таблицей Поста, где по каждой функции указано, сохраняет ли она ту или иную «свойственную» группу (классы Поста):   Классы: T₀, T₁, S, M, L. При этом знак «+» означает, что функция принадлежит соответствующему классу («сохраняет» данное свойство), а знак «–» – не принадлежит (то есть нарушает данное свойство). По теореме Поста множество булевых функций является функционально полным (то есть является базисом), если оно не содержится ни в одном из следующих классов: T₀, T₁, S, M, L. Другими словами, для каждого из этих классов должно су...