在下列充分条件假言推理形式中，有效的是A（(p→﹁q)∧﹁p）→qB（(p→﹁q)∧q）→﹁pC（(﹁p→q)∧p）→﹁qD（(﹁p→﹁q)∧q）→p