Решение Методом Отображений клона одного из примеров оригинальной работы Е.А.Мирончик "Информатика в школе" 10/2013

Модифицируем пример из http://kpolyakov.spb.ru/download/mea-2013-10.pdf

Сделаем  замену  "*"  на "+"

((((( x1 v x2 ) =>x3 ) v x4 ) =>x5 ) v x6 ) => x7 = 1 (1)

В старой нотации

(((( (x1+x2 )->x3 ) +x4 ) ->x5 ) + x6 -> x7 = 1  (2)

Воспроизведем  логику оригинального примера на (1)

  Контроль (2) по Полякову