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
IsNegativeUnateFunctionTo IsThresholdFunction And AndXor AbsoluteExpression OneComplement TwoComplement Convert ToROBDD DigitalSystem Email Load logicvardef Nand Save StateVariables OutputAndStateBasedly GetExcitationTable Implementation Balanced SimpleCover string() string GetNegativeLogicFunction GetPositiveLogicFunction ComputeFunctionOrder ShannonExpansion ShrinkLogicFunction Substitute Zero