依据对当关系推理正确的有（）。

• A、SAP├﹁SEP
• B、﹁SAP├SEP
• C、SEP├﹁SAP
• D、﹁SEP├SAP
• E、SIP├SAP

除非具备完善的司法体制，否则就不会有真正的安全保障。由此可见（）。

• A、现在不具备完善的司法体制
• B、现在没有真正的安全保障
• C、只要具备完善的司法体制，就可以建立真正的安全保障
• D、只有具备完善的司法体制，才可以建立真正的安全保障

用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。