Решение задачи 23 из традиционного Новогоднего КИМа от Алекса Данова

Условие

   Классика

   x1v(y1=>x2)^y2=0
   x2v(y2=>x3)^y3=0
   x3v(y3=>x4)^y4=0
   x4v(y4=>x5)^y5=0
   x5v(y5=>x6)^y6=0
   x6v(y6=>x7)^y7=0
   x7v(y7=>x8)^y8=0
   x8v(y8=>x9)^y9=0
   x9v(y9=>x10)^y10=0

 

   Для сравнения решим в стиле последней работы по системам уравнений в булевских переменных ( Метод Отображений - Видимая часть айсберга ИВШ №10 2019, Елена Мирончик ). Заметим , что x1,x2,...,x9 - это очевидные "0". Строим диаграмму для у1,y2,.. y9 согласно ¬y[j-1]^y[j] = 0,первые восемь долей одинаковые. х10 может быть любым, то есть переход у9 к у10 несколько сложней.