¿Cuál de las siguientes opciones describe mejor cuándo el operador bicondicional (↔) devuelve verdadero?