document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1207571>Question 1207571</A>: <I><SPAN STYLE=\"word-break: break-all;\"> P) A or B<BR>\n" );
document.write( "P) Not A & Not C<BR>\n" );
document.write( "Therefore B\r<BR>\n" );
document.write( "\n" );
document.write( "Must be solved using rules of inference </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #845518 by </B><A HREF=/tutors/aboutme.mpl?userid=math_tutor2020><B>math_tutor2020(3817)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=math_tutor2020><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/images/nopicture.jpg><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=845518\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> <font color=black size=3><BR>\n" );
document.write( "I'll provide an informal outline how the derivation will go.<BR>\n" );
document.write( "I'll leave it up to the student to form the proper derivation in the format your teacher wants. \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "We can pull out \"not A\" from the \"Not A & Not C\" by use of the <font color=red>simplification</font> rule.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Then combine \"A or B\" with \"not A\" to determine the conclusion is B.<BR>\n" );
document.write( "This is because of the <font color=red>disjunctive syllogism</font> rule.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Please let me know if you have any further questions.<BR>\n" );
document.write( "</font> </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );