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

x1 ˄  x2  ˄ x3 =0  
x4 ˄  x5 = 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                           
\(х1 ≡ 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 - логические переменные