Метод Отображений (Графы и системы логических уравнений) vs Метод битовых масок .Решение одного не вполне тривиального примера по Е.А.Мирончик (mea-2016-8.pdf)

Рассмотрим систему, где Метод битовых масок похоже мало чем может помочь :-

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

и применим технику из http://kpolyakov.spb.ru/download/mea-2016-8.pdf
      

     Здесь мы обратимся к классике жанра , используя идеологию того же автора

    SystemOne

   Контроль по Полякову

  

    Рассмотрим систему

     (x1=>x2) v (x3=>x4=>x5)=1
     (x3=>x4=>x5) v (x6=>x7=>x8=>x9)=1
     (x6=>x7=>x8=>x9) v (x10=>x11=>x12=>x13=>x14)=1
     (x10=>x11=>x12=>x13=>x14) v (x15=>x16=>x17=>x18=>x19=>x20)=1
   
   Используем SystemOne (per chain of implications length 6) получаем