document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=374237>Question 374237</A>: <I><SPAN STYLE=\"word-break: break-all;\"> I am having trouble solving the following propositional logic proofs. \r<BR>\n" );
document.write( "\n" );
document.write( "1. Conclusion: N + Y<BR>\n" );
document.write( "1. K > (N & P)<BR>\n" );
document.write( "2. S > (X & Y)<BR>\n" );
document.write( "3. S + K <BR>\n" );
document.write( "2. Conclusion: ~Q > ~M<BR>\n" );
document.write( "1. M > [ Q + ~(E + H) ]<BR>\n" );
document.write( "2. ~E > H <BR>\n" );
document.write( "3. Conclusion: A & D<BR>\n" );
document.write( "1. ~D > (F & P)<BR>\n" );
document.write( "2. ~A > ~(F + P)<BR>\n" );
document.write( "3. (F <=> P) > (~~D & A) <BR>\n" );
document.write( "4. Conclusion: F > (Y > F)<BR>\n" );
document.write( "1. Q <BR>\n" );
document.write( "5. Conclusion: ~(~Q > ~X) > ~J<BR>\n" );
document.write( "1.J > (M > Q)<BR>\n" );
document.write( "2. X > (M + V)<BR>\n" );
document.write( "3. J > (V > ~X) </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #266334 by </B><A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><B>jim_thompson5910(35256)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><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=266334\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> I'll do the first one to get you started.\r<BR>\n" );
document.write( "\n" );
document.write( "<PRE STYLE=\"white-space: pre-wrap; white-space: -moz-pre-wrap; white-space: -pre-wrap; white-space: -o-pre-wrap; word-wrap: break-word;\">\r\n" );
document.write( "1.   K > (N & P)\r\n" );
document.write( "2.   S > (X & Y)\r\n" );
document.write( "3.   S + K                             :. N+Y\r\n" );
document.write( "-------------------------------------------------\r\n" );
document.write( "4.   [K > (N & P)] & [S > (X & Y)]              1,2 Conjunction\r\n" );
document.write( "5.   (N & P) + (X & Y)                          4,3 Constructive Dilemma\r\n" );
document.write( "6.   [(N & P) + X] & [(N & P) + Y]              5   Distibution\r\n" );
document.write( "7.   [(N & P) + Y] & [(N & P) + X]              6   Commutation\r\n" );
document.write( "8.   (N & P) + Y                                7   Simplification\r\n" );
document.write( "9.   Y + (N & P)                                8   Commutation\r\n" );
document.write( "10.  (Y + N) & (Y + P)                          9   Distribution\r\n" );
document.write( "11.  Y + N                                      10  Simplification\r\n" );
document.write( "12.  N + Y                                      11  Commutation\r\n" );
document.write( "</PRE><BR>\n" );
document.write( " </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );