以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

• A、s
• B、﹁q
• C、﹁q∧s
• D、﹁r∧s
• E、（﹁q∨﹁r）∧s