Question 1179560
<pre>
1.	~X ⊃ ~~O	 
2.	~X ⊃ A	 
3.	~(O * A)                                	/ X

                |4. ~X            AIP
                |5. ~~O           1,4   MP
                |6. O             5,    DN
                |7. A             2,4   MP
                |8. O*A           6,7   conj.
                |9.(O*A)*~(O*A)   8,3   conj
10. X        lines 4-9            IP

Edwin</pre>