дорешать задание на тему мат. логика и множества Сколько существует различных наборов значений логических переменных 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, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Я получил для первого условия 7 решений
и получил 3 решения для 7 переменных x и 3 решения для 7 переменных y
А как дальше решать эту задачу?