В каждом уравнении системы пара скобок, связанных конъюнкцией. Для получения истины нужно чтобы и первая скобка была истинна, и вторая скобка была истинна. При этом каждая скобка является отрицанием эквиваленции, проще говоря, x1 не равно x2, x2 не равно x3 и т.д.
Получается, что в наборе цепочек значений x1..x10 не может быть двух подряд идущих единиц или нулей. То есть, если, к примеру, в наборе значений x3=1 и x4=1, то второе уравнение будет ложно, значит ложной будет вся система.
Answers & Comments
Verified answer
В каждом уравнении системы пара скобок, связанных конъюнкцией.Для получения истины нужно чтобы и первая скобка была истинна, и вторая скобка была истинна.
При этом каждая скобка является отрицанием эквиваленции, проще говоря, x1 не равно x2, x2 не равно x3 и т.д.
Получается, что в наборе цепочек значений x1..x10 не может быть двух подряд идущих единиц или нулей. То есть, если, к примеру, в наборе значений x3=1 и x4=1, то второе уравнение будет ложно, значит ложной будет вся система.
Выходит, всего существует два набора переменных:
x1 1 0
x2 0 1
x3 1 0
x4 0 1
x5 1 0
x6 0 1
x7 1 0
x8 0 1
x9 1 0
x10 0 1
Ответ: 2 набора.