Начинаем разбирать функции, относящиеся уже ко второй вкладке программы "Проверка эквивалентности формул".

procedure TForm1.TabSheet2Show(Sender: TObject);
begin
if edit1.Text='' then edit1.Text:=formula.Text;
end;

procedure TForm1.TabSheet3Show(Sender: TObject);
begin
if edit2.Text='' then edit2.Text:=formula.Text;
end;
//проверка эквивалентности двух формул
procedure TForm1.Button2Click(Sender: TObject);
var
i,j:byte;
workstr1, workstr2, peremennye, binstr, podstavim1, podstavim2:shortstring;
k,t:cardinal;
begin