Решение методом отображений Задачи 23 ВКонтакте от 11/08/17

 

  Equivalent system
    

  ┐(x1~x2)^┐(x1~x3) = 0

  ┐(x2~x3)^┐(x2~x4) = 0 

  ┐(x3~x4)^┐(x3~x5) = 0 

  . . . . . . . 

  ┐(x8~x9)^┐(x8~x10) = 0 

  Convert to next system

     (x1~x2)v(x1~x3) =1

     (x2~x3)v(x2~x4) =1

     (x3~x4)v(x3~x5) =1

     . . . . . . 

     (x8~x9)v(x9~x10) =1

Applying  mapping