463)
Сколько существует различных наборов значений логических переменных x1, x2 ... x7, y1, y2 ... y7, которые удовлетворяют всем перечисленным ниже условиям?
(¬x1 v y1) → (¬x2 ∧ y2) = 1
(¬x2 v y2) → (¬x3 ∧ y3) = 1
.................
(¬x6 v y6) → (¬x7 ∧ y7) = 1
В качестве ответа нужно указать только количество таких наборов