论证形式无效的有（）。

• A、（﹁p→q），（r→﹁s），（﹁q∨s）├p∨﹁r
• B、﹁（p∧q），﹁p├q
• C、（﹁p→r），（q→﹁s），（﹁s→r）├﹁p→r
• D、SIP├﹁PES
• E、SOP├POS

根据换位法推理规则_____判断不能直接换位。

在侦破某金库的被盗案时，调查后发现该金库五名工作人员进入金库的情况如下：
（1）当A进去时，B也进去。
（2）D或E至少有一人进去了。
（3）B和C有且只有一人能进去。
（4）当且仅当D进去时C才进去。
（5）如果E进去则A和D也进去。
（6）有证据表明，C进了金库。
试问这五名工作人员哪几人进入了金库？写出推导过程。