对下列各式用指定的公式进行代换


(((A->B)->B)->A),用(A->C)代换Ａ，用((B^C)->A)代换B.


  下列式子中有哪几个是别的式子经过代换得到的


((((R->S)^(Q->P))^(R v Q))->(S v P))