Насколько гибким может быть метод отображений "Сдам ЕГЭ Задание 23 7768"

Оригинальная идея исходит из техники Е.А. Мирончик, изложенной в документе ege23.doc на сайте К.Ю. Полякова. Конкретная задача отличается диспозицией нулей при генерации матрицы первых 5-ти уравнений и деревом решений при завершении подсчета окончательного числа решений с учетом 2-ух последних уравнений. Исходное уравнение взято на https://inf-ege.sdamgia.ru/test?theme=264. Этот пост носит характер попытки применения метода отображения в ситуации несколько более сложной, чем этого обычно требуют задачи ЕГЭ.
 
Мы преднамеренно игнорируем известную битовую маску для {x} и решение представленное в видео Информатика БУ (2015
Демо Версия ЕГЭ Информатика)

https://www.youtube.com/watch?v=MDL5Mym5Aac


(x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ ¬ (x1 ∧ y1) = 1
(x2 ∨ x3) ∧ ((x2 ∧ x3) →x4) ∧ ¬ (x2 ∧ y2) = 1
...
(x5 ∨ x6) ∧ ((x5 ∧ x6) →x7) ∧ ¬ (x5 ∧ y5) = 1
(x6 ∨ x7) ∧ ¬(x6 ∧ y6) = 1
x7 ∧ y7 = 0

**************************************
Конвертация :-
*************************************

(x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ (x1 => ¬y1) = 1
(x2 ∨ x3) ∧ ((x2 ∧ x3) →x4) ∧ (x2 => ¬y2) = 1
...
(x5 ∨ x6) ∧ ((x5 ∧ x6) →x7) ∧ (x5 => ¬ y5) = 1
(x6 ∨ x7) ∧ (x6 => ¬y6) = 1
x7 ∧ y7 = 0

Дерево решений:

x1  x2  x3  y1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 Отображение уравнений 1-5 Наличие у1 {0,1} удваивает число путей из 01 {x1,x2} в  10 и 11 {x2,x3}

Дерево решений: (x6 ∨ x7) ∧ (x6 => ¬y6) = 1 x7 ∧ y7 = 0 x6 x7 y6 y7 0 1 1 0 0 0 1 0 0 1 0 1 0 0

      Генерируем матрицу