Uma bicondicional no raciocínio lógico, representada por p ↔ q, é uma proposição composta que é verdadeira quando ambos os componentes, p e q, têm o mesmo valor de verdade, seja verdadeiro ou falso. Assim, estabelece uma relação de equivalência lógica entre duas proposições, onde uma é necessária e suficiente para a outra. Portanto, assinale a alternativa que indica uma proposição equivalente a bicondicional p ↔ q.