Dizemos que duas proposições são logicamente equivalentes (ou simplesmente equivalentes) quando os resultados de suas tabelas-verdade são idênticos. Das alternativas abaixo, qual é equivalente a “p ↔ q”?