2021-06-15 00:49:18 -07:00
---
id: 5900f43e1000cf542c50ff4f
2022-03-01 00:52:39 +05:30
title: 'Problema 209: Logica Circolare'
2021-06-15 00:49:18 -07:00
challengeType: 5
forumTopicId: 301850
dashedName: problem-209-circular-logic
---
# --description--
2022-03-01 00:52:39 +05:30
Una tabella della verità binaria $k$-input è una mappa da un input a $k$ bit (cifre binarie, 0 [false] o 1 [true]) a 1 bit di output. Per esempio, le tabelle binarie della verità a $2$ bit di input per le funzioni logiche $AND$ e $XOR$ sono:
2021-06-15 00:49:18 -07:00
2022-03-01 00:52:39 +05:30
| x | y | x AND y |
| - | - | ------- |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
2021-06-15 00:49:18 -07:00
2022-03-01 00:52:39 +05:30
| x | y | x XOR y |
| - | - | ------- |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
2021-06-15 00:49:18 -07:00
2022-03-01 00:52:39 +05:30
Quante tabelle binarie della verità a $6$ bit di input, $τ$, soddisfano la formula
$$τ(a, b, c, d, e, f) \\; AND \\; τ(b, c, d, e, f, a \\; XOR \\; (b \\; AND \\; c)) = 0$$
per tutti gli input a $6$ bit ($a$, $b$, $c$, $d$, $e$, $f$)?
2021-06-15 00:49:18 -07:00
# --hints--
2022-03-01 00:52:39 +05:30
`circularLogic()` dovrebbe restituire `15964587728784` .
2021-06-15 00:49:18 -07:00
```js
2022-03-01 00:52:39 +05:30
assert.strictEqual(circularLogic(), 15964587728784);
2021-06-15 00:49:18 -07:00
```
# --seed--
## --seed-contents--
```js
2022-03-01 00:52:39 +05:30
function circularLogic() {
2021-06-15 00:49:18 -07:00
return true;
}
2022-03-01 00:52:39 +05:30
circularLogic();
2021-06-15 00:49:18 -07:00
```
# --solutions--
```js
// solution required
```