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

Search This Website :

 
Buy website traffic cheap