313) Сколько всего различных наборов значений логических перемененных x₁ ... x₅, y₁ ... y₅, которые удовлетворяют системе уравнений?

(x₁ → x₂) ∧ (¬x₁ → x₃) ∧ (x₁ → x₄) ∧ (¬x₁ → x₅) = 1

(¬y₁ → y₂) ∧ (y₁ → y₃) ∧ (¬y₁ → y₄) ∧ (y₁ → y₅) = 1

(¬x₁ ∨ y₁) ∧ (¬x₁ ∨ y₅) = 1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов