Метод отображений (2013 && 08/2016) VERSUS битовые цепочки от Иноформатика БУ Стрим #26

Исходная система 1

Преобразуем в эквивалентную систему, так как ¬A => ¬B ≡ B => A
и применим правила де Моргана мы получаем:-

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

    Логика битовых цепочек по БУ изложена здесь 
    https://www.youtube.com/watch?v=As-KGTpVE5g
   ( 1 час 58 мин.) . Есть время сходить в ближайшую аптеку и купить
    что-нибудь от головной боли.
 

  Исходная система 2
  
    Логика битовых цепочек по БУ изложена здесь 
    https://www.youtube.com/watch?v=As-KGTpVE5g
    (2 часа 27 мин.) .

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

(x1⊕x2)^(x1=>y1)=1

(x2⊕x3)^(x2=>y2)=1

(x3⊕x4)^(x3=>y3)=1

(x4⊕x5)^(x4=>y4)=1

(x5⊕x6)^(x5=>y5)=1

(x6⊕x7)^(x6=>y6)=1

x7=>y7=1

Диаграмма в стиле 08.2016