Tiểu luận môn TOÁN CHO KHOA HỌC MÁY TÍNH LOGIC VỊ TỪ VÀ ỨNG DỤNG XÂY DỰNG HỆ THỐNG QUẢN LÝ CÂY PHẢ HỆ

 




 !
"#$%&'(&)*+, /+0
1213456"7%./1612
1&1 8 91&%1:;<:<==
&1+ 
1%9>:?@?<:;
 !"!#$%&$&'' ():
 
1,",%
 !"!#$%&$&'' ()?
 
"A$9BCD5
*+!,- /)01(2/3-45)1(,1(*6,078!/9-:;0<=->)-*
?;0@:A-B0C17"78!/9-D!*)!,--3!CE*+!,-0FG-!F1)B0HI01(0
1!J-@KLI963!M!JIN@I01O3P19!0QR(*!P1(01!J-
6Q!63->)1*+!,-@7*0-!,-B)*S67*0-6C!:T@7*0-/U1V@7*0-6;@R"
-".GG!W5)1(,/"*1!"!-3->)D!*)!,-6+1X!EY9G!+11(0H6Z!6[
->)-3!C1(01!J-@1(X1C!L1Z*7"B\-!J60!!,)<0!:]! 1/T1X!
JIN->)1*+!,-1(*10!,-!0C:Z0E
(*D!3D!^B"01!!*Z-!@_6K01(M!B"]0I/T7`1!a17*0-/U1VE
(Q-b<c:.@1!0a1DaJINDa1!dG0P)3P7eG1(M!f/"3P7eG
1(M!(*7*g3PI9)1(QT1O7*0-/U1Vh:HKLI9G!W6T6!^1(d-+-
1eG7e1<I01(Q%./1612E
i6K0-O6b!PD0a1!J-T5`B+*->):j
1(T:Z1-!*_6@:H_6 -b<c!0Q-J/"1M6!0H!0T!b@<L!b/TJ
IN->)1*+!,-EkX!-!F-1!W736Z!D!l_/":Z1:?d-!0T1!"!-31(*

-31+-E
m*5+1(M!!0Q-J-n!?D0a1!J-/"1"070C-2!0T!Z-!aQB"0
/0a1-2!0T1!0a<.1@-!?):?d-:W:>Ei66*!e:?d-<9.G`->)!W:H
B"0/0a1:?d-1!9-<9!*"-!o!!bE
 !"!#$%&$&'' ();
 
1D:9E31F$$29&G"#$%#F
$ 1H)#")"#$%I
 !)@1V10apZG-^:0Hqrstug7**<h@!8)Q1!>
7"1VP@!*A-:0T:j:?d-.0@g!?1(*!0T3P-!Lv:j1(c1!"! `
!8)7"<!8!*A-7eG7e!)7`1(XhEp*0-1!?;:?d-!w-:a!?7"6]1"!
!0Q-J/T10Q-!X:+!0+-+-7e-J@6A-I4:U!!8)-!X!K+-->)7*0-/x7"
/ :T-2:):?d-B"-j00P)-+-1(0a10)E!0QD!063!,-:?d-K+-:U!@
!0C6/N->)!"7*0-!,-/x!?-n7"6:y6Z!10aB]->)/0C-G!L1X-!-+-<
7e !0C79-/"<7eNB0C:H?;01) 1!HG!LB0C1:?d-7e-J"*7"
!dG7`/"7e-J"* -!zD!3!dG7`E
!_*1(T1!=@7*0-:?d-!0Q-J!?7"6]1!+!->)1(0a1!,-EkH1V
0P)1!aDo${7*0-:j1!?;:?d-!0Q-J1(*1*+!,-/"7e1EW:L! 1
7*0-:?d-+GIN/"*D!*)!,-6+1X!/"1(X1C!L1Z*Ep"6]1"!D!*)!,-
!M!1!J-@7*0-!0Q-J/"G!L7*Z0- 1(F-->)-+-D!|:U!/"-+-7`7[@-O!)0
:T1!35)/0C-!0Q-J-+-!C1!=!M!1!J-->)/0C-<7e/"5)<9!0Q
-J7`7[1(*3P19!0QEW6B)*5+1->)7*0-I*/e7"( 1(]@:01V-+-:T
1"0-=17}0!?7"!0Q-J-+-7`7[NB0C/"!U-!7`@:a!PG!L1X-!
-!Q0)/T7eG7e@-!|!Z7eG7e K+-< 1:F/"-+-7`7[ 70Q5):a
5)!C!L5OE")@7*0--2:?d-<~ING!^B0a1(*7`1!a17`7eE
)<=15+1(M!7U-!<~@:j !0T<95)1L61(*/0C-G!LB0C17eG7e
1=1/"7eG7eD!31=1@/"I*:.7*0-:j:?d-!0Q-J1(*6]1<=IZX1!0T7"
5_1!]-:=0/•0-!F1)Ep*0-(0<1*17_-!>a5)1L6:a/0C-IZ7`7e1!a
"*-!*1=1@/"")/x:?d-IZ/•06N-:X-!:.@1(*D!01(*7*0-1*+!,-/"
1(0a1!,-G!L1X-!g))710-)7G!07*<*G!h?;01)! 6Z!/"*7*0-!?7"6]1:=0

1?d!0Q-J(0Q@/"I*/e7*0-:?d-!0Q-Jc6]16J-:]1(V1?d!bE
+-5)1L6/T-+-7*Z07*0-D!+-!)0O01!X-!(\7*0-D!3G!O07":?d-
!0Q-J1(*-!LD!3E(*D!07*0-1!?; /€19-- G<91!F-:y
 !"!#$%&$&'' ()J
 
-!X!.@63!,-"G!+11(0H1=1! 1D!07`I*6"-!F1)5)1L6:a7*0-:?d-
:A1()6]1-+-!(}("E
4/•0<9G!+11(0H6Z!6[->)7*0-!,-@?;01)10a!"!G!L7*Z0-+-!C
1!=p3X-!,-1!_*!P-+-D!+-!)/"7*0-1*+7"Da15O1*+!,-!.)7*0-E
$$"#$%#F")KI
7"6]1"!-*->)1*+!,-!0Q-J-+-!C1!=!M!1!J-1(*
/0C-6j!.)-+-D!+00C61(9-5)/T-+-:=01?d1*+!,--!|!Z1eG!dG/"<=@
-!J60!1*+!,-/"1X!1*+E"!"1!?;:?d--!0)1!"!-+-78!/9--*
!?7`1!a163!M!gh@7`1!a1-!J60!g h@7`1!a11eG
!dG/"7`1!a1:C5g!hE!0Q-J/T730-1*+1!?;:./)01(2
5)1(,1(*"!-b<c1*+!,-g "! ""!hE
+-1Q,0-n->)730-1*+7"#$g:H:=07eG/•0730-1(0a1!,-h!)
%"&
p30-1*+D!3G!O07"'"6"7"'"E"!"
B)*S6!PG!W->)730-6" 1!H:?d-63!M!!.)/"!0Q-JB\1*+
!,-E.-nB)*S6!P78!/9-1!W1F1*+!,-!?7`1!a163!M!/"7`
1!a1:C5@1(*:.@D!O•:U!!8)7"1(1L6->)/ :T:?d-5)1L6E
p*0-1*+:?d-KLI91(Q-b<c7*0-6C!:T/"7*0-/U1VE
: "L !
b<c->)7*0-1*+@1!9--! 1B)*S6:Z0<=6C!:T/"!C1*+6C!:T@,0
-!7"G!‚G1X!6C!:TE
!0C6/N-bBO->):Z0<=6C!:T7"KLI9!C1!=51w-Da1- -+-
6C!:T@-n!?1!9-!0C-+-G!‚GB0a:^06C!:T:F:w@-!X!K+-@-!A1-![E
!;:.@5+1(M!7eG7e730-<[:?d--!H1!"!-+-!C1*+730-EC1*+6C!
:T7"6]1!C1!=:.DX@B)*S6-+-:U!!8)@-+-51w-/"6]1<=10Q:Tga

7"!C1*+730-10Q:T!*+h@1V:.!;-+-G!‚GB0a:^0:Z0<=6C!:T?;01) 1!H
1!:?d--+-6C!:TD!+-!)@Da15O 1!H:F!*A-<)01ƒ1!]-0+1(U-!L7X
->)-+-10T:T/"/0C-+GIN-+-7eG7e730-E
 !"!#$%&$&'' ()=
 
 1MNOL !
 k!31!H!0C:?d--+-G!+1B0H -+-PM
XIN
K„…%
K†%
‡c0/M-+-B0a-!?) 0+1(UE!0Q@G!+1B0HIZ!?1(QK 1!0C
( 1!0T1(*1!9-1a
 !P<91?b:?b<)D!3B0HI0:?d-B\7*0-6C!:T
ˆk!3G!O01 1-OB+!:T•:?d-ˆ/"ˆ!o6]1<=B+!•:?d-ˆ
ˆ*1)7701__(<)(__/_ˆ/"ˆY*6_01__(<)(_*1_/_ˆ
H<I0@6z06C!:TG!O0:?d-70C1DQ(0Q7[
? " QRS
p*0-/U1V():;0:HD!w-G!N-!P!Z-!a/V)Q->)7*0-6C!:TET
1!9--! 1@7"<96c(]7*0-6C!:T!;B^<1!Q6!0Ta1=/"1!"!G!W6•0
/"*3P!M!1!J-!*+->)G!‚G1*+7*0-6C!:TEka15O@:Z0<=6C!:T<[
-!H1!"!:Z0<=/U1V/"!C1*+6C!:T-!H1!"!!C1*+/U1VE
a7*0-6C!:T-!*G!‚G10a!"!-+-G!‚GB0a:^01*+!,--!X!K+-/"
-!A1-![:=0/•0-+-G!+:*+1!M7*0-/U1V@!b1!aP)@-2-!*G!‚G1!9-!0C-+-
G!‚GB0a:^0-!X!K+-/"-!A1-![:=0/•0-+-D!+00C6Em*:.@7*0-/U1VD!3-!o
-!X!K+-!*+-b<c7*0-->)!C1!=G!+:*+@6"-2!*"1!0C-b<c7*0-->)!C
1!=D!+00C6E
 !"!#$%&$&'' ()T
 
1D?"715/H&G"#$%&'(
(*1*+!,-!)1(*-!?b1(M!->)6+1X!@-!F1)1!?;AG!P

-L -!J)-+-B0a!?<)ˆK†%ˆ@ˆK„…%ˆ@ˆK…„‰ˆEEE+--L"D!3:F-n
D!3<)0/M-+-B0a-!?):?d-+-!*!P0+1(UK+-:U!ELˆK†%ˆ !)0B]
G!eB]G!e1!J! 17"B0aK:./)01(2-!>P1(*-LŠB]G!e1!J!)0ˆ7•
!b%ˆ:./)01(2/UP->)-L@.-!*B0a11X!-!L16"-!>P 1!H E.1!HD`
!0C-LˆK7•!b%ˆ7"gKh/•07"D`!0C/UPˆ7•!b%ˆ/"K7"B0aE?;01)
-n,0gKh7"0+1(U->)!"66C!:T1Z0KE‹‚11(*1eG!dG-+-<=1!9-@6]1D!0
B0aK:?d-+0+1(U-N1!H1!M-LgKh<[ 0+1(U-!L7`E!|!ZgŒh7":F
-2g•@'h7"<)0E"66C!:T-n 1!HK‚11(*1eG-+-<=Q@<=1!9-!)<=
G!J-@//Rm*:.@-!F1)<[K_6K‚1-+-!1Z*()!P6C!:T1V!P-L!?/eE
$ 1F$$29&G&'(
]1/U1V7"6]1D!|:U!gK@@Rh1(*:. -!J)6]1<=B0aK@@Rp 0+1(U
1(*!P1eG!dG@‡@R-!*1(?•-@<)*-!*
• ‡O1!LgK@@RhD!3G!O07"6C!:TE
• a1!)K@@RB\!P0+1(U-N1!H1!]-1eG!dG@‡@R-!*1(?•-1)<[
:?d-6]16C!:TgK@@Rh@!8)7"D!0:.-!L1(U->)gK@@Rh:?d-,07"-+-
B0a19I*->)/U1VE
()*+--L 70Q5)1•0-+-B0a!?ŽK†%•@ŽK…„Œ•( 1!)AG1(*
1*+!,-/"1(*-+--!?b1(M!->)6+1X!E+--L"D!3:F-nD!3
<)0/M-+-B0a-!?):?d--!*!P0+1(UK+-:U!E
.0-+-!D!+-@/U1V 1!H:?d-K_67"6]1!"66C!:T !0TB0a!*A-D!3
B0a"*@. 1!H:F!*A-<)0141!]-/"*0+1(U->)B0a/"7eG7e->)/U1VE
)+L•7"-!‘’7"6]1/U1VE!?D!0-!*7"6]1<=-N1!H7"-!|!)7"7€
1):?d-6]16C!:T
…„•••7"-!‘’6C!:T:FE
…„'•'7"-!‘’6C!:T<)0E
U1V•7"-!‘’ •G!WE!W1!J! 17"B0aK7"-!>P->)-LE!W1!J!)0
ˆ7"-!‘ˆ-n:?d-,07"/U1V@.-!*B0a11X!-! 16"-!>P 1!H E
 !"!#$%&$&'' ()U
 
• k`!0Cgh„•7"-!‘’

o ^5+1@?;01).0gh7"0+1(U->)!"66C!:T1Z0E]1D!0B0a
:?d-+1(U1!Mgh7"6]16C!:T
(),!*/U1VgKh„•K†%’E‹+-:U!-!L1(U->)gŒh/"g•hE
0O0
gŒh„•Œ†%’6C!:T:FE
g•h„••†%’6C!:T<)0E
$$1V$W%XW&'(
?;01) 1!HK_6/U1V!?7"6]1+!KZ@/•06z0G!W1~1!]-1eG!dGi1)
:?d-6]1O!gKh∈•“@$’EeG!dGi":?d-,07"D!30)->)/U1VEk!3
0)"<[-!o(}-+-0+1(UD!OI8->)B0aK7"6-!*gKh1(c1!"!6C!:T:F!*A-
<)0E
$$$ YZ"[\%XW&'(
!F1)-n1!?;AG!P-L !0TB0a!bEU1VK 1!0C-n!?
6]1!"6!0TB0a@D!0:.<=B0a:?d-,07"1(,7?d->)/U1VE
()-U1Vg)@Bh„•)…B„'’7"6]1/U1V•B0a1(QD!30)E).0
1(*7?d•E
(*6]1/U1VgK$@K•@EEE@Kh 1(,7?d7"Ea+0+1(UK+-:U!-!*6]1
B0a1(*!0TB0a1!M1):?d-6]1/U1V6•0gK$@K•@EEEKh 1(,7?d7"g”$hE
07e1":?d-+GIN-!*:aD!0„$1!M1) 6]16C!:TEe@1!9--! 16C!
:T7"6]1/U1V 1(,7?d7"“E
().!*/U1VgK@@‰h„•K…„‰’E
!*K„“g@‰h„g“@@‰h„•“…„‰’
„“g‰h„g“@‰h„g“@“@‰h„•“…“„‰’
‰„“„g“@“@$h„•“…“„$’
 !"!#$%&$&'' ()]
 
6C!:T<)0E
L IZgK$@K•@EEE@Kh:?d-,07"0+1(U->)!"66C!:T1Z0gK$@K•@EEE@Kh/"
-n:?d-,07"/U1VE
$& 1^#F&'(

!‚G1*+/U1V<~IN-+-G!‚G1*+7*0-6C!:T/"7"<96c(]->)G!‚G1*+
6C!:T:H1!H!0C(}!b-+-1(01!J-E
()/W/0a1-Lˆa!)0?;01!X-!6]1?;01!M!,D!31!X-!!)ŽI?•0IZ
7*0-/U1VE
” (?•-D!0/0a1-L1(Q1)!j1M6!0H-+--L:b0O:?d-/0a1!?<)
…ˆ)61!X-!)0ˆ:?d-/0a11!_*G!‚G1*+/U1V7"(01"23"4&
5ˆ31!X-!)0ˆ:?d-/0a11!_*G!‚G1*+/U1V7"(0623"4&
o ^5+1D!|:U!1(Q:?d-/0a1!?<)
!X-!g‹@•hm1!X-!g–@•h—˜1!X-!g‹@–h
⇔g!X-!g‹@•h∧ 1!X-!g–@•h—™1!X-!g‹@–h
: 1_
p"6]10+1(UK+-:U!1(*D!30)->)/U1VE-+-!\:?d-D`!0CBc0-+-
-!P1!?;I4:H:A11Q-+-:=01?d:A-B0C1!)1!]-1X!E
? M
m4:H1!H!0C-+-7•G1^5+1->)-+-:=01?d!)-+-1!]-1X!E‡0a:?d-
/0a1B\-+-D`!0CBw1:W7"-!P0!*)Ee 1!HI4/U1V B0a:H1!H!0C-+-
/U1V1?b19E
()7U1VˆOB.6"K)!ˆ 1!H/0a17Z0ˆ‹6"–ˆEOB.K)!7"-+-
!\:?d-K+-:U!1(*D!30)->)/U1VE‹@–7"B0aE
; %QRS
 !"!#$%&$&'' ()`
 
]1<9D0C!)6C!:T1(*G!‚G1*+/U1V:?d--!0)1!"!G!WEU1V/"1!)6
<=E!)6<=1!H!0C6]1!)!0T:=01?d->)6C!:T@-2/U1VI4:HD!|:U!
/T:=01?dE
()8Lˆ‹1!X-!–ˆ IZ1!X-!g‹@–hE
!X-!7"/U1V-!*B0a15)!C0P)-+-:=01?d1(**A-E=0<=7"-+-D`!0C1!)
-!*-+-:=01?d->)B"01*+E
J 1
?d-1!H!0CB\D`!0C@-!*B0a15)!C!"6<=E

()9*)7"6š->))0@37"-!)->)F-E*)/"37"BZ->)!)E
o ) !"6<=:?d-/0a1:H1!H!0C5)!C"E
 šg)0h„*)
 !)gF-h„3
 ‡Zg*)@3h
o +-!"6:?d-I41(*/U197"‡Zgšg)0h@!)gF-h
&%F%"[\(
(*6]1/U1V 1!HKO()-+-:0T<)/U1V:j-!*:F/•06,0G!W1~1(*
D!30)K+-:U!->).Š-n 1!H-!o:F/•06]1<=G!W1~"*:.1(*D!3
0)K+-:U!->).@?;01),0:.7"<97?d!.)!)7?d1V-+-!"66C!:TE
: "abScd ∃ e
LK+-:U!ˆeG!dG!PB0aK7"6-!*gKh7":FD!37"1eG!dG(zˆ7"
6]16C!:TE)ˆS1Z0X1! 16]1G!W1~K1(*D!30)<)*-!*gKh7":Fˆ
7"6]16C!:T:?d-,07"7?d1V1S1Z0->)gKhE
 k`!0C∃KgKhE
? "abSQfd ∀ e
 !"!#$%&$&'' ():<
 
LK+-:U!ˆeG!bG!PK7"6-!*gKh:F7"1 1-O1eG!dGiˆ7"6]16C!
:TE)ˆgKh:F/•06,00+1(UK1(*D!30)ˆ-n7"6]16C!:T:?d-,07"
7?d1V/•06,0->)gKhE
 k`!0C∀KgKh
›!8)->)7?d1VŽ/•06,0•/"7?d1VŽ1S1Z0•:?d-(F1()1(*BO<)
C!:T k!0"*:F k!0"*<)0
∀KgKh gKh7":F/•06,0G!W1~K .X1! 1$G!W1~K:HgKh
∃KgKh .X1! 1$G!W1~K:HgKh7"
:F
gKh7"<)0/•06,0G!W1~K
()*:‹‚11(*D!30)-+-<=1!9-@1) 
!*gKh„ŽK…$†K•@D!0:. 1!H/0a1∀KgKh

!*gKh„Ž•K„K…$•@D!0:. 1!H/0a1∃KgKh
()**!*/U1VgKh„•<=Q19!0QK7"<=-!‘’E‹‚1-!L1(U->)!)06C!
:T∀KgKh/"∃KgKhE
0O0
∀KgKh„•1 1-O<=Q19!0QK7"<=-!‘’7"6C!:T<)0D!0K„'E
∃KgKh„•!0C!P6]1<=Q19!0QK7"<=-!‘’7"6C!:T:FD!0K„$&E
%gh!*7"6]1/U1V D!30)iEai„•_$@_•@EEE_’@6C!:T∀KgKh7"
:FD!01 1-O-+-6C!:Tg_$h@g_•h@EEEg_h7":FE!8)7"∀KgKh⇔g_$h∧
g_•h∧EEE∧g_h7":FE
?b19∃KgKh7":Fa X1! 16]11(*!P6C!:Tg_$h@g_•h@EEE
g_h7":FE!8)7"∃KgKh⇔g_$h∨g_•h∨EEE∨g_h7":FE
()*+!*g)@Bh„•-AG<=Q1?bJ1!l))…B„'’
 !"!#$%&$&'' ()::
 
jK+-:U!-!L1(U->)-+-6C!:T<)

&$ %
V


1*%[iC[i
1?b:?b‡a/"-!oag—‡h g‡—h∧
 k`!0C
œ‡•„g—‡h g‡—h∧
: %jkjal al
…ž∀KŸgKhœ∃KžŸgKh
…ž∃KŸgKhœ∀KžŸgKh
…∃KggKh∨‡gKhhœ∃KgKh∨∃K‡gKh
…∀KggKh∧‡gKhhœ∀KgKh∧∀K‡gKh
…∃KggKh—‡gKhhœ∀KgKh—∃K‡gKh

…∀K∀ŸgK@hœ∀∀KŸgK@h
 !"!#$%&$&'' ():?
∀g)@Bhg)@Bh
• 1-O-AG<=Q1?dJ’
∃g)@Bhg)@Bh
•0C!P6]1-AG<=Q1?bJg)@Bh<)*-!*
)…B„'’

∃B∀)g)@Bh
•0C!P6]1-AG<=Q1?bJB<)*-!*-!*
6,0<=Q1?bJ)1) )…B„'’

∀)∃Bg)@Bh
•,0<=Q1?bJ)@!0C!P6]1<=Q
1?JB<)*-!*)…B„'’

∃)∀Bg)@Bh
•0C!P6]1-AG<=Q1?bJ)<)*-!*-!*
6,0<=Q1?bJB1) )…B„'’

∀B∃)g)@Bh
•,0<=Q1?bJB@!0C!P6]1<=Q
1?bJ)<)*-!*)…B„'’

 
…∃K∃ŸgK@hœ∃∃KŸgK@h
? %jkjal almf
+-G!‚G1?b:?b<):FD!0KD!3K 1!0C1(*B0H1!J-
;!<
…∀Kg∨ gKhhœ∨ ∀KgKh

…∃Kg∨ gKhhœ∨ ∃KgKh
;=<
…∀Kg∧ gKhhœ∧ ∀KgKh
…∃Kg∧ gKhhœ∧ ∃KgKh
;>"
…∀Kg—gKhhœ—∀KgKh
…∃Kg—gKhhœ—∃KgKh
…∀KggKh—hœ∃KgKh—
…∃KggKh—hœ∀KgKh—
; 9nQ !Lal al
$E∀KŸgKh—∃KŸgKh
•E∀KgKh∨∀K‡gKh—∀KggKh∨‡gKhh
%E∃KggKh∧‡gKhh—∃KgKh∧∃K‡gKh
ŒE∀KggKh—‡gKhh—g∀KgKh—∀K‡gKhh
'E∃∀KŸgK@h—∀K∃ŸgK@h
&$$ %V1*%%1o1+pdqr""st#Y9r+
t#Y95"We
 !"!#$%&$&'' ():;
 
]11Q/U1V1!_*<)Bc06]1I)!<+-!-+-B0a!?gK@h@1(*:.7"1Q
/U1V@/"K/"7"-+-B0a@:?d-,07"6]1-31!J-Q1~E
: %uvdqwwe abxyvza{
: (_@¡)7<_/"7"Ÿ¡¡E
? C!:T!*A-B0a6C!:T7"Ÿ¡¡E
; a/"‡7"Ÿ¡¡1!M™@∧‡@∨‡@—‡@¢‡7"Ÿ¡¡E
J a7"Ÿ¡¡/"K7"6]1B0a1!M∃K/"∀K7"Ÿ¡¡E
= 31!J-Q1~7"Ÿ¡¡E
()*.
…∀KgKh7"Ÿ¡¡
…Ž!>:3->)0C1)67""]0•7"Ÿ¡¡

|∀K‡gKh∧∃KgKh7"Ÿ¡¡
|∀K‡gKhgKh@‡g∃KhD!37"Ÿ¡¡
? Sqww{L !
()*/gKh7"Ÿ¡¡KD!3L6E
…Ÿ¡¡"7"@a60T0+1(U7"g$@%@'h@g•@Œ@£h!*A--+-<=QI?bE!?
.D!3-27"a60T0+1(U7"g””$@%@'h@!)-+-<=QL6
…a0O1!0a1gK@h7"ŽK†•1!M∀KgK@h 1!H!e0+1(U!) 141!]-1!_*
B0aE
o V/XIN1(Q1)(F1()Da17e<)
o Ÿ¡¡:?d-,07"1!l)6ja1S1Z06]10O01!X-!7"6-!*.
()*7∀KgKh7"1!l)6jE
o Ÿ¡¡7"!dG7Ca.7":F/•06,00O01!X-!E
()*8∀KgKh∨∃K™gKh!dG7C/•06,0/"0O01!0-!E
o Ÿ¡¡7"D!3!dG7C!*A-D!31!l)6jaD!31S1Z06]10O01!X-!7"6
Ÿ¡¡E
()*9∀KggKh∧™gKhh
; zal al
)0Ÿ¡¡Ÿ$@Ÿ•7"1?b:?ba/"-!oaŸ$¢Ÿ•/•06,00O01!X-!E
()+:
 !"!#$%&$&'' ():J
 
…∀KgKh¢∃K™gKh/•06,0
…∀KggKh∧gKhh@∀KgKh∧∀KgKh/•06,0@
&$$$ 45/}%&)9V1K15/+$~Y#"#$%&'(
 1w-<I0$g(F1,h
o 31!J--b<cg¤‡h—œ$
o 3!M!<I0
 1w-<I0•g-]h
o 31!J--b<c—g‡hœ$
o 3!M!<I0 

 1w-<I0%gD!|:U!h
o 31!J--b<cg¤g—‡h—‡œ$
o 3!M!<I0
 1w-<I0ŒgG!>:U!h
o 31!J--b<cgg—‡h¤h—œ$
o 3!M!<I0
 1w-<I0'gBw--Wh
o 31!J--b<cgg—‡h¤g‡—hh—g—hœ$
o 3!M!<I0
 1w-<I0£g1)6:*Z7e1Hh
o 31!J--b<cg¤g¥‡hh—‡œ$
o 3!M!<I0
 1w-<I0¦g6L1!xh
o 31!J--b<cg
o 3!M!<I0œ
 !"!#$%&$&'' ():=
 
 1w-<I0§g1!_*1V1(?;!dGh
o 31!J--b<cgg—h¤g‡—hh—gg¥‡h—hœ$
o 3!M!<I0
 1w-<I0{g:A-B0C1!.)G!^INh
a6C!:T∀KgKh:F1(Q1(?;1!MD!01!)KBc0G!W1~)B 1Dƒ1(*
1):?d-6C!:T)-n:FE
o 31!J--b<c∀KgKh—g)hœ$
o 3!M!<I0/•0)7"G!W1~-=:U!B 1Dƒ1(*
 1w-<I0$&g1^5+1!.)G!^INh
!*6C!:T∀KgKh1(Q1(?;Ek!0:.@ag)h:F/•06,0G!W1~)1(Q
1(?;1!M6C!:T∀KgKh-n:F1(Q1(?;E
o 31!J--b<cg)h—∀KgKhœ$
o 3!M!<I0/•0)7"G!W1~B 1Dƒ1(*E

 1w-<I0$$
o 31!J--b<cgg∀KhggKh—gKh¤g)hh—g)hœ$@)6"g)h:F
o 3!M!<I0
 1w-<I0$•
o 31!J--b<cg∀KhggKh—gKhh
o 3!M!<I0
 1w-<I0$%
o 31!J--b<cgg∀KhggKh—gKhh¤g∀KhggKh—gKhh—g∀KhggKh—gKhh
œ$
 !"!#$%&$&'' ():T
 
o 3!M!<I0
¨:L„@/•0„“g©ªh
$- +p%15•}%%XW%V1*%"#$%&'(€
+p%15•Yrr-
• !H/TIZ-!y(__K
„g∀KhgGgKh—g∃Khg∀hg5gh∨(gKhhh
 „g∀Khg™GgKh∨g∃Khg∀hg5gh∨(gKhhh
• 6?%@A)@B
„g∀Khg™GgKh∨g∃‰hg∀hg5gh∨(g‰hhh
„g∀Khg∃‰hg∀hg™GgKh∨g5gh∨(g‰hhhE
4•‚nQ!vƒ„„x
$E‹.)1*+1~Ž—•
•E!H7?d1V()G!X)1(?•-E
• =CDEFGHC
„g$K$hEEEgKhgm$∨R∨mDh
mD7"!]0->)6]1!*A-!0T6C!:TE
()+* „g∀Khg∃‰hg∀hgg™GgKh∧5ghh∨g5gh∧(g‰hhhE
• =CDEGHB
„g$K$hEEEgKhgm$∧R∧mDh

mD7"1H->)6]1!*A-!0T6C!:TE
()++ „g∀Khg∃‰hg∀hgg™GgKh∨5ghh∧g5gh∨(g‰hhhE
 !"!#$%&$&'' ():U
 
• ICBJDEFGHBKC
” ^01QB0aE
” ‹.)1*+1~Ž—•I4—m„ž∨‡E
” m0-!H™gžh/TBQ1(+0->)6z06C!:TE
” !H-+-7?d1V()BQ1(+0->)-31!J-E
” m47e1G!LB=/"Da1!dG:H-!H/TIZ1?bJg]0«HhE
()+,!*Ÿ„∀KgKh∨∃K‡gKh—gKh∧∃KgKhE
Ÿœ∀gh∨∃‰‡g‰h—gKh∧∃1g1h06?%@A4
œžg∀gh∨∃‰‡g‰hh∨ggKh∧∃1g1hh0LM"N—•4
œgž∀gh∧ž∃‰‡g‰hh∨ggKh∧∃1g1hh0CO4
œg∃žgh∧∀‰ž‡g‰hh∨ggKh∧∃1g1hh
œ∃∀‰∃1ggžgh∧ž‡g‰hh∨ggKh∧g1hhh0C∃2∀h
L7"IZ-!y(__K1H
-"5…5/+$~
Q pe1<I0
0/_(<)7<1)10)10* ∀KgKh—g-h
-7"$0+1(U1(*0/_(<_
0/_(<)7__()70‰)10* g-h—∀KgKh
g-h7"/•06,0-1(*6]10/_(<_:)K_6
K‚1
iK0<1_10)7<1)10)10* ∃KgKh—g-h
-1(*0/_(<_/+g-h7"
iK0<1_10)7__()70‰)10* g-h—∃KgKh
-1(*0/_(<_
_)10* ™∃KgKh¢∀K™gKh
 !"!#$%&$&'' ():]

 
()+-]1!.):b7"1(=a.-!?):?d-1!)!1*+gB\10T6A1h-!*%&
"E.):b/x-!?):?d-1!)!1*+-!*%&"EM/e/0C-D0H61()"7"
1(=E‡ZD!31!H1!)!1*+-!*6]1!.):b1(=Em*:.BZD!31!H1!)!1*+
-!*!.):bE‡L0;-!F1):j 6]1!.):b6"D!31!H1!)!1*+E
):A1
…gKhK7"6]1!.):b
…gKhK:j:?d-1!)!1*+1(*%&"
…gKhK7"1(=
…YgKhK 1!H1!)!1*+
…6]1!.):b
e1) 
g∀KgggKh¤™gKhh—gKhhh¤™gh—gh
∀KgggKh¤gKh—™YgKhh¤gh—™Ygh
gh¤†dh—∃KggKh¤™YgKhh
-$ &‡+,
: + yaˆP‚O
Y)D!0:j:?d-0•01!0C/T-+-7?d1V@-!F1) 1!HB0HI0:?d-6]11eG!dG
(]7•-+--L1!31!?;1!"!-+-B0H1!J-7*0-E0C-7"6"!\66N-:X-!
7*Z0:0!P:0T-!?)(}("/"?;01) 1!H<~IN-+--L<7e"1(*
/0C-7eG1(M!7*0-/"1(X1C!L1Z*E
*‡0HI0-Lˆ,0?;0:T -!X!K+-6]1?;0BZ1=1! 1ˆ1!"!6]1B0H
1!J-7*0-E
‰
 !"!#$%&$&'' ():`
 
0O<~‡gK@h7"-Lˆ7"BZ1=1->)KˆEHIU-!-L1(*/XIN-W-!F`‡gK@h6=
.0(\:=0/•06z0-+!LK 6]1-+!LD!+-7"<)*-!*7"BZ1=1! 1->)K@
a‰7"6]1-+!LD!+-1!M‰D!3G!O07"BZ1=1! 1->)KEm*:.@-L1(*/XIN
1!HIU-!1!"!

∀K∃∀‰¬‡gK@h∧gg‰©h—™‡gK@‰hh-
+‡0HI0-Lˆa6]1?;0"*:.7"G!NP/":j<0!-*@1!M?;0:.<[7"
6š->)6]1?;0"*D!+-ˆ1!"!6]1B0H1!J-7*0-
‰
0O<~ gKh„ˆK7"G!NPˆgKh„ˆK:j<0!-*Ž/"gK@h„ˆK7"6š->)ŽM1(*/X
IN+GIN-!*1 1-O6,0?;0Q1) 1!H/0a1.1!"!B0H1!J-!?<)∀Kg gKh
∧gKhh—∃gK@h
,
‹‚1-+--L<)E)0-L:W10Q7"10T:T/"-LB)7"Da17eE*"B]1eG!dG%-L
":?d-,07"6]1<7`E
…ˆ 1-O<?1~"3:T!IPˆE
…ˆ]1<=<?1~"3D!3=-"G!QˆE
…ˆ]1<=<0!/e1!IPD!3=-"G!QˆE
‰
,0gKh„•K7"<?1~!":3’
…gKh„•K!IP’
…gKh„•K=-"G!Q’
…0O<~(\D!30)7"1eG!dG1*"B]-+-<0!/e1@1) -+-!<I0<)
∀KggKh—gKh
∃KggKh∧™gKhh
 !"!#$%&$&'' ()?<
 
∃KggKh∧™gKhh
.6]1<=:0T-W7?`1(*/0C-G!>:U!-+-7?d1V1(*:U!7`•E
-jK‚1G!>:U!->)-L<):Lˆ 1-O<0!/0Q1(*7•G:T:j!,-63
*+(;0(Z-•ˆ
L"-!X!7"-L<~IN7?d1V/•06,0!?<)∀KgKh(*:.gKh„•K:j
!,-63*+(;0(Z-•’E
!>:U!->)-L"7"ˆk!3G!O01 1-O-+-<0!/0Q1(*7•G:T:j!,-63
*+(;0(Z-•ˆE

0T" !8)7"ˆ.X1! 16]1<0!/0Qc7•G"-!?)!,-*+(;0(Z-•ˆ
L-!X!7"7?d1V1S1Z0->)G!>:U!!"66C!:TB):W:?d-/0a1!?<)
∃K™gKhE
) ™∀KgKh⇔∃K™gKh
™∃KgKh⇔∀K™gKh
? + P‚Oyaˆ
.m00O0G!+1B0H<)
∀KggKh¤∃ggh∧ gK@hhhh
(*:.
®gKhK 6+1X!
® gK@hK@7"BZ
®K@¯1 1-O<0!/0Q1(*1(?;
0O0
•06,0<0!/0QK1(*1(?;@!*A-K 6+1X!@!*A-1S1Z0<0!/0Q 6+
1X!/"<0!/0QK@7"BZE
/m00O0G!+1B0H<)
 !"!#$%&$&'' ()?:
 
∃K∀∀‰ggg gK@h∧ gK@‰h∧g©‰hh—™ g@‰hhh
(*:.
® gK@hK@7"BZ
®K@@‰¯1 1-O<0!/0Q1(*1(?;
0O0
S1Z06]1<0!/0QK@<)*-!*/•06,0<0!/0Q@/•06,0<0!/0Q‰D!+-@aK7"
BZ->)/"K7"BZ->)‰1!M@‰D!37"BZ->)!)E
V-+-/XIN1(Q@1) 1!H1.61w1`!8)->)7?d1V!?<)
P‚  gI {I
∀K∀gK@h
∀∀KgK@h
gK@hO

QfK@
%mnŠjK@O
gK@hO
∀K∃gK@h &f   K@ c    O  
gK@hO
%mn K { gK@h
O Qf
∃K∀gK@h cK{gK@hOQf

&f K c  O
gK@hO
∃K∃gK@h
∃∃KgK@h
c    n  Šj K@ {  
gK@hO
gK@hO QfK@
 !"!#$%&$&'' ()??
 
1D;*+,€%1[iYK1%./1612
$ $‹$1$25
!?b1(M!:?d-/0a11(QT0<)7Y1I0*•&$&@/•03Pf/"3P
7eG1(M!7*0-YŸ”˜p˜/£E'E•E(*7*7"3P7eG1(M!7*0-I9)1(Q-b<c
->)!"66C!:T/"7*0-/U1VE
H 1!H!F(*7*/"*f@-W-+-1!?/0C<°0G7EI77@/"Y°07<EI77
mP70C:?d-7?1(PIZ¡07_1_K1@B)*S6%5)!C-!X!¡)1!_(@6*1!_(@!<B)I
:L7"%1eG<9D0C-!X!->)-!?b1(M!
+-1eG7e1<I0-n:?d-7?/"*¡07_1K1E
!?b1(M!-!*G!‚G1(K 1( 1!0T5)!CD!+-!)1(*0):M!/•0-+-
1eG7e1:j:U!!8)<‘@*"0()?;0<PIN 1!H19-eG!e11!Q6-+-5)!C
7e1D!+-D!0-WE

$$%1[iYK1
: %Œj{zL€OŒ
a. S kin
!?b1(M!-!>aI9)1(Q%1eG<9D0C-!X!7"¡)1!_(@6*1!_(/"!<B)IE
]0I->)%1eG<9D0C<[:?d-:?)/"*-!?b1(M!1V¡07_1_K1E
b. Lut
+-1eG7e1:?d-KLI9:H!l0-+-5)!CD!+-1(Q-LG!O!CE
 

 !"
"
 !"!#$%&$&'' ()?;
 
" !"
#"$$ %&'
#"$$ %()*
#"#" %()*&'
#"#"
"+,- ./#0%123
!4#$$"+ %)5
34 !4#$$
3 $ !4#$66 %&'7)
"3  !4# %&'7)
"3 $"3 $66
 $$4"+
%85*9:
!$$, male(X),dierent(X, Y).
%)5;<:
•"5…C245/> RŽ•L•
3 $$

3 $3 $
 !"!#$%&$&'' ()?J
 
? vL
=PI$
 !"!#$%&$&'' ()?=