۱
subtitle
ارسال: #۱
حل چند مسئله یکسان سازی
دوستان لطف کنید کلیه گزینه‌ها رو توضیح بفرمایید که هر کدوم رد میشه چرا؟
سوال۱)
کدام یک از زوج های زیر با هم قابل یکسان شدن است؟
الف)Q(x,G(w,t)),Q(G(A,B),y) 1
ب)Q(x,y),Q(G(x,y),B) 2
ج)Q(x,G(y,y)),Q(A,G(B,C)) 3
د) Q(B,G(x,y)),Q(G(x,y),B) 4
سوال۲)
کدام یک از گزینه‌ها عمومی ترین یکسان ساز دو عبارت مقابل است؟(C,D مقادیر ثابت و X,Y,Z متغیر هستند)
عبارات:Rel(z,c,D(x,f(x)),x) .1
Rel(P(y,y),y,z,d) .2
الف) {C/y , D/X,f(X) , P(y,y)/z}
ب) {C/Y , D/X , f(X)/X}
ج) {C/Y , D/X ,P(C,C)/Z}
د) این عبارات قابل یکسان سازی نیستند.
سوال۱)
کدام یک از زوج های زیر با هم قابل یکسان شدن است؟
الف)Q(x,G(w,t)),Q(G(A,B),y) 1
ب)Q(x,y),Q(G(x,y),B) 2
ج)Q(x,G(y,y)),Q(A,G(B,C)) 3
د) Q(B,G(x,y)),Q(G(x,y),B) 4
سوال۲)
کدام یک از گزینه‌ها عمومی ترین یکسان ساز دو عبارت مقابل است؟(C,D مقادیر ثابت و X,Y,Z متغیر هستند)
عبارات:Rel(z,c,D(x,f(x)),x) .1
Rel(P(y,y),y,z,d) .2
الف) {C/y , D/X,f(X) , P(y,y)/z}
ب) {C/Y , D/X , f(X)/X}
ج) {C/Y , D/X ,P(C,C)/Z}
د) این عبارات قابل یکسان سازی نیستند.
