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 IsBlankFunction IsLinearFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo AndXor BCDEx3 BinaryNumberToString StringToBinaryNumber binaryioset() ToAndXor ToShannonTree ToVariableInvertedFunction Diagram Load Nand MostSignificantDigit PositiveIntegerToMantissa POS SAT Solve OutputAndStateBasedly CreateCompactTableWithFullSimplification To2layerOrAnd Balanced StateDeviceName StateTransition ComputeDONTCARE Zero