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