Сколько различных решений имеет логическое уравнение
(X1 \/ ¬ X2) /\(X2 \/ ¬ X3) /\(X3 \/ ¬ X4)/\(X4 \/ ¬ X5)/\(¬X5 \/ ¬ X6)= 1
где x1, x2, …, x6 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.