الگوریتم یکسان سازی

[delphi01]

سلام

می خواستم در مورد سوال زیر من رو راهنمایی کنید؟

کدام یک از زوج عبارات زیر قابل یکسان سازی هستند؟

P(f(x),y) P(f(x),f(x))
P(y,f(x)) P(x,x)
P(x,y) P(f(x),x)
P(y,f(x)) P(y,f(y))

ممنون می شم اگه راهنمایی کنید.
من قبلش جستجو کردم چیزی پیدا نکردم:لبخندساده: