ритми, які я зможу використовувати при вирішенні завдань більш широкого класу.
Додаток 1. (Робоча програма за методом пропозіціональной резолюції)
uses crt; mas = array [1. . 50,1 .. 40] of string [2] ; stp: mas;
sx: array [1 .. 40] of byte;
i, j, n: byte;
{ ********************************* *****************************}
{ Процедура введення і перетворення формул }
Procedure Wwod; np , j, i, k, n1 , n2: byte;
ss , s1: string; sc: char;
Procedure Obrab (c1, c2: char);
Procedure zamena;
var i: byte;
begin
i: = pos ('(', s1);
while i <> 0 do
begin
s1 [i]: = '(';
i: = pos ('(', s1);
end;
i: = pos (')' , s1);
while i <> 0 do
begin
s1 [i]: = ')';
i: = pos (')' , s1);
end;
i: = pos ('-' , s1);
while i <> 0 do
begin
s1 [i]: = '^';
i: = pos ('-' , s1);
end;
end;
{***************************************** *********************}
{ Процедура застосування закону Де Моргана }
Procedure DeMorgan (var s1: string);
var i , j, k: byte;
begin
i: = pos ('^' , s1); delete (s1, i, 2);
k: = pos (')' , s1); delete (s1, k, 1);
while true do
begin
...
