下列推理形式中，有效式是（）。A、如果非p，那么非q；q；所以pB、要么非p，要么q；非p；所以非qC、只有非p，才q；非p；所以qD、如果p，那么非q；非p；所以qE、p并且q并且r；所以p并且r

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