Question 1075501
<pre>
1. A * B	     / A v C
2. A         1, simp
3. A v C     2, add    

Edwin</pre>