Решение в формате 08.2016 Задания #Т4888 ( тип 23 ЕГЭ Информатика ) из очереди для стрима Информатика БУ

Задание

Решение системы формате 08.2016

((x1 v y1)=>(x2 v y2)) ^ (x1=>y1)=1
((x2 v y2)=>(x3 v y3)) ^ (x2=>y2)=1
((x3 v y3)=>(x4 v y4)) ^ (x3=>y3)=1
((x4 v y4)=>(x5 v y5)) ^ (x4=>y4)=1
((x5 v y5)=>(x6 v y6)) ^ (x5=>y5)=1
((x6 v y6)=>(x7 v y7)) ^ (x6=>y6)=1
((x7 v y7)=>(x8 v y8)) ^ (x7=>y7)=1
(x8=>y8)=1