Найти МГУ для симметричного выражения

Question

Учитывая эту пару выражений, возможно ли найти MGU для него?

1. f (x, y)
2. f (y, x)

Я хотел сказать, что это возможно, когда X / Y, но я не был уверен, если это законно. Что вы, ребята, говорите?

Спасибо!

Answer 1

Да, эти термины могут быть легко объединены, создавая утверждение x= y в качестве побочного эффекта.