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