在以下假言推理中，有效式是（）

A（（→）∧p）→q

B（（→）∧）→

C（→）∧）→（

D（（p←）∧p）→