下列假言推理为有效式的有（）。

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

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

C . （﹁p←﹁q）∧﹁p├q

D . （p←﹁q）∧﹁q├p

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