Simplifikazzjoni tal-Funzjoni Loġika

Għandna 5 metodi għas-simplifikazzjoni tal-funzjoni loġika.

  1. Simplification.SimpleInner : Neħħi t-terminu loġiku simili.
  2. Simplification.SimpleCover : Neħħi 'l quddiem it-termini loġiċi kollha jew parzjalment koperti.
  3. Simplification.MultiCover : Backwordly neħħi t-terminu loġiku li huwa kopert minn termini loġiċi multipli.
  4. Simplification.Full : Metodu li jiġġenera termini loġiċi interni u jneħħi t-termini loġiċi koperti.
  5. Simplification.Shannon : Metodu jfittex l-iktar triq mgħaġġla biex jiddekomponi l-funzjoni-loġika.

L-ewwel 3 metodi jintużaw fil-komputazzjoni interna għat-tnaqqis tat-termini loġiċi

U, l-aħħar 2 metodi huma l-metodu għas-simplifikazzjoni ottimizzata tal-quosi fl-istadju tar-realizzazzjoni.

[ 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);

/*
Ir-riżultat għandu jkun :
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;
}
*/



IsPositiveUnateFunctionTo IsZeroFunction And BDD NineComplement PureBinary TwoComplement binary ToNotFunction ToROBDD Dimacs minterm() Not MantissaToPositiveNumber PositiveIntegerToMantissa One OrAnd POS Print To2LayerNor To2LayerOrAnd To2LayerNand TransitionSeries Balanced ROBDD Full GetSubTable ComputeFunctionOrder Normalization Zero

Fittex Din il-Websajt :

 
Buy website traffic cheap