Quale delle seguenti opzioni descrive meglio quando l'operatore bicondizionale (↔) restituisce vero?