在下列充分条件推理形式中，有效的是（）。

A、（p→﹁q）∧﹁p├q

B、（p→﹁q）∧q├﹁p

C、（﹁p→q）∧p├﹁q

D、（﹁p→﹁q）∧q├p

E、（﹁p→q）∧q├﹁p