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
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
Analysis IsCovering IsLinearFunction IsSelfAntiDualFunction IsSymmetricFunctionTo IsUnateFunction BDD MinValue BCDEx3 BinaryNumberToString OneComplement bool() ToROBDD Diagram ExcitationTable list() long() MantissaToPositiveInteger MostSignificantDigit PositiveDecimalToMantissa object One OrAnd PermutationMatrix AutoAssignInputAndStateVariables TimingChart GetNegativeLogicFunction ComputeDONTCARE XORP Zero