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
IsCovering IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo BDD Binary BCD NineComplement OneComplement StringToBinaryNumber TwoComplement binaryioset ToSOP Diagram DiagramGateName Dimacs Equiv logicvardef() minterm Nor Not RadixToIndex real To2LayerAndXor InputVariables CreateCompactTable ShannonTree Canonical IndependentBase ShrinkLogicFunction Zero