Сколько различных решений имеет система логических уравнений
(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 = 1
где x
1, …, x
6, y
1, …, y
6, – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов