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)

Algebra ->  Proofs -> 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)       Log On


   

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) About Me  (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