Problem209 堂々巡り

問題

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



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

ソース

実行結果

解説