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;
}
*/