Решение одной системы уравнений в булевских переменных Методом отображений вместо битовых масок ВК 09.02.18

     Конвертируем в эквивалетную систему

     (x1=>x2)^(y1=>y2) =1
     (x2=>x3)^(y2=>y3) =1
     . . . . . . . . .
     (x5=>x6)^(y5=>y6) =1
     x1=>y1 =1
  
    и применим метод отображений