Вариации на тему форума ЕГЭ Информатика "Очередное «доказательство» парадигмы Елены Mирончик" - Решение одной системы уравнений в булевских переменных в стиле 08.2016 "ГРАФЫ И СИСТЕМЫ ЛОГИЧЕСКИХ УРАВНЕНИЙ"

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

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

Расчет системы
  ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1
  ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1
в верхней половине таблицы

Расчет системы 
  ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1
  ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1
  ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=0

в нижней половине таблицы

   В нижней части таблицы мы стартуем прогон выставив единичные значения у 3-ех битовых групп , где (х1=>x2)=>x3=0.  По завершение считаем количество (x7≡x8)≡x9 равных 1 в последней колонке , где вообще говоря, находятся битовые тройки ассоциированные с  (x7=>x8)=>x9 . 

В зеленой группе (3 тройки 001,100,111) и (x7=>x8)=>x9=(x7≡x8)≡x9 
В серой группе (1 тройка 010) и (x7=>x8)=>x9=0, но (x7≡x8)≡x9=1

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

  

    

Контроль системы
   ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1
   ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1

   Контроль системы
     ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1
     ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1
     ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=0

Ссылки
1.  http://egekp.unoforum.pro/?1-6-0-00000115-000-0-0-1558858221
2.  https://vk.com/club180658320?w=wall-180658320_64%2Fall