Решение одной системы с Форума ЕГЭ Информатика (16.05.2019) Методом Отображений

Пост ниже адресует вопрос  cabanov.alexey
 http://egekp.unoforum.pro/?1-6-0-00000115-000-0-0-1558030361

Система
((x1=x2)=x3)->(x4+x5+x6)=1
((x4=x5)=x6)->(x7+x8+x9)=1
((x7=x8)=x9)->(x1+x2+x3)=1

Решаем (1)
******************************
((x1=x2)=x3)->(x4+x5+x6)=1
((x4=x5)=x6)->(x7+x8+x9)=1
******************************
Старт все восемь 1 единиц
Правая тройка (8 строк) содержит 1 ноль  (000) остальные единичные x4+x5+x6=1.  В ноль строку 4 слива то есть в ней 4 
в остальные 7 по 8 сливов, то есть в остальных по 8. 
Второй шаг правая тройка в ноль (000) строку  происходит 
4 слива и среди них один 000 ((x4=x5)=x6)=0) - 4, а оставшиеся три слива в ту же (000) строку по 8 . Всего 4+8*3=28 в (000)
В остальные 7 строк (2^3 - 1) по 4+7*8 =60.
Всего 28+ 7*60 = 448 решений у системы (1)
*********************************************************************
Находим число решений (1) дающих ((x7=x8)=x9)->(x1+x2+x3)=0
*********************************************************************
Старт для 000 зрачение 1 остальные семь битовых комбинаций старт 0. Правая тройка первого блока (8 строк) содержит одну строку х4+х5+х6 =0 ( это 000), а остальные строки единичные имеют сумму бит 1. В ноль строку четыре слива среди них из 000 даст 1, а в остальные семь строк общий слив  1 из всех строк левого столбца (в нем одна 1(000) и семь 0 для каждой из 3-ех битовых комбинаций отличных от 000) , так как  х4+х5+х6 =1. 
Второй шаг правая тройка содержит 4 трех битовых строки,
которые нас интересуют и в каждую сольется по 8 всего 8*4 = 32

Это строки
 001 - 8
111 - 8
100 - 8
010 - 8

Ответ 448 - 32 = 416