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
Advanced IsEqual IsPositiveUnateFunctionTo IsZeroFunction TwoComplement binaryioset() ToVariableInvertedFunction DiagramGateName FeedbackDiagram Nor MantissaToPositiveDecimal PositiveNumberToMantissa Print Realization To2LayerAndOr ToFullAnd MaxSAT Solve Save ShortestInputsForDistinguishTwoStates Backwardly ToDigitalSystem FastVerificationData Canonical Full GetDontCareLogicFunction Utility CreateDummyLogicFunction IndependentBase Zero