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

A ~ B
~ AC
~ CB
inference logic ~ DC
0
Public: Yes; Show truth table: No;