Проверяем не состоят ли наши формулы только, или частично из логических констант. Тогда задача упрощаеться

//проверка на логические константы
for j:=1 to length(workstr1) do
if (workstr1[j] in ['a'..'z']) then begin i:=255; break; end;
k:=0;
for j:=1 to length(workstr2) do
if (workstr2[j] in ['a'..'z']) then begin k:=255; break; end;
if ((k=255) and (i<>255)) or ((i=255) and (k<>255)) then begin ShowMessage('Формулы не эквивалентны!'); exit; end;
//если формулы только из логических констант
if i<>255 then
begin
if istinnost(edit1.Text)=istinnost(edit3.Text) then ShowMessage('Формулы эквивалентны!')
else ShowMessage('Формулы не эквивалентны!');
end
else begin
peremennye:=postroenie(workstr1);