PDF-версии: 
i
Сколько существует различных наборов значений логических переменных x1, x2,…, x8, y1, y2, ..., y8, которые удовлетворяют всем перечисленным ниже условиям?
((x1 ∨ y1) → (x2 ∨ y2)) ∧ (x1 → y1) = 1
((x2 ∨ y2) → (x3 ∨ y3)) ∧ (x2 → y2) = 1
...
((x7 ∨ y7) → (x8 ∨ y8)) ∧ (x7 → y7) = 1
(x8 → y8) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ..., x8, y1, y2, ..., y8, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
