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

1. Сколько различных решений имеет система логических уравнений

  (x1 ≡ y1) → (x2 ≡ y2) = 1
  (x2 ≡ y2) → (x3 ≡ y3) = 1
  (x3 ≡ y3) → (x4 ≡ y4) = 1
  (x4 ≡ y4) → (x5 ≡ y5) = 1

где x₁, x₂, …, x₅ и y₁, y₂, …, y₅ - логические переменные?

2. Сколько различных решений имеет система логических уравнений

  (x1 → y1) → (x2 ≡ y2) = 1
  (x2 → y2) → (x3 ≡ y3) = 1
  (x3 → y3) → (x4 ≡ y4) = 1

где x₁, x₂, …, x₄ и y₁, y₂, …, y₄ - логические переменные?

3. Сколько различных решений имеет система логических уравнений

  (x1 ∨ y1) → (x2 ≡ y2) = 1
  (x2 ∨ y2) → (x3 ≡ y3) = 1
  (x3 ∨ y3) → (x4 ≡ y4) = 1
  (x4 ∨ y4) → (x5 ≡ y5) = 1

где x₁, x₂, …, x₅ и y₁, y₂, …, y₅ - логические переменные?

4. Сколько различных решений имеет система логических уравнений

  (x1 ∧ x2) → (x3 ∨ x4) = 1
  (x3 ∧ x4) → (x5 ∨ x6) = 1
  (x5 ∧ x6) → (x7 ∨ x8) = 1
  (x7 ∧ x8) → (x9 ∨ x10) = 1

где x₁, x₂, …, x₁₀ - логические переменные?

5. Сколько различных решений имеет система логических уравнений

  (x1 ∧ x2) → (x3 ∧ x4) = 1
  (x3 ∧ x4) → (x5 ∧ x6) = 1
  (x5 ∧ x6) → (x7 ∧ x8) = 1
  (x7 ∧ x8) → (x9 ∧ x10) = 1

где x₁, x₂, …, x₁₀ - логические переменные?

6. Сколько различных решений имеет система логических уравнений

  (x1 ∧ x2) → (x3 → x4) = 1
  (x3 ∧ x4) → (x5 → x6) = 1
  (x5 ∧ x6) → (x7 → x8) = 1
  (x7 ∧ x8) → (x9 → x10) = 1

где x₁, x₂, …, x₁₀ - логические переменные?

7. Сколько различных решений имеет система логических уравнений

  (x1 ∨ x2) → (x3 ∧ x4) = 1
  (x3 ∨ x4) → (x5 ∧ x6) = 1
  (x5 ∨ x6) → (x7 ∧ x8) = 1

где x₁, x₂, …, x₈ - логические переменные?

8. Сколько различных решений имеет система логических уравнений

  (x1 ∨ x2) → (x3 ∧ x4) = 1
  (x3 ∨ x4) → (x5 ∧ x6) = 1
  (x5 ∨ x6) → (x7 ∧ x8) = 1
  (x7 ∨ x8) → (x9 ∧ x10) = 1

где x₁, x₂, …, x₁₀ - логические переменные?

9. Сколько различных решений имеет система логических уравнений

  (x1 ∨ x2) → (x3 → x4) = 1
  (x3 ∨ x4) → (x5 → x6) = 1
  (x5 ∨ x6) → (x7 → x8) = 1

где x₁, x₂, …, x₈ - логические переменные?

10. Сколько различных решений имеет система логических уравнений

  (x1 ∨ x2) → (x3 → x4) = 1
  (x3 ∨ x4) → (x5 → x6) = 1
  (x5 ∨ x6) → (x7 → x8) = 1
  (x7 ∨ x8) → (x9 → x10) = 1

где x₁, x₂, …, x₁₀ - логические переменные?