Prompt
In propositional logic, which of the following is logically equivalent to the conditional statement 'P → Q'? A) P ∧ ¬Q B) ¬P ∧ Q C) ¬Q → P D) ¬P ∨ Q Reply with the letter of the correct option (A, B, C, or D).
Expected output
D
| model | score | output |
|---|---|---|
| openai/gpt-5.6-luna-pro | 100% | D |
| qwen/qwen3.8-max | 100% | D |
| anthropic/claude-opus-5-fast | — | — |