Solution of Assignment # T2951 (oncoming and reverse pass) Yandex Tutor of the Unified State Examination Informatics 2020

Original source

(x2=>x1)^(x3=>x2)^(x4=>x3)^(x5=>x4)=1
(x8=>(x6≡x7))^(x11=>(x9≡x10))^(x14=>(x12≡x13))=1
x2=>x8=1

Demonstration the technology of the oncoming and reverse passage 10.2019 on a simple example of Yandex # T2951 USE Informatics 2020