Демонстрационный вариант 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