Question

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

Answer 1

Рассмотрим первое уравнение:
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