Question 1171296
<pre>

1. ~C
2. (~A * B) v (~A * C).        .·. B

3. ~A * (B v C)            2, Distribution
4. (B v C) * ~A            3, Commutation
5. B v C                   4, Simplification
6. C v B                   5, Commutation
7. B                       6,1 Disjunctive Syllogism

Edwin</pre>