---
id: 5900f43e1000cf542c50ff4f
challengeType: 5
title: 'Problem 209: Circular Logic'
videoUrl: ''
localeTitle: 'Problema 209: Lógica Circular'
---

## Description
<section id="description"> Uma tabela de verdade binária k-input é um mapa de k bits de entrada (dígitos binários, 0 [falso] ou 1 [verdadeiro]) para 1 bit de saída. Por exemplo, as tabelas verdadeiras binárias de 2 entradas para as funções lógicas AND e XOR são: <p> x y x y000010100111x y x XOR y000011101110Quantas tabelas verdadeiras binárias de 6 entradas, τ, satisfazem a fórmula </p><p> τ (a, b, c, d, e, f) AND τ (b, c, d, e, f, a XOR (b AND c)) = 0 para todas as entradas de 6 bits (a, b, c, d, e, f)? </p></section>

## Instructions
<section id="instructions">
</section>

## Tests
<section id='tests'>

```yml
tests:
  - text: <code>euler209()</code> deve retornar 15964587728784.
    testString: 'assert.strictEqual(euler209(), 15964587728784, "<code>euler209()</code> should return 15964587728784.");'

```

</section>

## Challenge Seed
<section id='challengeSeed'>

<div id='js-seed'>

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

euler209();

```

</div>



</section>

## Solution
<section id='solution'>

```js
// solution required
```
</section>
