информатика алгебра логики

Проведем замену:
(x1 ≡ x2)=y1
(x3 ≡ x4)=y2
(x5 ≡ x6)=y3
(x7 ≡ x8)=y4
(x9 ≡ x10)=y5

(у1) or (у2)=1
это уравнение имеет 3 решения
y1=1,y2=0 или y1=0,y2=1 или y1=1,y2=1

(у2) or (у3)=1
это уравнение имеет 3 решения
y2=1,y3=0 или y2=0,y3=1 или y2=1,y3=1

сравниваем с первым уравнением (по у2):
y2=1,y3=0 => y1=0 или y1=1
y2=0, y3=1 => y1=1
y2=1,y3=1 => y1=0 или y1=1
итого 5 решений

(у3) or (у4)=1
сравниваем со вторым уравнением (по у3):
y3=1,y4=0 => y2=0 y1=1 или y2=1 y1=0 или y2=1 y1=1
y3=0, y4=1 => y2=1 y1=0 или y1=1 y2=1
y3=1,y4=1 => y2=0 y1=1 или y2=1 y1=0 или y2=1 y1=1

Итого 8 решений

(у4) or (у5)=1
сравниваем с третьим уравнением (по у4):
y4=1,y5=0 => y3=0 y2=1 y1=0 или y1=1 y2=1 y3=0 или y3=1 y2=0 y1=1 или y3=1 y2=1 y1=0 или y3=1 y2=1 y1=1

y4=0, y5=1 => y3=1 y2=0 y1=1 или y3=1 y2=1 y1=0 или y3=1 y2=1 y1=1

y4=1,y5=1 => y3=0 y2=1 y1=0 или y1=1 y2=1 y3=0 или y3=1 y2=0 y1=1 или y3=1 y2=1 y1=0 или y3=1 y2=1 y1=1
Итого: 13 решений
----------------------------------------------------------------
Теперь перейдем к поиску количества решений, используя обратную подстановку для y
y1=(x1 = x2)-для каждого из значений y1 есть два решения.
Например,
если y=0, то x1=0, x2=1 или x1=1, x2=0
если y=1, то x1=0, x2=0 или x1=1, x2=1

Аналогично для у2, y3, y4, y5

Пары решений (x1,x2),(x3,x4),(x5,x6),(x7,x8),(x9,x10) - не зависят друг от друга, поэтому комбинаций решений равно
2^5=32
(каждая пара дает два решения и у нас есть 5 пар)

Общее количество решений:
32*13=416
---------------------------------------------------------------------------------
Если я нигде не ошиблась, то ответ 416