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

Таблица истинности логики с k-входами - это порядок присвоения одного выходного битаk входным битам (двоичным цифрам, 0 [false] или 1 [true]). К примеру, так выглядят двоичные 2-входовые таблицыистинности для операций логического И (AND), а также исключающего ИЛИ (XOR):

xyx AND y
000
010
100
111
xyx XOR y
000
011
101
110

Сколько 6-входовых двоичных таблиц истинности τ удовлетворят следующей формуле

τ(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)?

Оригинал
 
© Проект Эйлера | Translated problems from ProjectEuler.net