Сколько различных решений имеет система уравнений?
\(x1 → x2\) ∧ \(x2 → x3\) ∧ \(x3 → x4\) ∧ \(x4 → x5\) = 1
\(у5 → у4\) ∧ \(у4 → у3\) ∧ \(у3→ у2\) ∧ \(у2 → у1\) = 1
x3 → у3 = 1