Question 1031927
~ A v (B • C), ~ (~ B • A) → ~ C .: ~ A

1.     ~ A v (B • C)---------------------Hypothesis


2.     ~ (~ B • A) → ~ C ----------Hypo.

3.     (~ A v B) • (~ A v C)  ------------Distributivity on #1          

4.     ~ A v B    ------------------------Simplification

5.     ~ A v ~ ~ B -----------------------Double negation

6.     ~ (A • ~ B)  ----------------------de Morgan's law

7.     ~ (~ B • A)  ---------------------- Commutativity

8.     ~ C           ---------------------Modus ponens on #2 and #7

9.     ~ A v C  ---------------------------Simplification from #3

10.     ~ A         ------------------------Disjunctive syllogism on #8 and #9