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

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


   

Question 981348: using DeMorgan, commutativity, associativity, distrubution, double negation and rules or implication please help
~(JvZ)
~Z>(HvJ)
/H
Answer by Edwin McCravy(20054) About Me  (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