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

Мы хотим найти количество таких подмножеств функций из {f₁, f₂, f₃, f₄}, которые являются базисами (то есть функционально полными). Напомним, что по критерию Поста подмножество булевых функций является базисом (функционально полным), если при рассмотрении следующих «свойств» (называемых замкнутыми классами) выполняется, что:   – для класса T₀ (0-сохраняющих функций) в подмножестве есть хотя бы одна функция, которая 0 не сохраняет («–» в столбце T₀);   – для класса T₁ (1-сохраняющих) есть хотя бы одна функция, которая 1 не сохраняет («–» в столбце T₁);   – для класса S (самодвойственных) – ест...