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
IsLinearFunction IsThresholdFunction binary() NineComplement binaryioset() ToAndXor AddXorTerm ToDiagram ToTruthTable Equiv Imply list() Count minterm real MaxSAT Solve ShortestInputsForTransition OutputAndStateBasedly ToStateTransitionTable CreateCompactTableWithFullSimplification ToDigitalSystem Fast Canonical DontCare StateDeviceName GetPositiveLogicFunction RandomGenerate var Zero