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