Question

\text { 4. Show that } \neg(p \oplus q) \text { and } p \leftrightarrow q \text { are logically equivalent }

Fig: 1