ЕГЭ Информатика Тест задание 23 Системы логических уравнений

1) Сколько существует различных наборов значений логических переменных x₁ ... x₈, y₁ ... y₈, которые удовлетворяют всем перечисленным ниже условиям?

(¬(x₁ ≡ y₁)) ≡ (x₂ ≡ y₂)

(¬(x₂ ≡ y₂)) ≡ (x₃ ≡ y₃)

.................

(¬(x₇ ≡ y₇)) ≡ (x₈ ≡ y₈)

В ответе не нужно перечислять все различные наборы значений переменных, удовлетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

2) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ → x₂) v x₃ ∧ ¬x₄ = 1

(x₃ → x₄) v x₅ ∧ ¬x₆ = 1

(x₅ → x₆) v x₇ ∧ ¬x₈ = 1

(x₇ → x₈) v x₉ ∧ ¬x₁₀ = 1

(x₉ → x₁₀) v x₁ ∧ ¬x₂ = 1

В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂ ... x₁₀, при которых выполнена данная система равенств. В качестве ответа нужно указать только количество таких наборов

Ваш ответ:

3) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₇, y₁, y₂ ... y₇, которые удовлетворяют всем перечисленным ниже условиям?

(y₁ → ( y₂ ∧ x₁)) ∧ ( x₁ → x₂) = 1

(y₂ → ( y₃ ∧ x₂)) ∧ ( x₂ → x₃) = 1

.................

(y₆ → ( y₇ ∧ x₆)) ∧ ( x₆ → x₇) = 1

y₇ → x₇ = 1

В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂ ... x₇, y₁, y₂ ... y₇, при которых выполнена данная система равенств. В качестве ответа нужно указать только количество таких наборов

Ваш ответ:

4) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₇, y₁, y₂ ... y₇, которые удовлетворяют всем перечисленным ниже условиям?

(¬x₁ v y₁) → (¬x₂ ∧ y₂) = 1

(¬x₂ v y₂) → (¬x₃ ∧ y₃) = 1

.................

(¬x₆ v y₆) → (¬x₇ ∧ y₇) = 1

В качестве ответа нужно указать только количество таких наборов

Ваш ответ:

5) Сколько существует различных наборов значений логических переменных x₁ ... x₇, y₁ ... y₇, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ v x₂) ∧ (¬x₁ v ¬x₂) ∧ (¬x₁ v y₁)=1

(x₂ v x₃) ∧ (¬x₂ v ¬x₃) ∧ (¬x₂ v y₂)=1

.................

(x₆ v x₇) ∧ (¬x₆ v ¬x₇) ∧ (¬x₆ v y₆)=1

(¬x₇ v y₇)=1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

6) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

¬x₁ v x₂ = 1

¬x₂ v x₃ = 1

.................

¬x₉ v x₁₀ = 1

В качестве ответа нужно указать только количество таких наборов

Ваш ответ:

7) Сколько существует различных наборов значений логических переменных x₁ ... x₄, y₁ ... y₅, z₁ ... z₄, которые удовлетворяют всем перечисленным ниже условиям?

x₁ → x₂ → x₃ → x₄ = 0

y₁ → y₂ → y₃ → y₄ → y₅ = 1

z₁ → z₂ → z₃ → z₄ = 0

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

8) Сколько существует различных наборов значений логических переменных x₁ ... x₈, y₁ ... y₈, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ v x₂) ∧ (x₁ ∧ x₂ → x₃) ∧ (¬x₁ v y₁) = 1

(x₂ v x₃) ∧ (x₂ ∧ x₃ → x₄) ∧ (¬x₂ v y₂) = 1

.................

(x₆ v x₇) ∧ (x₆ ∧ x₇ → x₈) ∧ (¬x₆ v y₆) = 1

(x₇ v x₈) ∧ (¬x₇ v y₇) = 1

(¬x₈ v y₈) = 1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

9) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₇, x₈, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ → x₂) → (x₃ → x₄) = 1

(x₃ → x₄) → (x₅ → x₆) = 1

(x₅ → x₆) → (x₇ → x₈) = 1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

10) Сколько существует различных наборов значений логических переменных x₁ ... x₆, y₁ ... y₆, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ ∧ y₁) ≡ (¬x₂ v ¬y₂)

(x₂ ∧ y₂) ≡ (¬x₃ v ¬y₃)

(x₃ ∧ y₃) ≡ (¬x₄ v ¬y₄)

(x₄ ∧ y₄) ≡ (¬x₅ v ¬y₅)

(x₅ ∧ y₅) ≡ (¬x₆ v ¬y₆)

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

11) Сколько существует различных наборов значений логических переменных x₁ ... x₇, y₁ ... y₇, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ v y₁) ≡ (¬x₂ ∧ ¬y₂)

(x₂ v y₂) ≡ (¬x₃ ∧ ¬y₃)

(x₃ v y₃) ≡ (¬x₄ ∧ ¬y₄)

(x₄ v y₄) ≡ (¬x₅ ∧ ¬y₅)

(x₅ v y₅) ≡ (¬x₆ ∧ ¬y₆)

(x₆ v y₆) ≡ (¬x₇ ∧ ¬y₇)

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

12) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

((x₁ ≡ x₂) v (x₃ ≡ x₄)) ∧ (¬((x₁ ≡ x₂) → (x₃ ≡ x₄))) = 1

((x₅ ≡ x₆) v (x₇ ≡ x₈)) ∧ (¬((x₅ ≡ x₆) → (x₇ ≡ x₈))) = 1

((x₁ ≡ x₂) v (x₇ ≡ x₈)) ∧ (¬((x₁ ≡ x₂) → (x₇ ≡ x₈))) = 1

((x₆ ≡ x₈) v (x₃ ≡ x₄)) ∧ (¬((x₅ ≡ x₆) → (x₃ ≡ x₄))) = 1

x₉ ≡ x₁₀ = 1

В ответе не нужно перечислять все различные наборы значений x₁, x₂ ... x₉, x₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Ваш ответ:

13) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

((x₁ ≡ x₂) v (x₃ ≡ x₄)) ∧ (¬((x₁ ≡ x₂) → (x₃ ≡ x₄))) = 1

((x₃ ≡ x₄) v (x₇ ≡ x₈)) ∧ (¬((x₅ ≡ x₆) → (x₇ ≡ x₈))) = 1

((x₁ ≡ x₂) v (x₇ ≡ x₈)) ∧ (¬((x₁ ≡ x₂) → (x₇ ≡ x₈))) = 1

(x₁ ≡ x₄) → (x₉ ≡ x₁₀) = 1

В ответе не нужно перечислять все различные наборы значений x₁, x_{2 ...}x₉, x₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Ваш ответ:

14) Сколько существует различных наборов значений логических переменных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

((x₁ ≡ x₃) v (x₂ ≡ x₄)) ∧ (¬((x₁ ≡ x₃) ∧ ¬(x₂ ≡ x₄))) = 0

((x₂ ≡ x₄) v (x₅ ≡ x₇)) ∧ (¬((x₂ ≡ x₄) ∧ ¬(x₅ ≡ x₇))) = 0

((x₅ ≡ x₇) v (x₆ ≡ x₈)) ∧ (¬((x₅ ≡ x₇) ∧ ¬(x₆ ≡ x₈))) = 0

((x₆ ≡ x₈) v (x₉ ≡ x₁₀)) ∧ (¬((x₆ ≡ x₈) ∧ ¬(x₉ ≡ x₁₀))) = 0

((x₁ ≡ x₃) → (x₂ ≡ x₄)) → ((x₆ ≡ x₈) v ¬(x₉ ≡ x₁₀)) = 1

В ответе не нужно перечислять все различные наборы значений x₁, x_{2 ...}x₉, x₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Ваш ответ:

15) Сколько существует различных наборов значений логических переменных x₁, x₂, ... x₉, x₁₀, которые удовлетворяют всем перечисленным ниже условиям?

((x₁ ≡ x₃) v (x₂ ≡ x₄)) ∧ (¬((x₁ ≡ x₃) ∧ (x₂ ≡ x₄))) = 0

((x₂ ≡ x₄) v (x₅ ≡ x₇)) ∧ (¬((x₂ ≡ x₄) ∧ (x₅ ≡ x₇))) = 0

((x₅ ≡ x₇) v (x₆ ≡ x₈)) ∧ (¬((x₅ ≡ x₇) ∧ (x₆ ≡ x₈))) = 0

((x₆ ≡ x₈) v (x₉ ≡ x₁₀)) ∧ (¬((x₆ ≡ x₈) ∧ (x₂ ≡ x₄))) = 0

((x₁ ≡ x₃) → (x₂ ≡ x₄)) → x₅ = 0

((x₅ ≡ x₇) → (x₆ ≡ x₈)) → x₁₀ = 0

В ответе не нужно перечислять все различные наборы значений x₁, x₂, ... x₉, x₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов

Ваш ответ:

16) Сколько существует различных наборов значений логических переменных x₁ ... x₉, y₁ ... y₉, которые удовлетворяют всем перечисленным ниже условиям?

(¬(x₁ ≡ y₁)) ≡ (x₂ ≡ y₂)

(¬(x₂ ≡ y₂)) ≡ (x₃ ≡ y₃)

(¬(x₃ ≡ y₃)) ≡ (x₄ ≡ y₄)

.................

(¬(x₈ ≡ y₈)) ≡ (x₉ ≡ y₉)

В ответе не нужно перечислять все различные наборы значений переменных, удовлетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

17) Сколько всего различных наборов значений логических перемененных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют системе уравнений?

(¬(x₂≡ x₃) ∨ (x₄≡ x₅)) ∨ ((x₂≡ x₃) → (x₄≡ x₅)) = 0

(¬(x₆≡ x₇) ∨ (x₈≡ x₉)) ∨ ((x₆≡ x₇) → (x₈≡ x₉)) = 0

(¬(x₂≡ x₃) ∨ (x₈≡ x₉)) ∨ ((x₂≡ x₃) → (x₈≡ x₉)) = 0

(¬(x₆≡ x₇) ∨ (x₄≡ x₅)) ∨ ((x₆≡ x₇) → (x₄≡ x₅)) = 0

(x₁₀≡ x₁) ∨ x₁ = 1

В ответе не нужно перечислять все различные наборы значений переменных, удовлетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

18) Сколько всего различных наборов значений логических перемененных x₁ ... x₆, y₁ ... y₆, которые удовлетворяют системе уравнений?

(x₁ ∨ y₁) → (x₂ ∧ y₂) = 0

(x₂ ∨ y₂) → (x₃ ∧ y₃) = 0

(x₃ ∨ y₃) → (x₄ ∧ y₄) = 0

(x₄ ∨ y₄) → (x₅ ∧ y₅) = 0

(x₅ ∨ y₅) → (x₆ ∧ y₆) = 0

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

19) Сколько всего различных наборов значений логических перемененных x₁ ... x₅, y₁ ... y₅, которые удовлетворяют системе уравнений?

(x₁ → x₂) ∧ (¬x₁ → x₃) ∧ (x₁ → x₄) ∧ (¬x₁ → x₅) = 1

(¬y₁ → y₂) ∧ (y₁ → y₃) ∧ (¬y₁ → y₄) ∧ (y₁ → y₅) = 1

(¬x₁ ∨ y₁) ∧ (¬x₁ ∨ y₅) = 1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

20) Сколько всего различных наборов значений логических перемененных x₁, x₂ ... x₇, x₈, которые удовлетворяют системе уравнений?

¬(x₁ ≡ x₂) ∧ (x₂ ∨ x₃) ∧ (¬x₂ ∨ ¬x₃) = 0

¬(x₂ ≡ x₃) ∧ (x₃ ∨ x₄) ∧ (¬x₃ ∨ ¬x₄) = 0

.................

¬(x₆ ≡ x₇) ∧ (x₇ ∨ x₈) ∧ (¬x₇ ∨ ¬x₈) = 0

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

21) Сколько всего различных наборов значений логических перемененных x₁, x₂ ... x₇, x₈, которые удовлетворяют системе уравнений?

(x₁≡ ¬x₂) ∨ (¬x₁ ∧ x₃) ∨ ¬(x₁ ≡ x₃) = 1

(x₂≡ ¬x₃) ∨ (¬x₂ ∧ x₄) ∨ ¬(x₂ ≡ x₄) = 1

(x₃≡ ¬x₄) ∨ (¬x₃ ∧ x₅) ∨ ¬(x₃ ≡ x₅) = 1

(x₄≡ ¬x₅) ∨ (¬x₄ ∧ x₆) ∨ ¬(x₄ ≡ x₆) = 1)

(x₅≡ ¬x₆) ∨ (¬x₅ ∧ x₇) ∨ ¬(x₅ ≡ x₇) = 1

(x₆≡ ¬x₇) ∨ (¬x₆ ∧ x₈) ∨ ¬(x₆ ≡ x₈) = 1

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов

Ваш ответ:

Подготовка к ЕГЭ по Информатике

Задания на тему "Системы логических уравнений".

(¬(x1 ≡ y1)) ≡ (x2 ≡ y2)

(¬(x2 ≡ y2)) ≡ (x3 ≡ y3)

.................

(¬(x7 ≡ y7)) ≡ (x8 ≡ y8)

(x1 → x2) v x3 ∧ ¬x4 = 1

(x3 → x4) v x5 ∧ ¬x6 = 1

(x5 → x6) v x7 ∧ ¬x8 = 1

(x7 → x8) v x9 ∧ ¬x10 = 1

(x9 → x10) v x1 ∧ ¬x2 = 1

(y1 → ( y2 ∧ x1)) ∧ ( x1 → x2) = 1

(y2 → ( y3 ∧ x2)) ∧ ( x2 → x3) = 1

.................

(y6 → ( y7 ∧ x6)) ∧ ( x6 → x7) = 1

y7 → x7 = 1

(¬x1 v y1) → (¬x2 ∧ y2) = 1

(¬x2 v y2) → (¬x3 ∧ y3) = 1

.................

(¬x6 v y6) → (¬x7 ∧ y7) = 1

(x1 v x2) ∧ (¬x1 v ¬x2) ∧ (¬x1 v y1)=1

(x2 v x3) ∧ (¬x2 v ¬x3) ∧ (¬x2 v y2)=1

.................

(x6 v x7) ∧ (¬x6 v ¬x7) ∧ (¬x6 v y6)=1

(¬x7 v y7)=1

¬x1 v x2 = 1

¬x2 v x3 = 1

.................

¬x9 v x10 = 1

x1 → x2 → x3 → x4 = 0

y1 → y2 → y3 → y4 → y5 = 1

z1 → z2 → z3 → z4 = 0

(x1 v x2) ∧ (x1 ∧ x2 → x3) ∧ (¬x1 v y1) = 1

(x2 v x3) ∧ (x2 ∧ x3 → x4) ∧ (¬x2 v y2) = 1

.................

(x6 v x7) ∧ (x6 ∧ x7 → x8) ∧ (¬x6 v y6) = 1

(x7 v x8) ∧ (¬x7 v y7) = 1

(¬x8 v y8) = 1

(x1 → x2) → (x3 → x4) = 1

(x3 → x4) → (x5 → x6) = 1

(x5 → x6) → (x7 → x8) = 1

(x1 ∧ y1) ≡ (¬x2 v ¬y2)

(x2 ∧ y2) ≡ (¬x3 v ¬y3)

(x3 ∧ y3) ≡ (¬x4 v ¬y4)

(x4 ∧ y4) ≡ (¬x5 v ¬y5)

(x5 ∧ y5) ≡ (¬x6 v ¬y6)

(x1 v y1) ≡ (¬x2 ∧ ¬y2)

(x2 v y2) ≡ (¬x3 ∧ ¬y3)

(x3 v y3) ≡ (¬x4 ∧ ¬y4)

(x4 v y4) ≡ (¬x5 ∧ ¬y5)

(x5 v y5) ≡ (¬x6 ∧ ¬y6)

(x6 v y6) ≡ (¬x7 ∧ ¬y7)

((x1 ≡ x2) v (x3 ≡ x4)) ∧ (¬((x1 ≡ x2) → (x3 ≡ x4))) = 1

((x5 ≡ x6) v (x7 ≡ x8)) ∧ (¬((x5 ≡ x6) → (x7 ≡ x8))) = 1

((x1 ≡ x2) v (x7 ≡ x8)) ∧ (¬((x1 ≡ x2) → (x7 ≡ x8))) = 1

((x6 ≡ x8) v (x3 ≡ x4)) ∧ (¬((x5 ≡ x6) → (x3 ≡ x4))) = 1

x9 ≡ x10 = 1

((x1 ≡ x2) v (x3 ≡ x4)) ∧ (¬((x1 ≡ x2) → (x3 ≡ x4))) = 1

((x3 ≡ x4) v (x7 ≡ x8)) ∧ (¬((x5 ≡ x6) → (x7 ≡ x8))) = 1

((x1 ≡ x2) v (x7 ≡ x8)) ∧ (¬((x1 ≡ x2) → (x7 ≡ x8))) = 1

(x1 ≡ x4) → (x9 ≡ x10) = 1

((x1 ≡ x3) v (x2 ≡ x4)) ∧ (¬((x1 ≡ x3) ∧ ¬(x2 ≡ x4))) = 0

((x2 ≡ x4) v (x5 ≡ x7)) ∧ (¬((x2 ≡ x4) ∧ ¬(x5 ≡ x7))) = 0

((x5 ≡ x7) v (x6 ≡ x8)) ∧ (¬((x5 ≡ x7) ∧ ¬(x6 ≡ x8))) = 0

((x6 ≡ x8) v (x9 ≡ x10)) ∧ (¬((x6 ≡ x8) ∧ ¬(x9 ≡ x10))) = 0

((x1 ≡ x3) → (x2 ≡ x4)) → ((x6 ≡ x8) v ¬(x9 ≡ x10)) = 1

((x1 ≡ x3) v (x2 ≡ x4)) ∧ (¬((x1 ≡ x3) ∧ (x2 ≡ x4))) = 0

((x2 ≡ x4) v (x5 ≡ x7)) ∧ (¬((x2 ≡ x4) ∧ (x5 ≡ x7))) = 0

((x5 ≡ x7) v (x6 ≡ x8)) ∧ (¬((x5 ≡ x7) ∧ (x6 ≡ x8))) = 0

((x6 ≡ x8) v (x9 ≡ x10)) ∧ (¬((x6 ≡ x8) ∧ (x2 ≡ x4))) = 0

((x1 ≡ x3) → (x2 ≡ x4)) → x5 = 0

((x5 ≡ x7) → (x6 ≡ x8)) → x10 = 0

(¬(x1 ≡ y1)) ≡ (x2 ≡ y2)

(¬(x2 ≡ y2)) ≡ (x3 ≡ y3)

(¬(x3 ≡ y3)) ≡ (x4 ≡ y4)

.................

(¬(x8 ≡ y8)) ≡ (x9 ≡ y9)

(¬(x2 ≡ x3) ∨ (x4 ≡ x5)) ∨ ((x2 ≡ x3) → (x4 ≡ x5)) = 0

(¬(x6 ≡ x7) ∨ (x8 ≡ x9)) ∨ ((x6 ≡ x7) → (x8 ≡ x9)) = 0

(¬(x2 ≡ x3) ∨ (x8 ≡ x9)) ∨ ((x2 ≡ x3) → (x8 ≡ x9)) = 0

(¬(x₁ ≡ y₁)) ≡ (x₂ ≡ y₂)

(¬(x₂ ≡ y₂)) ≡ (x₃ ≡ y₃)

(¬(x₇ ≡ y₇)) ≡ (x₈ ≡ y₈)

(x₁ → x₂) v x₃ ∧ ¬x₄ = 1

(x₃ → x₄) v x₅ ∧ ¬x₆ = 1

(x₅ → x₆) v x₇ ∧ ¬x₈ = 1

(x₇ → x₈) v x₉ ∧ ¬x₁₀ = 1

(x₉ → x₁₀) v x₁ ∧ ¬x₂ = 1

(y₁ → ( y₂ ∧ x₁)) ∧ ( x₁ → x₂) = 1

(y₂ → ( y₃ ∧ x₂)) ∧ ( x₂ → x₃) = 1

(y₆ → ( y₇ ∧ x₆)) ∧ ( x₆ → x₇) = 1

y₇ → x₇ = 1

(¬x₁ v y₁) → (¬x₂ ∧ y₂) = 1

(¬x₂ v y₂) → (¬x₃ ∧ y₃) = 1

(¬x₆ v y₆) → (¬x₇ ∧ y₇) = 1

(x₁ v x₂) ∧ (¬x₁ v ¬x₂) ∧ (¬x₁ v y₁)=1

(x₂ v x₃) ∧ (¬x₂ v ¬x₃) ∧ (¬x₂ v y₂)=1

(x₆ v x₇) ∧ (¬x₆ v ¬x₇) ∧ (¬x₆ v y₆)=1

(¬x₇ v y₇)=1

¬x₁ v x₂ = 1

¬x₂ v x₃ = 1

¬x₉ v x₁₀ = 1

x₁ → x₂ → x₃ → x₄ = 0

y₁ → y₂ → y₃ → y₄ → y₅ = 1

z₁ → z₂ → z₃ → z₄ = 0

(x₁ v x₂) ∧ (x₁ ∧ x₂ → x₃) ∧ (¬x₁ v y₁) = 1

(x₂ v x₃) ∧ (x₂ ∧ x₃ → x₄) ∧ (¬x₂ v y₂) = 1

(x₆ v x₇) ∧ (x₆ ∧ x₇ → x₈) ∧ (¬x₆ v y₆) = 1

(x₇ v x₈) ∧ (¬x₇ v y₇) = 1

(¬x₈ v y₈) = 1

(x₁ → x₂) → (x₃ → x₄) = 1

(x₃ → x₄) → (x₅ → x₆) = 1

(x₅ → x₆) → (x₇ → x₈) = 1

(x₁ ∧ y₁) ≡ (¬x₂ v ¬y₂)

(x₂ ∧ y₂) ≡ (¬x₃ v ¬y₃)

(x₃ ∧ y₃) ≡ (¬x₄ v ¬y₄)

(x₄ ∧ y₄) ≡ (¬x₅ v ¬y₅)

(x₅ ∧ y₅) ≡ (¬x₆ v ¬y₆)

(x₁ v y₁) ≡ (¬x₂ ∧ ¬y₂)

(x₂ v y₂) ≡ (¬x₃ ∧ ¬y₃)

(x₃ v y₃) ≡ (¬x₄ ∧ ¬y₄)

(x₄ v y₄) ≡ (¬x₅ ∧ ¬y₅)

(x₅ v y₅) ≡ (¬x₆ ∧ ¬y₆)

(x₆ v y₆) ≡ (¬x₇ ∧ ¬y₇)

((x₁ ≡ x₂) v (x₃ ≡ x₄)) ∧ (¬((x₁ ≡ x₂) → (x₃ ≡ x₄))) = 1

((x₅ ≡ x₆) v (x₇ ≡ x₈)) ∧ (¬((x₅ ≡ x₆) → (x₇ ≡ x₈))) = 1

((x₁ ≡ x₂) v (x₇ ≡ x₈)) ∧ (¬((x₁ ≡ x₂) → (x₇ ≡ x₈))) = 1

((x₆ ≡ x₈) v (x₃ ≡ x₄)) ∧ (¬((x₅ ≡ x₆) → (x₃ ≡ x₄))) = 1

x₉ ≡ x₁₀ = 1

((x₁ ≡ x₂) v (x₃ ≡ x₄)) ∧ (¬((x₁ ≡ x₂) → (x₃ ≡ x₄))) = 1

((x₃ ≡ x₄) v (x₇ ≡ x₈)) ∧ (¬((x₅ ≡ x₆) → (x₇ ≡ x₈))) = 1

((x₁ ≡ x₂) v (x₇ ≡ x₈)) ∧ (¬((x₁ ≡ x₂) → (x₇ ≡ x₈))) = 1

(x₁ ≡ x₄) → (x₉ ≡ x₁₀) = 1

((x₁ ≡ x₃) v (x₂ ≡ x₄)) ∧ (¬((x₁ ≡ x₃) ∧ ¬(x₂ ≡ x₄))) = 0

((x₂ ≡ x₄) v (x₅ ≡ x₇)) ∧ (¬((x₂ ≡ x₄) ∧ ¬(x₅ ≡ x₇))) = 0

((x₅ ≡ x₇) v (x₆ ≡ x₈)) ∧ (¬((x₅ ≡ x₇) ∧ ¬(x₆ ≡ x₈))) = 0

((x₆ ≡ x₈) v (x₉ ≡ x₁₀)) ∧ (¬((x₆ ≡ x₈) ∧ ¬(x₉ ≡ x₁₀))) = 0

((x₁ ≡ x₃) → (x₂ ≡ x₄)) → ((x₆ ≡ x₈) v ¬(x₉ ≡ x₁₀)) = 1

((x₁ ≡ x₃) v (x₂ ≡ x₄)) ∧ (¬((x₁ ≡ x₃) ∧ (x₂ ≡ x₄))) = 0

((x₂ ≡ x₄) v (x₅ ≡ x₇)) ∧ (¬((x₂ ≡ x₄) ∧ (x₅ ≡ x₇))) = 0

((x₅ ≡ x₇) v (x₆ ≡ x₈)) ∧ (¬((x₅ ≡ x₇) ∧ (x₆ ≡ x₈))) = 0

((x₆ ≡ x₈) v (x₉ ≡ x₁₀)) ∧ (¬((x₆ ≡ x₈) ∧ (x₂ ≡ x₄))) = 0

((x₁ ≡ x₃) → (x₂ ≡ x₄)) → x₅ = 0

((x₅ ≡ x₇) → (x₆ ≡ x₈)) → x₁₀ = 0

(¬(x₁ ≡ y₁)) ≡ (x₂ ≡ y₂)

(¬(x₂ ≡ y₂)) ≡ (x₃ ≡ y₃)

(¬(x₃ ≡ y₃)) ≡ (x₄ ≡ y₄)

(¬(x₈ ≡ y₈)) ≡ (x₉ ≡ y₉)

(¬(x₂≡ x₃) ∨ (x₄≡ x₅)) ∨ ((x₂≡ x₃) → (x₄≡ x₅)) = 0

(¬(x₆≡ x₇) ∨ (x₈≡ x₉)) ∨ ((x₆≡ x₇) → (x₈≡ x₉)) = 0

(¬(x₂≡ x₃) ∨ (x₈≡ x₉)) ∨ ((x₂≡ x₃) → (x₈≡ x₉)) = 0

(¬(x₆≡ x₇) ∨ (x₄≡ x₅)) ∨ ((x₆≡ x₇) → (x₄≡ x₅)) = 0

(x₁₀≡ x₁) ∨ x₁ = 1

(x₁ ∨ y₁) → (x₂ ∧ y₂) = 0

(x₂ ∨ y₂) → (x₃ ∧ y₃) = 0

(x₃ ∨ y₃) → (x₄ ∧ y₄) = 0

(x₄ ∨ y₄) → (x₅ ∧ y₅) = 0

(x₅ ∨ y₅) → (x₆ ∧ y₆) = 0

(x₁ → x₂) ∧ (¬x₁ → x₃) ∧ (x₁ → x₄) ∧ (¬x₁ → x₅) = 1

(¬y₁ → y₂) ∧ (y₁ → y₃) ∧ (¬y₁ → y₄) ∧ (y₁ → y₅) = 1