n> j
end
else
begin
k: = i +3 - j;
s3: = copy (s1, i +2,1);
end;
delete (s1, j, k);
ss: = '(' + '^' + s2 + '+' + s3 + ')' + '*' + '(' + s2 + '+' + '^' + s3 + ')' ;
insert (ss, s1 , j); pos ('<>' < span align = "justify">, s1) = 0;
end;
; ('Введіть кількість посилок:');
readln (np);;: = 0; i: = 1 to np do
begin
write ('введіть', i, ' - й рядок:');
readln (s1);
if pos ('<>' , s1) <> 0 then ekvivalentia;
if pos ('>' , s1) <> 0 then implik;
inverX2;
Obrab ('+', '*');
j: = pos ('*' , s1);
while j <> 0 do
begin
s1 [j]: = ',';
j: = pos ('*' , s1);
end;
repeat
n1: = 1;
inc (n);
k: = pos (',', s1);
if k = 0 then k: = length (s1) +1;
ss: = copy (s1, 1 , k - 1);
delete (s1, 1 , k);
repeat
n2: = pos ('+' , ss);
if n2 = 0 then n2: = length (ss) +1;
stp [n, n1]: = copy (ss, 1, n2-1);
delete (ss, 1, n2); inc (n1);
until length (ss) = 0;
sx [n]: = n1-1;
until length (s1) = 0;
end;
write ('введіть теорему:'); readln (s1);
if pos ('<>' , ...
