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
MatchLogicFunction IsEqual IsSymmetricFunction IsSymmetricFunctionTo AndOr StringToBinaryNumber TwoComplement ToDiagram ToDualFunction ToTruthTable ToVariableInvertedFunction ToXORP Diagram Load logicvardef() long LeastSignificantDigit MantissaToPositiveInteger PositiveDecimalToMantissa PositiveIntegerToMantissa Or OrAnd Realization MaxSAT AutoAssignInputAndStateVariables Canonical CreateFromLogicFunctions RandomGenerate Substitute Zero