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

• A、如果非p，那么非q；q；所以p
• B、要么非p，要么q；非p；所以非q
• C、只有非p，才q；非p；所以q
• D、如果p，那么非q；非p；所以q
• E、p并且q并且r；所以p并且r