Сколько различных решений имеет следующая система логических уравнений?

¬x1 v  x2  v x3 = 1                                                                           
\(¬x1 v x2 v x3 v x4 v x5 v x6\) ˄ \(x7 v x8\) = 0    
\(¬x1 v x2 v x3\) ˄ \(x4 v x5 v x6\) ˄ \(x7 v x8\) = 0                           
\(¬x1 ≡ x4\) ˄ \(x7 ≡ x8\) = 1                                                                
\(x2 ≡ x5\) ˄ \(x7 ≡ x8\) = 1                                                                 
\(x3 ≡ x6\) ˄ \(x7 ≡ x8\) = 1                                                                  
\(x4 v x5 v x6\) ˄ x4 ˄ x5 ˄ x6 = 0 ,  

где х1, х2, х3, х4, х5, х6, х7, х8 - логические переменные