How do I transform the following formula into conjunctive normal form?$$A \land B \Leftrightarrow B \lor A$$
Transform $A\land B \Leftrightarrow B\lor A$ into conjunctive normal form
propositional logic