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

列五个推理形式中，是有效推理的有（）。
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