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
PermuteLogicFunction IsOneFunction IsUnateFunctionTo BCD StringToBinaryNumber ToNotFunction ToPOS ToVariableInvertedFunction logicvardef long() minterm NumberSystem RadixFromIndex object real() Realization SOP SAT Sequential ShortestInputsForDistinguishTwoStates OutputAndStateBasedly Compatibility HuffmanMealy Balanced FastVerificationData StateTransition AdjustLogicVariableCount ShannonExpansion var Zero