MatchLogicFunction IsThresholdFunction IsUnateFunction BDD ToBinary OneComplement StringToBinaryNumber DiagramGateName DigitalSystem FeedbackDiagram Get LogicScript minterm() NumberSystem MantissaToPositiveDecimal MantissaToPositiveNumber PositiveNumberToMantissa POS To2LayerOrAnd Solve StateVariables GetExcitationTable Implementation FullTable Balanced Full CreateFromLogicFunctions GetDontCareLogicFunction GetSubTable Zero