Problem 209 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• Problem 209 へ行く。

*[[Problem 209:http://projecteuler.net/problem=209]] 「堂々巡り」 [#u4585752]

k 入力の2進真理値表は k 個の入力ビット(2進数, 0(偽)または1(真))から
1 個の出力ビットへの写像である.
例えば, 論理和(AND)と排他的論理和(XOR)の 2 入力真理値表は以下の通り:

|BGCOLOR(#C1DAF9):x|BGCOLOR(#C1DAF9):y|BGCOLOR(#C1DAF9):x AND y|
|0|0|CENTER:   0   |
|0|1|CENTER:   0   |
|1|0|CENTER:   0   |
|1|1|CENTER:   1   |
~
|BGCOLOR(#C1DAF9):x|BGCOLOR(#C1DAF9):y|BGCOLOR(#C1DAF9):x XOR y|
|0|0|CENTER:   0   |
|0|1|CENTER:   1   |
|1|0|CENTER:   1   |
|1|1|CENTER:   0   |

6ビットの入力(a,b,c,d,e,f)に対し, 以下の式を満たす6入力の2進真理値表 τ
はいくつあるか.

CENTER:τ(a, b, c, d, e, f) AND τ(b, c, d, e, f, a XOR (b AND c)) = 0