Boolean adder problem.
minor corrections