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
Advanced Analysis IsMonotonicFunction And List binary AddXorTerm ToPOS ToROBDD ToVariableInvertedFunction DiagramGateName Dimacs Load long Nor Not PositiveDecimalToMantissa RadixFromIndex OrAnd POS To2LayerAndOr ToFullAnd InputVariables Backwardly FastVerificationData SimpleCover StateTransition RandomGenerate ComputeDONTCARE Zero