IsBiUnateFunction IsBiUnateFunctionTo IsEqual IsPositiveFunction IsSelfAntiDualFunction IsUnateFunction IsZeroFunction AbsoluteExpression NineComplement PureBinary Convert ToDualFunction Load LogicScript long RadixToIndex object One To2LayerNand SAT TransitionSeries Forwardly OutputAndStateBasedly ToFeedbackSystem ShannonTree Canonical GetDontCareLogicFunction ComputeDONTCARE ShannonExpansion Zero