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
IsBiUnateFunction IsInverse IsNegativeUnateFunctionTo IsZeroFunction AndOr ToAndOr binary() AbsoluteExpression List TwoComplement binary bool() ToDiagram ToNotFunction ToSOP ToVariableInvertedFunction Count long() MantissaToPositiveNumber PositiveNumberToMantissa Radixes object() Solve StateVariables StateTransitionBasedly ToStateTransitionTable FastVerificationData Canonical SimpleInner Zero