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

 \(X2 ≡ X1\) ˅ \(X2 ˄ X3\) ˅ \(¬X2 ˄¬ X3\)  = 1  
 \(X3 ≡ X1\) ˅ \(X3 ˄ X4\) ˅ \(¬X3 ˄¬ X4\)  = 1  
  \.\.\.  
   \(X9 ≡ X1\) ˅ \(X9 ˄ X10\) ˅ \(¬X9 ˄¬ X10\) = 1  
 \(X10 ≡ X1\) = 0  

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