Analysis IsBiUnateFunction IsCovering IsPositiveFunction binary() FromBinary NineComplement PureBinary logicvardef Nor MantissaToPositiveInteger object() real To2LayerOrAnd ToFullAnd OutputAndStateBasedly ToFeedbackSystem Simplification Balanced BestVariableOrder string TimingChart CreateFromLogicFunctions GetNegativeLogicFunction AdjustLogicVariableCount ComputeFunctionOrder IndependentBase SemanticEval XORP Zero