ich komme bei der oberen Rechnung nicht mehr weiter, da ich nicht verstehe wie man nach Anwendung des Bikonditional und der Implikation mit den Klammern umgeht. Würde mich über den vollständigen Lösungsweg freuen, um zu verstehen wie man diese Rechnung löst.
