Решение одной известной системы в Булевских переменных в формате 08.2106

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

(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

Строим диаграммы в стиле 08.2016

  Сравните трудо-затрыты с классически подходом 
 https://mapping-metod.blogspot.com/2019/05/8.html