===== PascalABC.NET =====
begin
var a := ArrRandom(50, -99, 99);
a.Println;
var b := ReadArrReal('Ведите 10 чисел:', 10);
b.Println;
end.
Наливаете полный сосуд 5 литров и переливаете в сосуд 7 литров. в сосуде 7 литров останется 2 свободных литра, потом вы наливаете полный сосуд 5 литров и переливаете в сосуд 7 литров.в сосуде 7 литров останется 4 свободных литра, потом наливаете полный сосуд 5 литров и переливаете в сосуд 7 литров. в сосуде 7 литров будет налит 1 литр, потом наливаете полный сосуд 5 литров и все. в сосуде7 литров будет один литр, а в сосуде 5 литров будет 5литров.
В каждом уравнении системы пара скобок, связанных конъюнкцией.
Для получения истины нужно чтобы и первая скобка была истинна, и вторая скобка была истинна.
При этом каждая скобка является отрицанием эквиваленции, проще говоря, 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 набора.
<span>МСО Visio, Sketsa SVG Editor / все CADы векторные (3д SweetHome, FloorPlan, CAD Architects) / ГИСы</span>