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



PermuteLogicFunction IsCovering IsEqual IsMonotonicFunction IsParityFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo And AndOr BDD List TwoComplement bool Eq FeedbackDiagram logicvardef() Not LeastSignificantDigit Radixes To2LayerOrAnd Backwardly StateTransitionBasedly HuffmanMealy Balanced SimpleInner CreateFromLogicFunctions ShannonExpansion Substitute Xor Zero

Search This Website :

 
Buy website traffic cheap