سلام
به نظرم تو اولی میشه از تغییر متغیر استفاده کرد. مثلا این رابطه [tex]P(A,y,y)[/tex]
y / f(A) , x /A

---

در کل یادتون باشه اول همه گزینه رو بدون عمل استاندارد سازی انجام بدید اگر هیچ کدوم از گزینه ها قابل یکسان سازی نبودند بعدش استاندارد سازی انجام بدید و حالا دوباره گزینه ها رو با درنظر گرفتن استاندارد سازی چک کنید
استاندارد سازی هم یعنی اگر توی دو تا تابع ۱ و ۲ که قراره یکسان سازی انجام بدید
متغیر مثل هم بود مثلا توی تابع ۱ اسم متغیر رو تغییر بدید و توی همون تابع ۱ اگر a رو به b تغییر دادی همه a های تابع ۱ رو باید به bتغییر بدید

دوستان درست گفتند به نظرم
گزینه ی ۱ در نگاه اول قابل یکسان سازی نیست , ولی با تغییر متغیر قابل حل هست , ولی گزینه ی ۳ به هیچ وجه قابل یکسان سازی نیست
چون ازین قراره:
[tex]P(x,y,f(x))\: ,\: \: P(A,A,B)\: \: [/tex]
که برای ترم سوم نمیتونیم هیچ یکسان سازی ای انجام بدیم