Решение системы логических уравнений x1=>x2=> ...=>x6=1 && y1=>y2=> ...=>y6 && x1=>y1 Методом Отображений

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

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


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

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



   Определим число решений уравнения
   x1 => x2 => x2 => x3 => x4 => x5 => x6 =1  при x1=1
  

   Определим число решений уравнения
   y1 => y2 => y3 => y4 => y5 => y6 =1  при y1=0

   Подсчитаем число кортежей {x},{y} не удовлетворяющих третьему
   уравнению ситемы, чтобы затем вычесть его из 43^2
  
   
   Для этого определим число решений уравнений
   x1=>x2=>x3=>...=>x6=1
   y1=>y2=>y3=>...=>y6=1
   используя технику Метода Отображений
  
  
   Таким образом, получаем ответ :-  Count = 43^2 - 21*22 = 1387