/p>
end;
delete (s, 1, k +1);
end
else
begin
if s [1] = '^' then
begin
delete (s1, j +1,1);
delete (s, 1,3);
inc (j, 2);
if j
begin
if s1 [j] = '+' then s1 [j]: = '*'
else s1 [j]: = '+'
end;
end
else
begin
insert ('^' , s1 , j +1);
inc (j, 3);
if j
begin
if s1 [j] = '+' then s1 [j]: = '*'
else s1 [j]: = '+'
end;
delete (s, 1,2);
end
endlength (s) = 0;
proverka;;
{***************************************** *********************}
{Процедура виключення імплікації шляхом заміни на еквівалентну формулу в рядку s1}
Procedure implik; i , j, k: byte; pos ('>' < span align = "justify">, s1) <> 0 do
begin
i: = pos ('>' , s1);
if s1 [i - 1] = ')' then
begin
j: = pos (')' , s1);
while j <> i - 1 do
begin
k: = pos ('(' , s1);
s1 [j]: = ']'; s1 [k]: = '[';
j: = pos (')' , s1);
end;
k: = pos ('(' , s1);
insert ('^' , s1 , k);
s1 [i +1]: = '+';
end
Схожі реферати:
Реферат на тему: Creation of control system by a personnel how to begin with a zero Реферат на тему: Доказ теореми Ферма для n = 4 Реферат на тему: Доказ теореми Ферма для n = 3 Реферат на тему: Доказ великої теореми Ферма для парних показників ступеня Реферат на тему: Інформаційно-аналітичне забезпечення управління персоналом
