Сколько существует различных наборов значений логических переменных x1, x2, ... x6, y1, y2, ... y6, которые удовлетворяют всем перечисленным ниже условиям?

(x1 ∨ x2) ∧ (x1 ∧ x2 → x3) ∧ (x1 ∨ y1) = 1
(x2 ∨ x3) ∧ (x2 ∧ x3 → x4) ∧ (x2 ∨ y2) = 1
...
(x4 ∨ x5) ∧ (x4 ∧ x5 → x6) ∧ (x4 ∨ y4) = 1
(x5 ∨ x6) ∧ (x5 ∨ y5) = 1
x6 ∨ y6 = 1

Предлагается ответ 176.

У меня получается 64, так как все значения x (x1, x2, ... x6) должны быть равны 1.