Rule of Commutation/Conjunction/Formulation 2

Theorem
Conjunction is commutative:
 * $\vdash \left({p \land q}\right) \iff \left({q \land p}\right)$

Proof
By the tableau method of natural deduction: