Решение одной системы уравнений в булевских переменных в стиле 08.2016 "ГРАФЫ И СИСТЕМЫ ЛОГИЧЕСКИХ УРАВНЕНИЙ"

Исходная система описана диграммами в стиле 08.2016 и сразу же просчитана

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

Решение (диаграммы и просчет (1) - (3) ) :-

     Прогон системы и получение ответа для исходной

      ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1

      ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1
      ((x7≡x8)≡x9)=>((x10=>x11)=>x12)=1
      ((x10=>x11)=>x12)=>((x1≡x2)≡x3)=0

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