Question 1005466
<pre>
1. A -> H
             /(A&B) -> H

2. ~H -> ~A           1, Transposition
3. ~H -> (~Av~B)      2, Addition
4. ~(~Av~B) -> ~~H    3, Transposition
5. ~(~Av~B) -> H      4, Double negation
6. (~~A&~~B) -> H     5, DeMorgan
7. (A&B) -> H         6, Double negation

Edwin</pre>