Бинарная таблица истинности k-входа - это карта из k входных битов (двоичные цифры, 0 [ложь] или 1 [истина]) до 1 выходного бита. Например, 2-входные бинарные таблицы истинности для логических функций AND и XOR: <p> x y x И y000010100111x y x XOR y000011101110Как много бинарных таблиц истины с 6 входами, τ, удовлетворяют формуле </p><p> τ (a, b, c, d, e, f) AND τ (b, c, d, e, f, a XOR (b AND c)) = 0 для всех 6-битовых входов (a, b, c, d, e, f)? </p>