Выполнить следующее задание аналогичным способом

Задание 23

Сколько существует различных наборов значений логических переменных x1, x2, … x7, y1, y2, … y7, которые удовлетворяют всем перечисленным ниже условиям?

(x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ (x1 ∧ y1) = 1

(x2 ∨ x3) ∧ ((x2 ∧ x3) →x4) ∧ (x2 ∧ y2) = 1

(x3 ∨ x4) ∧ ((x3 ∧ x4) →x5) ∧ (x3 ∧ y3) = 1

(x4 ∨ x5) ∧ ((x4 ∧ x5) →x6) ∧ (x4 ∧ y4) = 1

(x5 ∨ x6) ∧ ((x5 ∧ x6) →x7) ∧ (x5 ∧ y5) = 1

(x6 ∨ x7) ∧ (x6 ∧ y6) = 1

x7 ∧ y7 = 0

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ..., x7, y1, y2, ..., y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Выполнить следующее задание аналогичным способом

Задание 23

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

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

…

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

(x7 ∨ y7) = 1