Метод Отображений versus Решение задания №23. ЕГЭ по информатике - 2017. Демоверсия ФИПИ (БУ)

Информатик БУ решает задачу,расщепляя систему и накладывая стандартные битовые маски на {X} and {Y} с последующим сцеплением кортежей следуя логике задачи.

Знание метода отображений (Е. Мирончик) позволяет решить эту
же задачу просто формально следуя принципам метода.
1. http://informat444.narod.ru/11/K11-13-1.pdf
2. http://kpolyakov.spb.ru/download/mea-2013-10.pdf

Вернемся к применению битовых масок Информатиком БУ

https://www.youtube.com/watch?v=uQtANwb_-Qs

  Применим к той же задаче Метод отображений

  (x1 => (x2^y1)) ^ (y1 => y2) = 1
  (x2 => (x3^y2)) ^ (y2 => y3) = 1
  . . . . . . .
  (x5 => (x6^y5)) ^ (y5 => y6) =1
  (x6 => y6) =1


  Строим базовую диаграмму  x1y1, x2y2 на основе истинности первого уравнеия для соответсвующих пар {x1y1,x2y2}

   Генерируем матрицу ( учитывая , что x6->y6 is False on line {1,0} )