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

• A、（（→）∧p）→q
• B、（（→）∧）→
• C、（→）∧）→（
• D、（（p←）∧p）→