IsBiUnateFunction IsBlankFunction IsPositiveFunction IsThresholdFunction FromBinary BCD BinaryNumberToString TwoComplement binaryioset() bool() Convert ToShannonTree Get logicvardef() minterm NumberSystem MantissaToPositiveDecimal MantissaToPositiveNumber Save ShortestInputsForDistinguishTwoStates ShortestInputsForTransition TransitionSeries Assign Shannon RandomGenerate IndependentBase SemanticEval ShrinkLogicFunction Substitute Zero