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

Search This Website :

 
Buy website traffic cheap