Convert.ToPOS
Back to table
/*
Logic-Function-Analysis
Convert.ToPOS
[OrAnd g]=Convert.ToPOS(LogicFunction f);
Compute the POS of the logic object
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunction IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction AndOr BDD Binary OneComplement bool ToROBDD Dimacs Equiv Get long minterm MantissaToPositiveInteger MostSignificantDigit PositiveIntegerToMantissa Radixes object() One To2LayerOrAnd To2LayerAndXor Solve ToStateTransitionTable SimpleCover TimingChart CreateDummyLogicFunction Zero