Ngày tải lên :
27/02/2014, 06:20
... 12 p (3, Y) p(2, Y) >'>: 18 p(2, Y) 20 p(1 ,3) + - 17 Fail + - p(2, Y) p(2, Y) + -p(2, Z) I\p(Z, a(l, Y) r>: ~ 10 p(1 ,3) + - Y) p (3, Y) p(2, Y) + -a(2, Y) 13 p (3, Y) ~~ p (3, Z) l\a(Z, ~ t p(2 ,3) ... p (3, Z) l\a(Z, ~ t p(2 ,3) + - 16 Fail + - + - p (3, Y) Y) 14 p (3, Y) + - a (3, Y) t 15 Fail ~ 19 Fail Dich TdlOi p(l, Y) p(1,2), p(2, Y) p(2 ,3) p(1 ,3) p (3, Y) Chung ta xem xet cac phep toan SLG diro'c ... cac b