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
IsNegativeUnateFunctionTo IsThresholdFunction And AndXor AbsoluteExpression OneComplement TwoComplement Convert ToROBDD DigitalSystem Email Load logicvardef Nand Save StateVariables OutputAndStateBasedly GetExcitationTable Implementation Balanced SimpleCover string() string GetNegativeLogicFunction GetPositiveLogicFunction ComputeFunctionOrder ShannonExpansion ShrinkLogicFunction Substitute Zero