Задача . П 145

Сколько различных решений имеет система логических уравнений
(x₁ ≠ ¬y₁) ⇔ (x₂ → y₂)
(x₂ ≠ ¬y₂) ⇔ (x₃ → y₃)
...
(x₄ ≠ ¬y₄) ⇔ (x₅ → y₅)
где x₁, …, x₅, y₁, …, y₅, – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов