Simpligo de Logika Funkcio

Ni havas 5 metodojn por la simpligo de logika funkcio.

1. Simplification.SimpleInner : Forigu la similan logikan terminon.
2. Simplification.SimpleCover : Antaŭen forigu la plenajn aŭ parte kovritajn logikajn terminojn.
3. Simplification.MultiCover : Malantaŭvorte forigu la logikan terminon, kiu estas kovrita de multoblaj logikaj terminoj.
4. Simplification.Full : Metodo kiu generas internajn logikon-terminojn kaj forigas la kovritajn logikon-terminojn.
5. Simplification.Shannon : Metodo serĉas la plej rapidan vojon por malkomponi la logikan funkcion.

La unuaj 3 metodoj estas uzataj en la interna komputado por redukti la logikajn terminojn

Kaj, la lastaj 2 metodoj estas la metodo por la quosi-optimumigita simpligo en la realiga stadio.

[ f ] = AndOr()
{
    1,-2,3,-4,-5,-6 ;
    -1,-2,3,4,-5,6 ;
    -1,2,3,-4,-5,6 ;
    1,-2,3,4,5,6 ;
    -1,-2,-3,4,-5,6 ;
    1,2,-3,4,5,6 ;
    1,2,-3,-4,-5,6 ;
    1,2,-3,-4,5,6 ;
    1,2,-3,4,5,6 ;
    -1,2,-3,-4,5,6 ;
}

// [ g ] = Simplification.Full(f);
[ g ] = Simplification.Shannon(f);

Print("result:", g);

/*
La rezulto devus esti :
g = AndOr()
{
  1,2,-3,-4,6;
  1,2,-3,5,6;
  -1,-2,4,-5,6;
  2,-3,-4,5,6;
  1,-2,3,4,5,6;
  1,-2,3,-4,-5,-6;
  -1,2,3,-4,-5,6;
}
*/