“所有 S 是 P”和“所有 M 是 N”这两个逻辑公式 ( C )

• A、变项和逻辑常项均相同
• B、逻辑常项不同但变项相同
• C、变项不同但逻辑常项相同
• D、变项和逻辑常项均不同

这一推理式是二难推理的 ( D )

• A、简单构成式
• B、简单破坏式
• C、复杂构成式
• D、复杂破坏式

用真值表验证（┓ q∨p）├（p→q）是否为有效式。