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

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