Or, once you have equality for logically equivalent sentences, note that (p && q) ⇔ (q && p) and hence we have directly that P of the two sides are equal.
Or, once you have equality for logically equivalent sentences, note that (p && q) ⇔ (q && p) and hence we have directly that P of the two sides are equal.