العثور على mgu للتعبير متناظرة

Question

نظرا لهذا الزوج من التعبيرات، هل من الممكن العثور على MGU لذلك؟

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

أردت أن أقول أنه من الممكن، عندما x / y، لكنني لم أكن متأكدا مما إذا كان هذا قانونيا. ماذا تقول يا رفاق؟

شكرا!

Answer 1

نعم، يمكن توحيد هذه الشروط بسهولة، وتنتج التأكيد x= y تأثير جانبي.