Convert.ToDualFunction
Back to table
/*
Logic-Function-Analysis
Convert.ToDualFunction
[AndOr g]=Convert.ToDualFunction(LogicFunction f);
f : a logic function
g : a logic functin in the AndOr form
Compute the DUAL function, expressed in the AndOr form.
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.ToDualFunction(f);
Print(f,g);
//-------------------------------------------------------------------
// result
IsEqual List StringToBinaryNumber bool() ToDualFunction ToROBDD Diagram Imply minterm() Nor Not MantissaToPositiveInteger PositiveDecimalToMantissa Or OrAnd To2LayerAndOr To2LayerNand ToFullAnd AutoAssignInputAndStateVariables To2layerOrAnd ROBDD MultiCover SimpleCover SimpleInner TruthTable AdjustLogicVariableCount CreateDummyLogicFunction ShannonExpansion Substitute Zero