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

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