The biconditional operator $ \iff$ of Propositional Logic can be defined by the identity
$ p \iff q \equiv (\lnot p \lor q) \land (\lnot q \lor p) \quad (1.1)$
Use the identity $ (1.1)$ and identities from the list on page 2, to show algebraically that
$ p \iff q \equiv (\lnot p \land \lnot q) \lor (q \land p)$
State which identity you are using at each step.
What does this question mean by asking to "show algebraically"? I have tried referring to my notes and online search but no luck with a definition! These propositions are already algebraic, are they not? Having some issues understanding the wording of the question. This is from a mock university test. I’m assuming it wants me to demonstrate using a truth table?