В результате работы всех описанных ранее функций мы получили какую то логическую константу вместо выделенной скобки. Либо ноль, либо единицу. Результат подставим в исходную формулу.

//убираем значки $ если флаг тру
if flag=true then begin
f:='';
for i:=1 to length(skobka) do
if skobka[i]<>'$' then f:=f+skobka[i];
skobka:=f;
end;
//заменяем скобку в исходном выражении на полученную логическую константу
if k=0 then begin
delete (s,nach,kon-nach+2);
insert (skobka,s,nach);
end
else begin
delete (s,nach-1,kon-nach+2);
insert (skobka,s,nach-1);
end;
until (k < 2 );
istinnost:=s;
end;