下列演绎推理式中，无效式为( )

下列演绎推理式中，无效式为( )
A、（ p→q）∧q├ q
B、（p←q）∧ p├ q
C、(p∨q)∧ p├q
D、(要么p要么q)∧p├q
E、（p→ q）∧( q→r)∧(r→s)├ (p→s)
【正确答案】：AD
【题目解析】：无效式为（ p→q）∧q├ q和(要么p要么q)∧p├q。