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

рассмотрим первое уравнение: x1→x2+x1→x3=1 x1→x2+x1=¬x1+x2+x1 =1  (тк ¬x1+x1=1) 1→x3=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