document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=99157>Question 99157</A>: <I><SPAN STYLE=\"word-break: break-all;\"> How do you construct a formal proof for the following argument:<BR>\n" );
document.write( "A ^ (B v C) to conclude with the goal, (A ^ B) v (A ^C)? </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #72167 by </B><A HREF=/tutors/aboutme.mpl?userid=Adam><B>Adam(64)</B></A><img src=\"/images/stars/stars-08.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=Adam><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=72167\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> This problem is constructed upon distributive law, which states relation between conjunction and disjunction(in fact it similiar to that of multiplication and addition- a*(b+c)=a*b+a*c ) Now getting back to logic we have<BR>\n" );
document.write( "A&(B v c) (==) (A&B) v (A&C) - Distributive law of conjunction with respect to disjunction <BR>\n" );
document.write( "It is quite amusing that whole problem is just 1 damn law- no thinkink - you know it and if not you are in deep.....this is how study books should not look like.....   </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );