下列推理形式中，有效式是（　）

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