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

  

  

 Все строки оригинальной системы могут быть преобразованы
 в эквивалентые конъюнкции следующим образом

(x1 v x2)  => ¬(x3 v x4) =1
  ¬(x1 v x2) v ¬(x3 v x4) =1
    (x1 v x2)^(x3 v x4) = 0

Далее применяем Метод отображения по
схеме из mea-2016-08.pdf как и ранее