Решение одной системы уравнений в булевских переменных Методом Отображений ( 8-строковая диаграмма)

Рассмотри следующую систему

(x1+x2)*(x1*x2->y1)=1
(x2+x3)*(x2*x3->y2)=1
(x3+x4)*(x3*x4->y3)=1
(x4+x5)*(x4*x5->y4)=1
(x5+x6)*(x5*x6->y5)=1
(x6+x7)*(x6*x7->y6)=1
(x7+x8)*(x7+y7) =1

(x8+y8)=1

Решим вначале усеченную систему , а затем удвоим

число решений для каждой из строк , заканчивающихся 

х8=1

(x1+x2)*(x1*x2->y1)=1
(x2+x3)*(x2*x3->y2)=1
(x3+x4)*(x3*x4->y3)=1
(x4+x5)*(x4*x5->y4)=1
(x5+x6)*(x5*x6->y5)=1
(x6+x7)*(x6*x7->y6)=1
(x7+x8)*(x7+y7)=1

Контроль по Полякову