Подскажите как работает метод битсена для минимизации логических функций? есть один из популярных методов "картой карно" минимизации, битсен тоже популярен, но найти его не могу. есть ли , примеры. может его переименовали. огромное , за !

const

  y = 5;

  x = 2;

var

  x1,x2,y1,y2: integer;

begin

  write('x1 = ');   readln(x1);

  write('y1 = ');   readln(y1);

  write('x2 = ');   readln(x2);

  write('y2 = ');   readln(y2);

 

  if sqrt(  (x1-x) * (x1-x)  + (y1 - y) * (y1 - y))   <   sqrt(  (x2-x) * (x2-x)  + (y2 - y) * (y2 - y)) then

      writeln('a ближе')

  else

        if sqrt(  (x1-x) * (x1-x)  + (y1 - y) * (y1 - y))   >   sqrt(  (x2-x) * (x2-x)  + (y2 - y) * (y2 - y)) then

            writeln('b ближе')

        else

            writeln('они на одинковом расстоянии');

readln;

end.

     

var  a: array [1..100,1..100]of integer;   n,i,j, summ: integer; beginwrite ('n = '); readln(n); for i: =1 to n do  begin  for j: =1 to n do  begin      a[i,j]: = random (99);       write ( a[i,j]: 4);   end;   writeln; end; summ : = 0;   for i : = 1 to (n div 2 + n mod 2) do      for j : = i to n - i + 1 do          summ : = summ + a[i,j];             writeln('summ = ', summ);   readln; end.