Update docs for make_boolean_function and Adders - Subtractors