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