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

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