Заданную логическую формулу преобразовать в эквивалентную днф

[sergei15]

заданную логическую формулу преобразовать в эквивалентную днф

код преобразует заданную днф в эквивалентную правильную днф. как переделать под мою задачу?

uses crt;
const n=5;
var
s: string;
M: array[1..n] of string;
len: array[1..n] of integer;
i,k,j: integer;
a,b,c,d,e,st:string;
begin
    clrscr;
    writeln('vvedite ', n,'prostix konunkcii');
    readln(a);
    readln(b);
    readln(c);
    readln(d);
    readln(e);
    M[1]:=a; M[2]:=b; M[3]:=c; M[4]:=d; M[5]:=e;
     { for i:=1 to n do
      begin
      readln(M[i]);
      end;
writeln(M[4]);}
   { k:=5;
    for i:=1 to n do begin
      while k=0 do begin
      write('(',M[i],') ');
      write('or ');
      k:=k-1;
      end;
      end; }
writeln;
writeln;
st:='not ';
  for i:=1 to n do begin
  len[i]:=length(M[i]);
  end;
      for i:=1 to n do begin
      if (M[i]=st+M[i+1]) or (M[i]=st+M[i+2]) or (M[i]=st+M[i+3]) or (M[i]=st+M[i+4])
      then M[i]:='1'; a:=st+M[i]; delete(a,1,len[i]);
      if (M[i] = M[i+1]) or (M[i]=M[i+2]) or (M[i]=M[i+3]) or (M[i]=M[i+4])
      then delete(M[i],1,len[i]);
      end;
       for i:=1 to n do
      write(M[i],' ');
 
 
readln;
end.

[TinMan]

Сообщение от sergei15

заданную логическую формулу преобразовать в эквивалентную днф

Что такое днф я знаю. А что такое "логическая формула"? Звучит очень расплывчато.

[sergei15]

ввод простых конъюнкций типа х y not y x