The compound propositions p and q are called logically equivalent if is a tautology.

• A. p ↔ q
• B. p → q
• C. ¬ (p ∨ q)
• D. ¬p ∨ ¬q