下列推理形式中，有效式是（ ）。
选项：

A:（﹁p→q）∧﹁p→q
B:（p→﹁q）∧﹁q →p
C:（p←﹁q）∧p→﹁q
D:（﹁p→q）∧p→﹁q
E:（﹁p→q）∧﹁q→p