DONTCARE Simplification

In many cases, a logic project may have many logic functions, and a set of irrelevant or useless logic function. We call these irrelevant logic-function as DONTCARE.

It is generally known that, we can simplify a logic function, become more simple by using its 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);

/*
The result should be :
//--------------------------------------------------//
/// 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;
}
*/



Analysis IsBiUnateFunction IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction AndOr BDD Binary OneComplement bool ToROBDD Dimacs Equiv Get long minterm MantissaToPositiveInteger MostSignificantDigit PositiveIntegerToMantissa Radixes object() One To2LayerOrAnd To2LayerAndXor Solve ToStateTransitionTable SimpleCover TimingChart CreateDummyLogicFunction Zero

Search This Website :

 
Buy website traffic cheap