Question 981348
<pre>
1.  ~(JvZ)
2.  ~Z>(HvJ)
              /H
3. ~J&~Z            1, DeMorgan
4. ~Z&~J            3, commutation
5. ~Z               4, simplification  
6. HvJ            2,5, modus ponens
7. JvH              6, commutation
8. ~J               3, simplification
9. H              7,8, disjunctive syllogism

Edwin</pre>