Известно что соо сообщение учителя о том что к доске пойдет Петр Сидоров содержит бит информации Сколько учеников в классе​

Function SolveX(a,b,c:real; var x1,x2:real):integer;
{
Возвращает:
-1 - нет вещественных корней
 0 - один корень х1
 1 - два корня х1,х2
}
var D:real;
begin
  D:=b*b-4*a*c;
  if D<0 then SolveX:=-1
  else
    if D=0 then begin
      x1:=(1+b*c0)/(2*c);
      if x1=b then SolveX:=-1 else SolveX:=0
      end
    else begin
      D:=sqrt(D);
      x1:=(1+b*c-D)/(2*c);
      x2:=(1+b*c+D)/(2*c);
      if x1=b then begin SolveX:=0; x1:=x2 end
      else
        if x2=b then SolveX:=0
        else SolceX:=1
      end
end;

1) пассажир Иванов живёт в Москве;
2) проводник живёт на полпути между Москвой и Санкт-Петербургом;
3) пассажир-однофамилец проводника живёт в Санкт-Петербурге;
4) у пассажира, который живёт ближе к месту жительства проводника, чем другие пассажиры, вдвое больше детей, чем у проводника;
5) у пассажира Петрова трое детей;
6) Сидоров (из поездной бригады) недавно выиграл у машиниста партию на бильярде

7) п1+п3 = проводник не Иванов. Кто-то из пассажиров живет в С-Петербурге
8) п4+п5+п7 = У Петрова нечетное кол-во детей, значит он не тот кто живет рядом с проводником. Петров живет в С-Петербурге
9) п3+п8 =  У проводника фамилия Петров
10) п6+п9 = машинист не Сидоров. Машинист - Иванов

ответ: Иванов