关于离散数学前束范式的问题

离散数学求前束范式，问题点，p的式子和q的式子都有x和y所以换名规则不好用，，也不能直接把存在符号拿出了。所以想了好久还是不会做。难道是要把任意拿进去吗，请提供相关思路和解释，谢谢！一定采纳！

这道题，对会的人来说特简单