B23 - Системы логических уравнений (метод отображений)

1. Сколько различных решений имеет система логических уравнений
  (x1 ≡ y1) → (x2 ≡ y2) = 1
(x2 ≡ y2) → (x3 ≡ y3) = 1
(x3 ≡ y3) → (x4 ≡ y4) = 1
(x4 ≡ y4) → (x5 ≡ y5) = 1
где x1, x2, …, x5 и y1, y2, …, y5 - логические переменные?
Ответ: 
2. Сколько различных решений имеет система логических уравнений
  (x1 → y1) → (x2 ≡ y2) = 1
(x2 → y2) → (x3 ≡ y3) = 1
(x3 → y3) → (x4 ≡ y4) = 1
где x1, x2, …, x4 и y1, y2, …, y4 - логические переменные?
Ответ: 
3. Сколько различных решений имеет система логических уравнений
  (x1 ∨ y1) → (x2 ≡ y2) = 1
(x2 ∨ y2) → (x3 ≡ y3) = 1
(x3 ∨ y3) → (x4 ≡ y4) = 1
(x4 ∨ y4) → (x5 ≡ y5) = 1
где x1, x2, …, x5 и y1, y2, …, y5 - логические переменные?
Ответ: 
4. Сколько различных решений имеет система логических уравнений
  (x1 ∧ x2) → (x3 ∨ x4) = 1
(x3 ∧ x4) → (x5 ∨ x6) = 1
(x5 ∧ x6) → (x7 ∨ x8) = 1
(x7 ∧ x8) → (x9 ∨ x10) = 1
где x1, x2, …, x10 - логические переменные?
Ответ: 
5. Сколько различных решений имеет система логических уравнений
  (x1 ∧ x2) → (x3 ∧ x4) = 1
(x3 ∧ x4) → (x5 ∧ x6) = 1
(x5 ∧ x6) → (x7 ∧ x8) = 1
(x7 ∧ x8) → (x9 ∧ x10) = 1
где x1, x2, …, x10 - логические переменные?
Ответ: 
6. Сколько различных решений имеет система логических уравнений
  (x1 ∧ x2) → (x3 → x4) = 1
(x3 ∧ x4) → (x5 → x6) = 1
(x5 ∧ x6) → (x7 → x8) = 1
(x7 ∧ x8) → (x9 → x10) = 1
где x1, x2, …, x10 - логические переменные?
Ответ: 
7. Сколько различных решений имеет система логических уравнений
  (x1 ∨ x2) → (x3 ∧ x4) = 1
(x3 ∨ x4) → (x5 ∧ x6) = 1
(x5 ∨ x6) → (x7 ∧ x8) = 1
где x1, x2, …, x8 - логические переменные?
Ответ: 
8. Сколько различных решений имеет система логических уравнений
  (x1 ∨ x2) → (x3 ∧ x4) = 1
(x3 ∨ x4) → (x5 ∧ x6) = 1
(x5 ∨ x6) → (x7 ∧ x8) = 1
(x7 ∨ x8) → (x9 ∧ x10) = 1
где x1, x2, …, x10 - логические переменные?
Ответ: 
9. Сколько различных решений имеет система логических уравнений
  (x1 ∨ x2) → (x3 → x4) = 1
(x3 ∨ x4) → (x5 → x6) = 1
(x5 ∨ x6) → (x7 → x8) = 1
где x1, x2, …, x8 - логические переменные?
Ответ: 
10. Сколько различных решений имеет система логических уравнений
  (x1 ∨ x2) → (x3 → x4) = 1
(x3 ∨ x4) → (x5 → x6) = 1
(x5 ∨ x6) → (x7 → x8) = 1
(x7 ∨ x8) → (x9 → x10) = 1
где x1, x2, …, x10 - логические переменные?
Ответ: