POS
Back to table
/*
LogicObject
POS
[OrAnd f]=POS(inputindexes){ minterms; };
Define a POS (product of sum) combinatorial logic-object
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsPositiveFunction IsThresholdFunction IsUnateFunction ToAndOr FromBinary List ToBinary TwoComplement ToAndXor ToPOS Diagram DiagramGateName FeedbackDiagram LogicScript logicvardef MantissaToPositiveNumber PositiveNumberToMantissa RadixToIndex OrAnd PermutationMatrix SAT MaxSAT StateTransitionBasedly To2layerOrAnd BestVariableOrder GetPositiveLogicFunction AdjustLogicVariableCount EnlargeLogicFunction ShrinkLogicFunction Zero