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

下列五个推理形式中，是有效推理的有（）
A.或者P或者q；非p；所以q
B.要么P要么q；非p；所以非q
C.如果非p，那么q；P；所以q
D.只有P，才非q；非P；所以q
E.只有P才q；非p；所以q
正确答案：AD