Эта часть функции выделяет часть формулы, которая расположена в скобках. Программа интерпритирует каждую скобку по очереди. Также убираем операци с одним операндом - отрицание.

//выделяем подстроку - содержимое скобки
nach:=0; kon:=0; k:=2 ;
for i:=1 to length(s) do
begin
if s[i]='(' then nach:=i+1 else 
if s[i]= ')' then begin kon:=i; break; end;
end;
if kon=0 then begin skobka:=s; kon:=length(s)+1; nach:=1; k:=0; end
else if ((kon=length(s)) and (nach=2)) then begin skobka:=copy(s,nach,kon-nach); k:=1; end
else begin skobka:=copy(s,nach,kon-nach)end;
/////////////////////////////////////////////
flag:=false;
//убираем отрицания у переменных
i:=1;
while i<length(skobka) do
begin
if skobka[i]='!' then begin
if skobka[i+1]='0' then skobka[i+1]:='1'
else skobka[i+1]:='0';
skobka[i]:='$';
flag:=true;
i:=i+2;
end;
inc(i);
end;

1. Метод сканирования.
2. Метод случайных направлений
3. Шифрование текста.