Các đặc trưng của đại số boole

BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG TRẦN THỊ PHƯƠNG CẤC ĐẶC TRƯNG CỦA ĐẠI SỐ BOOLE Chuyên ngành : Phương pháp Toán sơ cấp Mã số : 60.46.40 TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS. NGUYỄN GIA ĐỊNH Đà Nẵng - Năm 2011  1 23567 89   !"#!$%& '()(*+,!-.#!/- 01234564 !7859:;<=>&-,:;?=>0*(.=2@: A >!5B3+C+,!5D-7-!EF*G< HI!5J&!3-G '()!K45%401-7-4564!73LM'&5%4LN'& (.=2@: O >& '()(-01-7-4564!75,PLQR:4ST>&!#=JUVW:4 XT>&45YZ5PQV: [ >& '() \  -7-;9#5Z459,]*01-7- 4564!7LQRP2!&VWP2!&QVP2!<  ^ '()(*+0D-01-7-($%-5_5K-7-7!Z^/5`-a3 0*-G!5J!5J5D5D!5 5Z459&5`-+b-D!5c!+-5(-<RG  '()-G5F#b]I!de!5#K!D0*d535f-+7=!g5&-h 5$!(-!75f-<  H7-+-5D!+7=!g50*-7-]I-ID!id57-F#-G-7-j# 0*&+kj#0*(* l5`- 1&5`-!3-7-j#3-h(*l0*1<H7- +-5DGF#-G!5J;9=]m2n-7-5]@2.!do+,!45j!i-p2q *-G53!!57d57-53#<H5/23r+-7--5#=J+-5-G!5Js53 0Z!g+s5`-G0*-7-]I-IT#35f--G!5J(*75`-! <Qt+1uvw H(3#)a53-5b!Bn-G!5J]@T#=!x--p2q-Y3(-]y)) '()$330*t+1vz{!-# |H7-T#=(#K!-Y3!$]#=}-Y3~J !5c!dc-7-+-5D<H7-T#=!x-*=C!E-ps-Y3 '()<am 5!,-Y3+,!+-5D$%-;7-Z52s+,!5*+'()-5_B7!Z -Y3j#3 01+k!K4j#0*<'$1-j#!E!0D-;9=]m+,! +-5D(*2J#]5*+'()-Y3G2n+,!2J#!5b-$%-(K42n -7-5]@-7-4564!7-p2q-Y3 '()<'J#!5b-+*!35K$%- -G!5J-5b35F#4564!75p+b--j!5c!J2J#]5*+G<3-G  1 2324567894534525232454892562 8985 !!"#$%325&'262()")8*+,-8,95 4567894534.8#/02%"1#2325489589,-67,8-889-!89 925:1:232;259825597)2,!$  <=453>852?453-82&,; !!"#85@8989'892&,85 25489(72:A852588BC8DEFGHIJGHKLMNOHGPQHIRSHTUHVWWXY :8585895C82$%5489(52889;!62"95,15)!25! 85@89,8895C82B; !!"#52889-,62' 8558,Z2[295445?8"45!894545C1:7)-!89"\85]282$ ^_``abc`defg`hijefh`ckg`  0'2C2&,B85l895C82B2=-422328525=2&,; !!"#35 !!"#2]255,5 !!"#$ m_```njophi`qjrq`hijefh`ckg`  s$t55u42323!15!,5822&,232329)895C82"C87,8:8 vwxyz{y|}}~yyyy|}}~$  1$t5,9,232#8,-589?8-,!2321:7),89 895C82$ _`hi`iq`c``de`  s$t897,82321:7)2&,232329)895C82"C87,8:8y yyvwxyz{y|}}~85l2]89"95,15)!25!85@89, 8895C82wxyz{y|}}~$  1$%5898525:"-985B2898566,-, '8558,Z2[285l"25!8968289:42u8=8B62 B2u4$ _```cbc`gh` ¡h`  1  345678986775748 8 4!"8#$4%  &#$4'%()*+6,-.9777//807-.155236 9774697707-.155285)6807-.15526465) ,7  &#$4"%&#$46,-874798:-;/61552<;,=4 61552085478#$49<;,=46155225,98>898 085478647?77#$498=87@30854787154!" #$49%#$49+!A)46#$49B72C D8&-2,7             1 2345679    !"#$%&'%()*+,(#$% -!./01.101.201.304 95955462789:6 ;<=<>=?@95959 4 ABCDEDF%G-H&EIJDKLMBDC!)H&E #N%MOB !NPQNRHS!IN!HT(U  VWXYZYYX[GX\FV]D"^_W`  VWXYZYaaYZYbc$d$XYZYb[GYXeYaeYbY \ FV]MJf!W`  VWXYZYaaYZYXc$d$XYgYa[GXeYaY \ FV]D"Hh^K%W`  i!NZH&E%G-BKLMBDC4 2=jk959595lNaY m YX)%nN-XY o Ya4pH) m q%-B !NK LMBDC4l#$%-r!(CDEDH&EIJDKLMBDC1s_B !" t!]H&EM-u%!(v-rHh%w!u4  xyzY{|}~Y~YYa{YYY{YbYY{Y{YaY~Y{XY{XYzX~YYZYY aYzX~YY m eY{XYbY{Y~YYb~Y~ ;<=<>=?@95954$-BCDH&EIJDKLMBDCY-BCD$ NF4ABDf XY \ YFH&E%G-B¡#vV4&¡¢&[WN!{YZYY XV4&XYZY{W[G{Y \ Y4£)!%1BCD)*)S!¡#vV4& ¡¢&[W$¡)*¤%)4  ABDf XY \ YH&E%G-Df -[,V4&Q,WN!Y{YZY XYV4&XYZY{W[G{Y \ Y4p¤%D"BCD$$NFHS!)Df  -[,V$¡Q,W4£&%!)BDf &+)-¢!( ,4lCC(1%"I ¥-NDf -[,N4pH)Y¥YZYYYY o YY¥ ¦$]D"Hh^K%c$d$Y¥YgY4l]¢!(,NDf Q,N  1 234566789974979997497979 !"9# $%!97$$&67'9()9467'9%43*2+ !756,667'9 ()96-.26/79979779/34560$69()97.1!(2!6-.2 $3475!$1!2+ !756,667'9%46/799979/3456 0$69%47.96!6-.2$3475!$96278($9(999 !& 6:926/&1!(2!496!79/3456;,63<97%!97= >?@AB@CADEBFGFGHGI&34561J8K&79L$M6'796-.9/ N.6/1!(2!N.6/96!(:9L34560$&%$9 OAPBQBFGFGRGS,67T:,91!$9637U971$97V97T:,97. 9U3*34561J78K&79K3W+7493X!9$$3Y93* &%$9  S7:L$&%$9Z73/M6'[\=]= ^ =L6/1!(2!$96!_.34 75! ```  [a]=b1!c[\=]d$[=e]b96c[]d Z73/6,6,97;#a$eNLfL$:L;,63<97Kg    h i ][][ aj $ h i ][][ ej  $6,67T:,97.9U()9Lk  I5973X1.!3l67:97X!m97677Y<6-.6,67T:,99$ no@ABpqBFGFGFG rst=L=uv=wxy=zv{=|}~=s[~=s=yt{= e =|v= a =={s=]~= kkk=s~==|}~=w~==[\=]\== ^ =L\=y[====y{s=sy=[= =y=~[t=st{===[= a ==]==]= a ==[\===[= e ]==]= e ==[= =y=y=s====[= a ==]= a ==[= a =]= a ===\=[= e =] e ====[= e =]= e == =y=u={====[= a =[==[\==[= e [==[= =y=s=ys======[= a [= e ==]==[\==[= e =[= a =]==[ I5973X1.!3l6789(996,6m97679$713'6(4967:&%$9 1 23457899 ! " # $%& ' ()( * (+ ,- . ! )/) ! ( # )/) # 0 ,- . 1 ! )2 ! / ! 1) ! 2(1 # )2 # / # 1) # 2 ,- . ! /( # /0 1342 5 ! 1 # )2/( # 1 ! )2/6 78 9:; <= >?@) AB C"AD" :" " $ EFGH ! II"H # IIFJ K? KC"$AL" M A K:" N OP454Q5RS99TUVWXYZ[\]^_`a3bYcdeZcdf3ZghZiWdjklmZWnZd_doWpkh\eqr 212121 )) !#!s#! t4u3la3t)t* [vXwZ`HZ`hqxZby\f3Z`zh{X|XYZ`_i\]^_lVW\}ZdZ`d~k\f3Z`r 23457899:" C" "%()( * <$+ 212121 )) !#!s#! OP454Q5RS99dbYlVWXYZ4u3cdZWvbuZZdoWbY4YcdZWvZdjZdoWbY6 UVWcdZWv)*\]^_`a3bY_kcdZWv*Zgh!)4Y#)6 OP454Q5RS99UVWXYZ\]^_`a3bYZghZi_icdZWvbuZZdoW4YcdZWvZdj ZdoW4Yl3cdZWv_kZi_inWZdoWlVWcdZWv6 9O k\}ZdZ`d~klVWXYZZd]bYlVW3h\Ă_3ÂW_klVWWÊc\]^_pÔcWdWƠV cdÊZ6Ưeq`3ĐWkpă_dâêklVW\ô3pfƯbơbYlVW3h\Ă_3ÂW_klVWXYZ6 OP454Q5RS99UVW\ô3pfƯbơbYlVWXYZcdeZcdf3\]^_6  1  2345678967679688 67!96"#$%9& '&()7*+'5,5996"#896-$.9  +/0+ 1 20+ 1 3- 4 ,503+ 1 -5 4 3+ 1 ,506/ 4 3+ 1 ,/5 03- 1 ,/5 4 3+ 1 ,503- 4 /+5 1 ,02 1 ,0,  %74#67 8 -9:;9<="#8!96-/67!$ >?@AB@CDEDCD FG&9H I 0JK)LM'N9GO6789P679QR675=(96 4 '59! 1 S K 4 K0K)K 4 L0L 4 K0L 4 L0L T59GU("# 8 K0L) 8 L0K$VW56767QR679H65(899'X-/ 4 +0 YJ-)+M)-/ 1 +06J-)+M'5 8 -0LZ-'N"U:[-)+ \  I] .9 I^ 'N8O89G O665(5!$ >?@AB@CDEDED FG!_89`8X9a=96 I 6 0 I b c $$$ c I db 5&9H8O8eZ"!9`3+ L ) + f )$$$)+ 6 5)'N+ g  \  I] hi() I 6 89_695&9H8O8Yi=69j9i6!456$ k93- L )- f )$$$)- 6 5)'53+ L )+ f )$$$)+ 6 5569a67968 I 6 $FG8O89GO6l9m67 n!op6 I 6 S  q r 5)$$$))35)$$$))3)$$$)) ffLLfLfL eeee +-+-+-+++--- 444s4   q r 5)$$$))35)$$$))3)$$$)) ffLLfLfL eeee +-+-+-+++--- 111s1   q r 5)$$$))3)$$$)) fLfL ee ------ s  .9 I 6 5!'N96N669U5L03L)L)t)L5'59669 69U5K03K)K)t)K5$uU8*8O89667 I 6 "67f 6 $ vwxy@z{@CDEDCD@@ |}~e/g//~~/+///,,///+//-/e/,,/e/ ,/-// / -/ // / +/ / / ,// / / / / --s +-+- 1s4 +-+- 4s1 +-+- 1s4  1  345   365   375  89    !"#$%&'()*+,-+.-/(!012#  (#73( 4 -+ 5 6 11-/(7("#$ 8'8 9 : ; 3(5  4 '<' 4  =  5 '<' 5  > 3((5 ? @  4 'A 4 <  4 @' 4 A=@  5 'A 5 <  5 @' 5 A> 3(((5 ?   4  < =  5  < > 3(-5 ?   4 @  5 'A< =  5 @  4 'A< > 3-5 ?  5 @' 4 A<@  5 'A 4 @  5 A> 3-(5 ? B/('CDE  9 :F#G("#$ H   9 6 11  4H <I-+  5H  <.: JF#G(KL#CM #)N'#OP#*+1OQ+#%G(6R S11*4-+6 112012#%TU1V 4 WXYZ 5 WT[#7#7*+6O4-+ (#6(O1#7%G(6RS11*4#+L\71+(O :,-+.T[#7#7*+"#$*/##C-+#] #C^ -+ H  *+"#$'_^  \ `a bO1#7%G(6RS11* c 'CDE%(dD()#  4 '<'efLO D(-+gD( %(dD()#  5 '< efLO \ `a  bO1#7'CDE%G(6RS11*4 c 'CDE: *3#;  Ih  5 'i i  4 '>  jhkl lI> -/('CDE 8' 9  cm nopqr stu v wxyuz  { k|}~|Ytuyyuy ywyuw|yy ' 4 X  { 'XY  { \ ' ' 45 kI Ik 1 235678988 !""#$ % #&'() *& +,-./0 1 23450678069: 23567898;8 <=,->, !""#$?' % @AB -'() C % ""D,: EFGH567898 I ,->0J" !""#$?' % 2K LM*N&O?''() P,5Q RS:T:TU VJ"2WX"&J@YPB&(#&Z'(-/Y 2*& 23567898[ : <=,-> !""#$?'!*&,->0@( C % @#'2Q RU RU RU 23567898\ :]" % #& !""#$?'W^2*=_0 C % @#'2 'VR0U`0W abcdefghiefjcklmnhopqrhrstu7vurwccxoyzc{|}cmk~sk{chnmhsji: F789878 VR0U6VR(U*&+06( GHGH78988 vufmusuntq 2 S 78 2 T }rwcneef cb 2 S e 2 T sk u8rwcsekzhsuntqehe~cfmrekksuh{uenmhQ SU URURUR (0(0 TU URURUR (0(0 ĂU URUR 00 }7vuruÂ}i C 2 S : GHÊÔ789878 !""#$?',-> % *=Ơ'() Ư`Đ S @ T @ă@ e â 2BL=#&.-'*= !""#$ ê RƯUA-ôƠ" ::::SU}R ơ0V ơ C ư}:::}}đUR TS 0V URURUR (V0V(0V URURUR (V0V(0V URUR 0V0V 0 ::: TS