document.write( "Question 981302: With rules of implication and rules of replacement DeMorgan's, commutativity, associativity, distrubution, and double negation only please help solve\r
\n" ); document.write( "\n" ); document.write( "D>(S&W)
\n" ); document.write( "~Sv~(WvU)
\n" ); document.write( " /~DvU \n" ); document.write( "
Algebra.Com's Answer #602354 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  D>(S&W)\r\n" );
document.write( "2.  ~Sv~(WvU)\r\n" );
document.write( "                /~DvU\r\n" );
document.write( "\r\n" );
document.write( "3. ~[S&(WvU)]           2, DeMorgan \r\n" );
document.write( "4. ~[(S&W)v(S&U)]       3, Distribution\r\n" );
document.write( "5. ~(S&W)&~(S&U)        4, DeMorgan\r\n" );
document.write( "6. ~(S&W)               5, Simplification\r\n" );
document.write( "7. ~D                 1,6, Modus Tollens\r\n" );
document.write( "8. ~DvU                 7, Addition\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( " \n" ); document.write( "
\n" );