Сколько различных решений имеет система логических уравнений
\(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 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.