Отыскать количество решений системы логических уравнений (с обоснованием ответа)

"+" - ?

Рассмотрим первое уравнение:
x1x2+x1x3=1
x1x2+x1=x1+x2+x1 =1  (тк x1+x1=1)
1x3=1
1+x3=1
0+x3=1
  то есть  решением первого уравнения являются:
x1  x2  x3
0   0     1
0    1    1
1   0     1
1   1     1          всего 4 решения

остальные уравнения не дадут дополнительных решений.
итого :   4 решения, а именно:
x1  x2  x3  x4   x5  x6  x7  x8  x9  x10
0   0     1    1     1    1    1   1    1     1
0   1     1    1     1    1    1   1    1     1
1  0      1    1     1    1    1   1    1     1
1  1      1    1     1    1    1   1    1     1
  ответ 4