SOLUTION: using DeMorgan, commutativity, associativity, distrubution, double negation and rules or implication please help ~(JvZ) ~Z>(HvJ) /H

Question 981348: using DeMorgan, commutativity, associativity, distrubution, double negation and rules or implication please help
~(JvZ)
~Z>(HvJ)
/H
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

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

RELATED QUESTIONS
use rules of implication and only DeMorgan, commutativity, associativity, distrubution,... (answered by solver91311)

With rules of implication and rules of replacement DeMorgan's, commutativity,... (answered by Edwin McCravy)

Rules of implication, DeMorgan. commutativity, associatitivy, distrubution, double... (answered by Edwin McCravy)

Can use De Morgan, commutativity, associativity, distributivity, double negation and... (answered by solver91311)

I�m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)

Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by Wolfae)

Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by jim_thompson5910)