document.write( "Question 981180: No idea how to start this someone please help\r
\n" ); document.write( "\n" ); document.write( "(UvD)vK
\n" ); document.write( "~D&(~KvM)
\n" ); document.write( "(KvU)>~M
\n" ); document.write( "/~(DvM) \n" ); document.write( "
Algebra.Com's Answer #602209 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  (UvD)vK\r\n" );
document.write( "2.  ~D&(~KvM)\r\n" );
document.write( "3.  (KvU)>~M\r\n" );
document.write( "            /~(DvM)\r\n" );
document.write( "4.  Uv(DvK)          1, Association\r\n" );
document.write( "5.  Uv(KvD)          4, Commutation\r\n" );
document.write( "6.  (UvK)vD          5, Association\r\n" );
document.write( "7.  (KvU)vD          6, Commutation\r\n" );
document.write( "8.  Dv(KvU)          7, Commutation\r\n" );
document.write( "9.  ~D               2, Simplification\r\n" );
document.write( "10. KvU              8,9, Disjunctive syllogism\r\n" );
document.write( "11. ~M               3,10, Modus ponens\r\n" );
document.write( "12. ~D&~M            9,11, Conjunction\r\n" );
document.write( "13. ~(DvM)           12, DeMorgan             \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );