IsPositiveFunction IsUnateFunctionTo BDD ToAndOr BCD NineComplement bool() ToNotFunction ToPOS ToSOP Diagram logicvardef Nor MostSignificantDigit PositiveDecimalToMantissa Radixes real() To2LayerNand ShortestInputsForTransition StateVariables ToStateTransitionTable HuffmanMealy Balanced MultiCover SimpleCover TruthTable ComputeDONTCARE SemanticEval XORP Zero