Сколько различных решений имеет система уравнений?
\(x1→ x2\) ⋀ x3 V ¬x4 = 1
\(x3 → x4\)⋀ x5 V ¬x6 = 1
\(x5 → x6\) ⋀ x7 V ¬x8 = 1
\(x7 → x8\) ⋀ x9 V ¬x10 = 1
\(x9 → x10\) ⋀ x1 V ¬x2 = 1
где x1,x2,…,x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.