I need to construct a formal proof for the following valid arguments

1) s -> (~a & b)

~s -> c

a or ~b

____________

c

2) ~r

( b or c) -> r

~d or m

d -> ~ ( c or p)

_______________

p -> m

3) b -> c

~c

(~b or ~p) -> s

_______________

s V q

I been racking my brain for weeks on how to work these three problems, can anyone assist me?