Is p ^ q logically equivalent to q ^ p?

yes