Сколько различных решений имеет система логических уравнений
(x1 → y1) ∧ ((x2 ∨ y2) → (x1 ≡ y1)) = 1
(x2 → y2) ∧ ((x3 ∨ y3) → (x2 ≡ y2)) = 1
…
(x6 → y6) ∧ ((x7 ∨ y7) → (x6 ≡ y6)) = 1
x7 ≡ y7 = 1
где x1,x2,…,x7, у1,у2,…,у7 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполняются данные равенства. В качестве ответа нужно указать количество таких наборов.
