Решение задачи 23 Демо версии ЕГЭ Информатика 2017 Методом отображений vs Метод битовых масок vs Информатик БУ Видео

Задача 23 Демо версии ЕГЭ Информатика 2017 хорошо известна  ролик
Информатика БУ  https://www.youtube.com/watch?v=uQtANwb_-Qs
Информатик БУ не использует дистрибутивность импликации по
отношению к конъюнкции, что влечет за собой меньшую прозрачность в получении результата.

   Строим диаграмму  генерации матрицы на основании уравнения
                         (x1 => (x2^y1)) ^ (y1 => y2) =1

******************************

  Метод битовых масок
******************************

В силу дистрибутивности импликации по отношению к конъюнкции

(x1 => (x2^y1))^(y1 => y2) =1  <=> (x1=>x2)^(x1=>y1)^(y1=>y2) =1
(x2 => (x3^y2))^(y2 => y3) =1  <=> (x2=>x3)^(x2=>y2)^(y2=>y3) =1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

и так для каждого уравнения
Получаем эквивалентную и хорошо известную систему

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

Остается применить стандартную схему сцепления двух
верхнетреугольных битовых масок.  

x1 x2 x3 x4 x5 x6 

-------------------
1  1   1  1  1  1   1
0  1   1  1  1  1   2
0  0   1  1  1  1   3     Число конкатенаций 
0  0   0  1  1  1   4     каждого кортежа {x} строка номер j
0  0   0  0  1  1   5     c кортежами {y} ( с 1-го по j - ый)
0  0   0  0  0  1   6
0  0   0  0  0  0   7  Total = 1+2+3+ . . . .+7 = 28

y1 y2 y3 y4  y5 y6 

-------------------
1  1   1  1  1  1
0  1   1  1  1  1
0  0   1  1  1  1
0  0   0  1  1  1
0  0   0  0  1  1   x4=>y4 = False
0  0   0  0  0  1
0  0   0  0  0  0