MatchLogicFunction IsCovering IsMonotonicFunction IsOneFunction IsParityFunction ToAndOr List BCD ToAndXor ToOrAnd ToShannonTree ToTruthTable DiagramGateName Get logicvardef Nor MantissaToPositiveInteger PositiveDecimalToMantissa PositiveIntegerToMantissa object() One ShortestInputsForDistinguishTwoStates ToFeedbackSystem HuffmanMealy Fast MultiCover TimingChart RandomGenerate ComputeFunctionOrder Zero