document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1031927>Question 1031927</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Can you please help me complete the following rules by adding the implication rules to each line! Please & Thank you!!!!!!!! Will give u an amazing review :) \r<BR>\n" );
document.write( "\n" );
document.write( "Problem #1: ~ A v (B • C), ~ (~ B • A) &#8594; ~ C .: ~ A\r<BR>\n" );
document.write( "\n" );
document.write( "1.     ~ A v (B • C)\r<BR>\n" );
document.write( "\n" );
document.write( "2.     ~ (~ B • A) &#8594; ~ C                        .: ~ A\r<BR>\n" );
document.write( "\n" );
document.write( "3.     (~ A v B) • (~ A v C)            \r<BR>\n" );
document.write( "\n" );
document.write( "4.     ~ A v B\r<BR>\n" );
document.write( "\n" );
document.write( "5.     ~ A v ~ ~ B\r<BR>\n" );
document.write( "\n" );
document.write( "6.     ~ (A • ~ B)\r<BR>\n" );
document.write( "\n" );
document.write( "7.     ~ (~ B • A)\r<BR>\n" );
document.write( "\n" );
document.write( "8.     ~ C\r<BR>\n" );
document.write( "\n" );
document.write( "9.     ~ A v C\r<BR>\n" );
document.write( "\n" );
document.write( "10.     ~ A                                   \r<BR>\n" );
document.write( "\n" );
document.write( "Problem #2: (M • N) &#8594; O, ~ M &#8596; ~ L .: L &#8594; (N &#8594; O)\r<BR>\n" );
document.write( "\n" );
document.write( "1.     (M • N) &#8594; O<BR>\n" );
document.write( "2.     ~ M &#8596; ~ L                                .: L &#8594; (N &#8594; O)<BR>\n" );
document.write( "3.     M &#8594; (N &#8594; O)<BR>\n" );
document.write( "4.     (~ M &#8594; ~ L) • (~ L &#8594; ~ M)<BR>\n" );
document.write( "5.     ~ M &#8594; ~ L<BR>\n" );
document.write( "6.     L &#8594; M<BR>\n" );
document.write( "7.     L &#8594; (N &#8594; O)                                  <BR>\n" );
document.write( "                  </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #646640 by </B><A HREF=/tutors/aboutme.mpl?userid=robertb><B>robertb(5830)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=robertb><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/cgi-bin/show-face.mpl?user=robertb><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=646640\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> ~ A v (B • C), ~ (~ B • A) &#8594; ~ C .: ~ A\r<BR>\n" );
document.write( "\n" );
document.write( "1.     ~ A v (B • C)---------------------Hypothesis\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "2.     ~ (~ B • A) &#8594; ~ C ----------Hypo.\r<BR>\n" );
document.write( "\n" );
document.write( "3.     (~ A v B) • (~ A v C)  ------------Distributivity on #1          \r<BR>\n" );
document.write( "\n" );
document.write( "4.     ~ A v B    ------------------------Simplification\r<BR>\n" );
document.write( "\n" );
document.write( "5.     ~ A v ~ ~ B -----------------------Double negation\r<BR>\n" );
document.write( "\n" );
document.write( "6.     ~ (A • ~ B)  ----------------------de Morgan's law\r<BR>\n" );
document.write( "\n" );
document.write( "7.     ~ (~ B • A)  ---------------------- Commutativity\r<BR>\n" );
document.write( "\n" );
document.write( "8.     ~ C           ---------------------Modus ponens on #2 and #7\r<BR>\n" );
document.write( "\n" );
document.write( "9.     ~ A v C  ---------------------------Simplification from #3\r<BR>\n" );
document.write( "\n" );
document.write( "10.     ~ A         ------------------------Disjunctive syllogism on #8 and #9                          <BR>\n" );
document.write( " </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );