Задание

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

¬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 - логические переменные