Сколько различных решений имеет система логических уравнений?
(¬x3 + ¬y3) * ((x1 + y1) → (x2 + y2)) = 1
(¬x4 + ¬y4) * ((x2 + y2) → (x3 + y3)) = 1
(¬x5 + ¬y5) * ((x3 + y3) → (x4 + y4)) = 1
(¬x6 + ¬y6) * ((x4 + y4) → (x5 + y5)) = 1
(¬x7 + ¬y7) * ((x5 + y5) → (x6 + y6)) = 1
(¬x1 + ¬y1) * ((x6 + y6) → (x7 + y7)) = 1
(¬x2 + ¬y2) = 1