IsSymmetricFunctionTo BDD NineComplement binary binaryioset ToOrAnd ToTruthTable Email Minus LeastSignificantDigit MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa Realization To2LayerOrAnd SOP MaxSAT AutoAssignInputAndStateVariables Forwardly StateVariables GetExcitationTable To2layerOrAnd Full Shannon string() CreateFromLogicFunctions ComputeFunctionOrder EnlargeLogicFunction var() Zero