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

рассмотрим первое уравнение:x1→x2+x1→x3=1x1→x2+x1=¬x1+x2+x1 =1  (тк ¬x1+x1=1)1→x3=1¬1+x3=10+x3=1  то есть  решением первого уравнения являются:x1  x2  x30   0     10    1    11   0     11   1     1          всего 4 решенияостальные уравнения не дадут дополнительных решений.итого :   4 решения, а именно:x1  x2  x3  x4   x5  x6  x7  x8  x9  x100   0     1    1     1    1    1   1    1     10   1     1    1     1    1    1   1    1     11  0      1    1     1    1    1   1    1     11  1      1    1     1    1    1   1    1     1  ответ 4