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



IsCovering IsPositiveFunction IsZeroFunction Binary ToBinary TwoComplement ToAndXor ToOrAnd ToDualFunction ToPOS ToROBDD ToShannonTree Eq list() Count LogicScript long() real() SAT Save AutoAssignInputAndStateVariables OutputAndStateBasedly CreateCompactTableWithFullSimplification MultiCover string CreateDummyLogicFunction IndependentBase ShrinkLogicFunction Substitute Zero

Search This Website :

 
Buy website traffic cheap