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