<section id="description">
<p>Бинарная таблица истинности k-входа - это карта из k входных битов (двоичные цифры, 0 [ложь] или 1 [истина]) до 1 выходного бита. Например, 2-входные бинарные таблицы истинности для логических функций AND и XOR: </p><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>
</section>

function euler209() {
  // Good luck!
  return true;
}

euler209();


index

Задача 209: Круговая логика

Problem 209: Circular Logic

<code>euler209()</code> should return 15964587728784.