Сколько различных решений имеет система уравнений?
\(x1 → x2\) ˄ \(x2 → x3\) ˄ \(x3 → x4\) ˄ \(x4 → x5\)=1
\(у1 → у2\) ˄ \(у2 → у3\) ˄ \(у3 → у4\) ˄ \(у4 → у5\)=1
x5 ˄ у5 = 0
где x1, x2, … ,x5, у1, у2, … ,у5 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.