Vilket av följande beskriver bäst när bikonditionaloperatorn (↔) returnerar sann?