l n(> GIA.o nvc vA aAo T~o E>~I HOC Quoc GIA THANH PHO HO cHi MINH • TRUONG D~I HOC KHOA HOC TV NHIEN NGUYEN VAN TINH .\ UNG DONG LY THOYET ANH XA• D6NG • NGHIEN caa cAc LOAT TRONG • TRI TOE• NHAN TAO • LuQ,n vii.n thf!,c si khoa hpc Chuyen nganh : TIN HOC Ma so': 1.01.10 NgliUi hlifJng ddn khoa hpc : PGS.TSKH NGUYEN XUAN HUY \ LUU HANH NQI BQ J TP.HO CHI MINH-THANG NAM 2001 ,• Tac gia lu?n van hay to long hiet dn sau sic ilt va'n d~ co tinh ly thuye't: httong ap dt;mg cac ke't qua nghien cuu v~ anh x~ dong vao lTnh vlfc tri tu~ nhan t~o Nhi~u bai toan lTnh vlfc tri tu~ nhan t~o dttc du li~u noi chung va cac lu~t noi ri.eng thl khai ni~m bao dong cua t~p cac Slf ki~n dong vai tro quan tr9ng v~ m~t ngu nghia, bao dong cua t~p slf ki~n x la t~p toan be) cac slf ki~n ph9 thUQC vao X Cac ke't qua co y nghia sau sac nhu' dinh' ly tu'ong du'ong giua cac ki€u suy d§n, cac ke't qua lien quan de'n vi~c tlm phu ctia t~p slf ki~n, t~p lu~t v.v d~u dttqc phan tich ho~c chung minh tren co Sd khai ni~m bao dong ctia t~p cac slf ki~n N(>i dung d~ tai se d~ c~p de'n m(>t so' tinh chfft ctia cac anh x~ dong va hu'ong ung d9ng cac anh X(;l dong Vi~c nghieil cliu bao dong CUa t~p cac Slf ki~n, tom lu'(;Jc mot s6 ke't qua chu ye'u cua hu'ong nghien cliu Lu~n van g6m chu'ong: Chu'ong Anh X(;l dong va cac phep toan tren anh Chu'ong Ung dt;mg anh X(;l X(;l dong dong nghien cliu cac lu~t co sd tri · thlic Chu'ong Bi€u di€n lu~t bang cong thlic logic Chu'ong Mot s6 thu~t toan trich ch9n lu~t Chu'ong trlnh bay mot s6 ke't qua nghien cliu ly thuye't v~ anh X(;l dong nhu' la mot hu'ong nghien cliu doc l~p cua toan h9c D6ng thoi cac ke't qua da du'qc d~ c~p tOi co dinh hu'ong ap dt;mg vao vi[...]... (A~B), do do G ~ F Nhu' v~y trong tru'~ng ht ke't qua da du't rn1'a dan dudi Trong m9c nay,lu?n van chung minh m9t di~u ki~n du dS h9 cac t?p dong theo t?p lu?t F t(;lo thanh mt s6 ke't qua nghien cuu cua tac gia lu?n van co ung d9ng anh X(;l dong C9 thS la : M1:1c 2.2 trlnh bay ke't qua nghien cuu v~ cac t?p lu?t tu'ong... chung khong co tinh lily d~ng (C3) DS chung m~nh d€ 1.6 ta sii' dl;lng cac anh x~ f va g trong phan vi dl;l 1.3 da trlnh bay (J ph~n tren va chi ra ding dO'i voi cac anh x~ f va g d6: (f v g)(f v g) Th~tv~y.xet -:t f v g x = ~ 1 r khi do: (f v g)(X) = (f v g)d 1 h = fd 1 h u gd 1 r) =~ 1 r u ~ 1, 2r = ~ 1, 2 r; Trong khi d6: 17 ((f v g)(f v g))(X) = (f v g)((f v g)d 1 r)) =(fvg)d 1,2 h= fd 1,2 r)u gd... K(U) ho?c K(Al, A2, ,An) r da duqc dinh nghia Trong tru'ong hqp t?p U da_ duqc xac dinh tru'oc thl c6 thS ky hi E::::; fv g f v g => E(f.g) E ~ ¢::> f.g ~ (f v ... slf ket qua khac Trong m1:1c 1.6.1 da d~ c~ p m()t s6 tinh cha't ctia quan h~ ~ giua cac anh Xt rn1'a dan dudi Trong m9c nay,lu?n van chung minh m9t di~u ki~n du... d~ng X~Y ma bang du lic$u K c6 it nha't hai dong a va ~ thoa di~u ki~n: a(X) = ~(X) va a(Y) = ~(Y) Trong m6i chu'dng d~u c6 nh~c l~i m