471) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₇, y₁, y₂ ... y₇, которые удовлетворяют всем перечисленным ниже условиям?

(y₁ → ( y₂ ∧ x₁)) ∧ ( x₁ → x₂) = 1

(y₂ → ( y₃ ∧ x₂)) ∧ ( x₂ → x₃) = 1

.................

(y₆ → ( y₇ ∧ x₆)) ∧ ( x₆ → x₇) = 1

y₇ → x₇ = 1

В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂ ... x₇, y₁, y₂ ... y₇, при которых выполнена данная система равенств. В качестве ответа нужно указать только количество таких наборов