How to prove (A ∨ ~ B), ( ~ A ∨ C), ( ~ C → B) therefore ~ D ∨ C) TRUE

A ∨ ~ B
~ A ∨ C
~ C → B
inference logic ~ D ∨ C
0
Public: Yes; Show truth table: No;