SOLUTION: With rules of implication and rules of replacement DeMorgan's, commutativity, associativity, distrubution, and double negation only please help solve D>(S&W) ~Sv~(WvU)

Question 981302: With rules of implication and rules of replacement DeMorgan's, commutativity, associativity, distrubution, and double negation only please help solve
D>(S&W)
~Sv~(WvU)
/~DvU
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1.  D>(S&W)
2.  ~Sv~(WvU)
                /~DvU

3. ~[S&(WvU)]           2, DeMorgan 
4. ~[(S&W)v(S&U)]       3, Distribution
5. ~(S&W)&~(S&U)        4, DeMorgan
6. ~(S&W)               5, Simplification
7. ~D                 1,6, Modus Tollens
8. ~DvU                 7, Addition

Edwin

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

using DeMorgan, commutativity, associativity, distrubution, double negation and rules or... (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)

stuck on this problem please help Can use rules of implication and first five rules of... (answered by Edwin McCravy)

how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)

Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)

Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of Replacement of... (answered by Edwin McCravy)