9.14 $A\Longleftrightarrow B\vdash(A\wedge B)\vee(\neg A\wedge\neg B)$

$$\begin{fitch} \par (A \Rightarrow B) \wedge (B \Rightarrow A)... ...e (\neg A \wedge \neg B) & E$\vee$\ 10,15,23 \par \end{fitch}$$