Let p and q be any two propositions. Consider the following propositional…

GATE · 2025 · DA · Data Science & AI

Let p and q be any two propositions. Consider the following propositional statements.

S₁ : p → q, S₂ : ¬p ∧ q, S₃ : ¬p ∨ q, S₄ : ¬p ∨ ¬q,

where ∧ denotes conjunction (AND operation), ∨ denotes disjunction (OR operation), and ¬ denotes negation (NOT operation). Which one of the following options is correct? (Note: ≡ denotes logical equivalence)

  1. A.

    S₁ ≡ S₃

  2. B.

    S₂ ≡ S₃

  3. C.

    S₂ ≡ S₄

  4. D.

    S₁ ≡ S₄

Attempted by 34 students.

Sign up free to check your answer

Sign up free

Explore the full course: Gate Guidance By Sanchit Sir

Loading lesson…