Сколько существует различных наборов значений логических переменных 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
Можно с объяснением?