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

Система

((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

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

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

Ответ 448 - 32 = 416