Na Lógica Proposicional, o conectivo bicondicional, representado pelo símbolo ↔, corresponde à expressão "se, e somente se".

Assinale a alternativa que apresenta corretamente a condição para que a bicondicional p ↔ q seja verdadeira.