Информатика (Логические уравнения)



Вопрос 23

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

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

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

                        …

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

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