En multaj kazoj, logika projekto povas havi multajn logikfunkciojn, kaj aron de sensignifa aŭ senutila logika funkcio. Ni nomas ĉi tiujn senrilatajn logikfunkciojn kiel DONTCARE.
Estas ĝenerale konata ke, ni povas simpligi logikan funkcion, fariĝi pli simpla uzante ĝian DONTCARE.
[ 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 ;
}
[ d ] = 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 ;
}
[ g ] = Simplification.DontCare(f,d);
Print("result:");
Print(g);
/*
La rezulto devus esti :
//--------------------------------------------------//
/// Time for executing 'Simplification.DontCare' : 671ms
"result:";
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;
}
*/