Решение системы уравнений в булевских переменных задача P26 (473) сайт К.Ю. Полякова Методом Отображений

   Дерево решений для генерации матрицы первых 4-ех уравнений

 

Дерево решений для 5 и 6 уравнений

 Построение базовых диаграмм по деревьям решений

   Генерация матрицы

  
   Демо ЕГЭ 2017 Задача 23

 

  Решение методом отображений

   

   (x1=> (x2^y1))^(y1=>y2) =1

   (x2=> (x3^y2))^(y2=>y3) =1

     . . . . . . 

   (x5=> (x6^y5))^(y5=>y6) =1

   (x6 =>y6) = 1