Демонстрационный вариант 2018 от ФИПИ "Задача 23 ВКонтакте 22.08.17"

Построим Дерево Решений на основании первого уравнения

системы

  

  Конвертируем систему

  (x1^¬y1)v(¬x2^y2) = 1
  (x2^¬y2)v(¬x3^y3) = 1
  (x4^¬y4)v(¬x5^y5) = 1
  (x5^¬y5)v(¬x6^y6) = 1
  (x6^¬y6)v(¬x7^y7) = 1

   Применим метод отображений для генерации матрицы на основе
   базовой диаграммы.  

 
   Сделаем проверку - калькулятор Полякова