... G=p(X,Y,f(a,X)) và θ=[X/b,Y/g(Z)] thì G0=P(b,g(Z),f(a,b)).1 24 Với hai câu phân tử G và H mà tồn tại phép thế θ sao cho G0 và H0 trở thànhđồng nhất (G0=H0) thì G và H được gọi là ... (i=1, , m) và Bj’=Bjθ (j=1, , n)125Chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNGPHÁP CHỨNG MINHNhư ta đã biết, không thể có phương pháp giải quyết vấn đề tổng quát chomọi bài toán. ... đơn E, F và hợp nhất tử tổng quát nhất là θ. Thuật toánsẽ dừng và cho ra hợp nhất tử tổng quát nhất θ nếu E và F hợp nhất được. Nếu E và F không hợp nhất được, thuật toán cũng sẽ dừng và cho thông...