MatchLogicFunction IsBiUnateFunction IsEqual OneComplement PureBinary ToOrAnd ToROBDD ToShannonTree ToVariableInvertedFunction DiagramGateName ExcitationTable FeedbackSystem Not NumberSystem PositiveDecimalToMantissa object() One To2LayerAndXor Solve Save StateVariables ToDigitalSystem BestVariableOrder Canonical SimpleCover string() TruthTable CreateFromLogicFunctions ShrinkLogicFunction Zero