Question 1056542
<pre>
Unless your teacher tells you otherwise, do not number
the conclusion [what follows the "/"] until the end.
It should be written out to the right of the last given 
premise.  At least, that's the way logic is normally 
taught.

1.	X+[Y+(~(A•F) &#8835;B)]
2.	X&#8835;C
3.	Y&#8835;C
4.	~B•[Z•(~C+~C)]    /F•Z

6.      Z•(~C+~C)              4, simp.
7.      Z•(~C)                 6, taut.
8.      Z                      7, simp.
9.      ~C•Z                   7, comm.
10.     ~C                     9, simp.
11.     ~X                     2,10, MT  
12.     ~B                     4, simp.
13.     Y+(~(A•F)&#8835;B)           1,11, DS
14.     Y+{[~B&#8835;(~~(A•F)]}      13, trans.
15.     Y+[~B&#8835;(A•F)]           14, DN
16.     ~Y                     3,10, MT        
17.     ~B&#8835;(A•F)               15,16, DS
18.      A•F                    17,12, MP
19.      F•A                    18, comm.
20.      F                      19, simp.
21.      F•Z                    20,8, conj.

-----------------------------------------

1. (A+C)+(A+B)
2. (A+(B+C))&#8835;D      /D 

3. A+[C+(A+B)]                  1, Assoc.
4. A+[(A+B)+C]                  3, Comm.  
5. [A+(A+B)]+C                  4, Assoc.
6. [(A+A)+B]+C                  5, Assoc.
7. (A+B)+C                      6, taut.
8. A+(B+C)                      7, Assoc.
9. D                            2,8, MP   

Two problems is the limit.

Edwin</pre></b>