Наибольший общий унификатор термов t(X, r(a, b), X) и t(X, r(Y, b), b) равен:
(Отметьте один правильный вариант ответа.)
Варианты ответа
X = Z, Y = T
Y = a, X = b (Верный ответ)
X = a, Y = b
X = Z, Y = a