IsBlankFunction IsSymmetricFunction AndOr List GrayCode OneComplement PureBinary Load Not LeastSignificantDigit MantissaToPositiveDecimal Radixes RadixFromIndex Print real MaxSAT Backwardly Fast Full StateTransition string TruthTable GetPositiveLogicFunction GetSubTable RandomGenerate ComputeDONTCARE ShrinkLogicFunction Substitute var() Zero