A ↔ ( B ↔ C) ≡ A xor ( B xor C)

Question

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.

Comments

Was ist die Aufgabe? Sollst du zeigen, dass A↔(B↔C) und A xor (B xor C) äquivalent sind? Dann hast du Pech, die Formeln sind nicht äquivalent.