Qual das seguintes opções descreve melhor quando o operador bicondicional (↔) retorna verdadeiro?