"> else
begin
insert ('^' , s1 , i - 1);
s1 [i +1]: = '+';
end;
end;;
{***************************************** *********************}
{ Процедура виключення подвійного заперечення з рядка s1}
Procedure inverX2; i: byte; pos ('^' , s1) <> 0 do
begin
i: = pos ('^' , s1);
if s1 [i +1] = '^' then delete (s1, i, 2)
else s1 [i]: = '-';
end; pos ('-' , s1)> 0 do
begin
i: = pos ('-' , s1);
s1 [i]: = '^';
end;;
{ ********************************* *****************************}
{Процедура виключення еквіваленціі шляхом заміни на еквівалентну формулу в рядку s1}
Procedure ekvivalentia; i , j, k: byte;
s2 , s3: string [2];
ss: string [20];
i: = pos ('<' , s1);
if (s1 [i - 2] = '^') and (i - 1 <> 1) then
begin
s2: = copy (s1, i - 2,2);
j: = i - 2
end
else
begin
s2: = copy (s1, i - 1,1);
j: = i - 1
end;
if (s1 [i +2] = '^') and (i +1 <> length (s1)) then
begin
s3: = copy (s1, i +2,2);
k: = i +4 -
