以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。

• A、～（p∨q），能必然推出（～r∨～s）
• B、（～r∨～s），能必然推出（p∨q）
• C、（p∨q），能必然推出～（r∧s）
• D、～（r∧s），能必然推出（～p∨～q）