Simplification.DontCare


Back to table
/*
Logic-Function-Analysis
Simplification.DontCare

[LogicFunction g]=Simplification.DontCare(LogicFunction f, LogicFunction dontCare);

f : a logic function
dontCare : a logic function as a DONTCARE function.
g : a logic function may in the simpler form

Simplify a logic function with a DONTCARE.

*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 
   -1,2,-3 ; 
   1,-2,3 ; 
}
PNOT=AndOr()
{
   1,2,3 ;
   -1,-2,-3 ;
}
Print(And(P,PNOT));
[Q]=Utility.ComputeDONTCARE(P,PNOT);

[f]=Simplification.DontCare(P,Q);
Print(P,PNOT,Q);
Print("DONTCARE simplification of (P,Q)=>",f);
Print("Does f covers P=>",Analysis.IsCovering(f,P));

//-------------------------------------------------------------------
// result





AndOr AndXor binaryioset AddXorTerm ToROBDD ToShannonTree ToTruthTable DigitalSystem FeedbackSystem Load logicvardef() MantissaToPositiveNumber MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa real Realization Save Sequential CreateCompactTableWithFullSimplification GetExcitationTable Implementation Fast CreateFromLogicFunctions GetDontCareLogicFunction ComputeDONTCARE SemanticEval Xor XORP Zero

Search This Website :

Buy website traffic cheap