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
ToBinary BCDEx3 BinaryNumberToString binaryioset ToOrAnd ToShannonTree Dimacs logicvardef() logicvardef minterm Minus Nor PositiveNumberToMantissa Or OrAnd PermutationMatrix POS ToFullAnd MaxSAT Backwardly ToDigitalSystem Compatibility MultiCover StateTransition CreateFromLogicFunctions GetPositiveLogicFunction AdjustLogicVariableCount ComputeDONTCARE var() Zero