Сколько различных решений имеет система уравнений?
((x1=y1)->(x2=y2)) ∧ (x1->x2) ∧ (y1->y2) =1
((x2=y2)->(x3=y3)) ∧ (x2->x3) ∧ (y2->y3) =1
…
((x6=y6)->(x7=y7)) ∧ (x6->x7) ∧ (y6->y7) =1