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