Encontrar MGU para la expresión simétrica

Question

Dado este par de expresiones, ¿es posible encontrar un MGU para ello?

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

Quería decir que es posible, cuando X / Y, pero no estaba seguro de si eso es legal. ¿Qué dicen ustedes?

¡Gracias!

Answer 1

Sí, estos términos se pueden unificar fácilmente, produciendo la afirmación x= y como efecto secundario.