Utility.ComputeDONTCARE
Back to table
/*
Logic-Function-Analysis
Utility.ComputeDONTCARE
[LogicFunction g]=Utility.ComputeDONTCARE(LogicFunction F, LogicFunction FNOT);
F : a logic function
FNOT : a logic function
g : a logic function
Compute the DONTCARE of an incompletely defined logic function F, and FNOT.
*/
//-------------------------------------------------------------------
// examples
[f1]=Utility.CreateDummyLogicFunction("AndOr",4,5);
[f2]=Utility.CreateDummyLogicFunction("AndOr",4,5);
[g]=Utility.ComputeDONTCARE(f1,f2);
Print(f1,f2,g);
Print(And(f1,g),And(f2,g));
//-------------------------------------------------------------------
// result
IsInverse IsPositiveFunction BCDEx3 GrayCode binary AddXorTerm ToNotFunction Eq ExcitationTable FeedbackDiagram long() minterm RadixToIndex SAT ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables InputVariables Backwardly StateVariables Implementation Compatibility BestVariableOrder FastVerificationData ROBDD Shannon string() CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.