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