证明:(p→q)∧(q→p)<=>(p∨q)→(q∧p),其中p,q都是命题公式.