Zeige, dass die Aussagen $(A \rightarrow B) \land (B \rightarrow A)$ und $A \leftrightarrow B$ äquivalent sind, und zwar indem du die Gesetze der Logik anwendest. Hinweis: Setze für $A \rightarrow B$ die äquivalente Aussage $\neg A \lor B$ ein, wende das Distributivgesetz an, wende bei Bedarf das Kommutativgesetz an, wende das Gesetz $A \land \neg A \leftrightarrow 0$ an, wende das Gesetz $A \lor 0 \leftrightarrow A$ an und erhalte schließlich $(A \land B) \lor (\neg A \land \neg B)$. Letztere Aussage ist äquivalent zu $A \leftrightarrow B$, wie du anhand der entsprechenden Wahrheitstafel schnell siehst.