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