العثور على mgu للتعبير متناظرة
-
21-12-2019 - |
سؤال
نظرا لهذا الزوج من التعبيرات، هل من الممكن العثور على MGU لذلك؟
- f (x، y)
- f (y، x)
أردت أن أقول أنه من الممكن، عندما x / y، لكنني لم أكن متأكدا مما إذا كان هذا قانونيا. ماذا تقول يا رفاق؟
شكرا!
المحلول
نعم، يمكن توحيد هذه الشروط بسهولة، وتنتج التأكيد x= y تأثير جانبي.
لا تنتمي إلى StackOverflow