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
IsPositiveFunction And AbsoluteExpression MinValue ToBinary OneComplement binary ToDualFunction ToVariableInvertedFunction Imply logicvardef long() Nand NumberSystem MantissaToPositiveNumber RadixFromIndex SOP MaxSAT TransitionSeries Implementation Compatibility HuffmanMealy Balanced FastVerificationData RandomGenerate Utility AdjustLogicVariableCount ShannonExpansion var Zero