By Bear:

Построение ИСНФ-2:

1. В табличном представлении функции выбираем наборы, на которых функция принимает значение 1.
2. Выписываем хитрые импликации вида X1->X2->..->Xn таким образом, что если X1=1 в этом наборе, то записываем его напрямую, а если X1=0 в этом наборе, то - с отрицанием. Для остальных переменных поступаем диаметрально противоположным способом. Затем накрываем полученный импликант двумя операциями отрицаниями: одна охватывает первые две переменные, а вторая все переменные с первой до предпоследней. В случае 3 переменных, остаётся только одно отрицание.
3. Полученные конъюнкции объединяем операцией дизъюнкции.

By d'AEON:

А теперь – то ИСНФ2 – цветочки.Опять просто привожу кусок программы для Delphi32 . Надеюсь разберетесь… Ну а если непонятно – сожалею… Это не лечится …

procedure TForm7.ISNF2;

var i,j:integer;

    f:textfile;

    a:integer;

begin

a:=0;

assignfile(f,'temp.io');

rewrite(f);

if stringgrid1.colcount-2=1 then WRITELN(f,function_str) else

for j:=1 to stringgrid1.rowcount-1 do begin

if a>1 then writeln(f,'v');

if stringgrid1.colcount-2=2 then begin

 if stringgrid1.cells[1,j]='1' then write(f,'_',atoms[1],'->')

 else write(f,atoms[1],'->');

 if stringgrid1.cells[2,j]='1' then write(f,atoms[2])

 else write(f,'_',atoms[2]);

end else

if stringgrid1.colcount-2>=2 then begin

 write(f,'_(');

 write(f,'_(');

 if stringgrid1.cells[1,j]='1' then write(f,'_',atoms[1],'->')

 else write(f,atoms[1],'->');

 if stringgrid1.cells[2,j]='1' then write(f,atoms[2],')')

 else write(f,'_',atoms[2],')');

 if stringgrid1.colcount-2>2 then begin

 if  stringgrid1.colcount-2>3 then write(f,'->');

 i:=2;

 if stringgrid1.colcount-3>0 then

 for i:=3 to stringgrid1.colcount-3 do

  if i<>stringgrid1.colcount-3 then

   if stringgrid1.cells[i,j]='1' then write(f,atoms[i],'->')

   else write(f,'_',atoms[i],'->')

  else

   if stringgrid1.cells[i,j]='1' then write(f,atoms[i])

   else write(f,'_',atoms[i]);

 write(f,')->');

 inc(i);

  if stringgrid1.cells[i,j]='1' then write(f,atoms[i])

  else write(f,'_',atoms[i])

 end else write(f,')');

end;

 a:=2;

end;

closefile(f);