Задание

Сколько различных решений имеет система логических уравнений

(x1 ˄ y1) → (¬x2 ˅ ¬y2) = 1

(x2 ˄ y2) → (¬x3 ˅ ¬y3) = 1

(x3 ˄ y3) → (¬x4 ˅ ¬y4) = 1

(x4 ˄ y4) → (¬x5 ˅ ¬y5) = 1

x2 ˄ y4 = 0

где x1, …, x5, y1, …, y5 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.