Finden von MGU für symmetrische Ausdruck

Question

Angesichts dieses Paares von Ausdrücken ist es möglich, eine MGU dafür zu finden?

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

Ich wollte sagen, dass es möglich ist, wenn x / y, aber ich war sich nicht sicher, ob das legal ist. Was sagen Sie?

danke!

Answer 1

Ja, diese Begriffe können leicht vereinheitlicht werden, wodurch die Behauptung x= y als Nebeneffekt erzeugt werden.