📚 Practice Mode

Logic and Proof

Learn at your own pace with hints and detailed explanations

1 / 15
Multiple Choice

Which of the following is a tautology?

  1. ¬(P ∨ Q)
  2. (P ∧ Q) → P
  3. (P → Q) ∨ (Q → P)
  4. ¬(P → Q) → (P ∧ Q)
Change Mode