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
IsBlankFunction IsSelfDualFunction BDD BCD BinaryNumberToString OneComplement PureBinary ToAndXor ToSOP ToTruthTable ToVariableInvertedFunction Eq long Nand MantissaToPositiveDecimal Radixes POS real() To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries AutoAssignInputAndStateVariables CreateCompactTable FastVerificationData SimpleInner GetNegativeLogicFunction AdjustLogicVariableCount CreateDummyLogicFunction XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.