Решение некоторых систем уравнений в булевских переменных (29,30) Методом Отображений

Исочник 1Сколько различных решений имеет система уравнений.pdf

Исходная система (30) :-

x1 => x2 => x3  => x4 => x5 => x6 = 1
y1 => y2 => y3 => y4 => y5 => y6 = 1
x1 => y6 = 0
y1 => x6 = 0

Исходная система (29) :-

x1 => x2 => x3  => x4 => x5 = 0
y1 => y2 => y3 => y4 => y5  = 0
x1 => y5 =1

Далее мы следуем методу изначально изложенному в работе http://www.loiro.ru/files/news/news_943_etodotobrajeniya-mea-2013-10.pdf

Построим базовую диаграмму для генерации таблицы Методом Отображений по Е. А. Мирончик

Первая "=>" есть (x1=>x2)
Вторая "=>" есть ((x1=>x2)=>x3)
Третья "=>" есть ((x1=>x2)=>x3)=>x4
Четвертая "=>" есть (((x1=>x2)=>x3)=>x4)=>х5

  
x1 => x2 => x3  => x4 => x5 => x6 = 1
y1 => y2 => y3 => y4 => y5 => y6 = 1
x1 => y6 = 0
y1 => x6 = 0

  Калькулятор Полякова