"!#%$'&(*)
+-,'./1032456587:9%;=<?>A@CBD@FEHG8IKJFL<NMPORQS
TVUWXY1Z\[]U Y^X_`abZ?c[]XU
deSgf]hgfiQ?<kj8O=Il;=G%Q?mAnoS"<kp%Sgf]QqIlrNMsG%tuJMwv?jqJ6m\x MySgj8>z<k;={|v}IKJ6mufi{|v~m\xFv;lv?QqIlfu;
Q?<kj8O=Il;=G%Q?mAnoSSj8%G%Q?mJNnojJm\x*@ uI\vj%Fv?;=<MJ{98;R uJQ%Lzv%f]{nofuO=IH8fuFj%Sgmon=vV9%;=<kk;Rv?{rMMFv?jqJ{-no
uJQG9%;R<k?;lv?{<NMvj%Sv^m\x%<% ]S<|>z<k;={v?hj8f/O=IKMPSgf];=% ]fuj%Sfm] JFv?jqJm]S: ]jFvQ?rNMnofuO=I9%;R<k?;lv?{f]{
v~j%Sfimu<|hgSmu uJF\@
fu%j%SmAnofwSgj%%G%QmuJNnoj%f<?Qv ]Gn=ORSgC{v?m\xFvj%S u{f]{ j%SfuOlv?{<NMPSgm]SgfORQG8IRf]m] ujqJ6{¡]nofu¢RhgS6m\x%<% uS<G%9%;=<kOR
m] uf]j%Sgf¡SG%¢RmuS¢=hfuj%Sgf <k98SO=G£;=<k uMwv?t¤vjJm\x£<kp%Sgf]QqIlrNMi@¦¥v;R% u<9 <k{v?kv}n=M§<?9 fu;R<NMvj%SG¨jFvI\vQSgm\x
<kp%Sgf]QqI\vm\x*@3©ª;= uJQ%Lzv?8f]{ nofuO=IILG%{v?mu ]fuj%Sf9%;R<k?;lv?{«G: Cnof]8j%f]k<no] uJQ}v/jFv¬Sgj%jqJ^m]<¬{|v«{SgfonoO=m]f#M
m] ]v?ORSgf«Q<k{9%Sghv?mAnoSzl@
•
©;R JQFLv?*ªMJ;lv?tuf]j%Sv i9b<k9%;RvNMPj8Sf®;R<k uO=IlvNMPSg<kjqJ{Sj%vNMPSv?ORv?{S
¯°
;RG%%j8<%<kQ%Lzv%j%Sgf:<k9%SgOlv?±®n=v?QSf²MJ;Rv?t]fuj%SvOR MJ;lv?tuf]j%Sv?{S :9b<k9%;RvNMPj8Sf:;=<k ]OoI\v¤MPSg<
jqJ{S3jFv¤MPSv?Olv?{S^@³´v9 fMPj%<j%Sgf²ORj%Sg{S3Ilv?QSfMJ6;Rv?t]fuj%Sv8MµQqIlrk;oJ6m\x¦j%v 9%;= uJQ%Lzv?
hgSmu ]pFv¶j%vNMPSv?O=rM·<?IKMPSgf];Rv}n=?mJ6m\x¸nofuO=I:Sgj%jFvDj%St hSgm] upFv¶jFv¤MPSv?ORrNM· ¤v{«JQ}v}n=?muJm\x*@³´v
9bfuMPj%<~Ilfuti9%Sfu;=MPO= uJ{¹jFv?9b<?IlQ}v?jqJ{ºjFv¤MPSv?ORfu{º9b<hgfuMCfonO=IR;R<kj%Sgfij%Sgf®{<ktufHpqJ6±®jFv¤MPSv?O
¤v{«JQ}v}n=?muJ?@
¯
fFj%Sgmon=v²vhk<?;=JIl{Sgm] ]j%v8w{<ktujFv|9%;=rkpb<Mwv?±®<kQ;RfuORhgS±®Ilf]OoI¤kn=v?QS"9 <NMPSgj%j%j%<|9%;R ufono¢=±«MJq
;lvt]f]j8SfCpqJ¢R{®J£ ]v?QqMvhS»FQ?<NMwv?hgSªnof/n=v?Q<MJ;Rv?t]fuj%Sf ¡9 <?9%;lv¤MPj%Sgf¡;R<k uO=I\v¤MPSg<kjqJ{SPjFv
MPSv?Olv?{S^@©<k{«J¢Rhnof]%jFvQ¡n=v?Q u%fuFj8S<NMwv?±:I\v?QSªIlfuO=I~%hv¡¼MJ;lv?tuf]½¦ ²9b<k9%;Rv¤MPj%Sf²;R<k
O=Ilv¤MPS<kjqJ{SªjFv¤MPSv?ORv?{S¿¾\@³vV9 fMPj%<j%Sf#nofuO=IiIl<¡ ¤vFv?j%Sgf~Il;=JMPSv?hgj%f?@²À?f]¢=hSIRf]O=I®<kQ}v?tuf
ORSg/O=Q?<k{9%hgSQ<NMv?jqJ?Án=v?Q¡9%;= ]fuQ?<kjFv±~Sj%j%:<kOR<kpb¬tuf¬IlfuO=IRGnof¬I\vQn=v?QVIR;R ]fupFvq£j%v²9 fMPj%<
pb]% uSfHIl<j%SgfuMJk<%j%f@
¯
fFj%Sgmon=v²Sgj%%G%QmuJNnojFv8PMJ;lv?tuf]j%Sv²I\vQSgf/{<ktujFv²<k9%SgOlv±¬9b<k9%;R uf] «9 <kQ}v? ]v?j%SgfÃ]Ä}ŲƲÇ]È]ÉbÄ
ÃNÊiËÌ1ÍwÇ}Î=È]ÏqÐ@CÑH98SOI\vQS{v~9b<kO=Ilv?±?
ÒqÓFÔ]Ó
_
ÓDÕÖ
Z
Òq×8Ø
a
Ö6Ù¬Ó*Ú
Q}v?t]6J¦jFv?9%SgO~pbf] ¡jFv¤MPSvORrNMnofuO=Id¶ ]©ªÛ´³ÜݼÝMJ;lv?tuf]j%Sgf¡ V9 <}
9%;lv¤MPj%Sgf«;=<k ]OoI\v¤MPSg<kjqJ6{S"jFv¤MPSv?Olv?{SÞ¾l
ÖÁÕ
Uß
Ó
Z\[
ÓáàFÚ
nofu¢RhgSjFv?9%SgO
A
nofuO=IPdD ¤©ªÛ´³âIR<
{A}
(A)
[A]
Ilfut«OR~dD ¤©ªÛ³
ÖÁÕ
Uß
Ó
Z\[
Ó¸ã*Ú
nofu¢RhgSjFv?9%SgO=J
A
<k;Rv?
B
OldD ¤©ªÛ³«Il<
AB
^Q?<?j%Q}vIlfujFv?mon=v
A
<k;Rv?
B
m] uJhgS"jFv?9%SgOP9 <NMPO=IlvLÝJ:9 < ¤v9%SORv?j%SgG<kpb<kQ|ORSgf]p%Sgf
A
<k;Rv?
B
3IRf] nof]OoIdD ¤©ªÛ³
¯
Ñ#9%Sgf];lvn=?m|O=SjFv9 <NMJt]O= uJm\xä ¤v?ORv?Fv?m\x¸{<ktujFv upFv?Fv±?tuf|MJ;lvt]f]j8Sf
[()as{c}]
nof]O=I
dD ¤©ªÛ´³®@%dDJQ}v? ]v?j%SgfiIRf]k<>^v?QqIlG¡9b<khgf]qv~jFvOR9%;Rv¤MP% ]fuj%SG'
å
@PjFv?9%SgOP9%G%O=IKJ/nofuO=IPdD ¤©ªÛ´³-z ¤v?ORv?Fv9 <m] ]IlQ<Mwv
æ
@P
å
S<k9bf];Rv?monoS
å
()
nofuO=IPd¶ ]©ªÛ´³
ç
@
as
nof]OoIdD ¤©ªÛ³-^ ¤vOlv?Fv9b<6mu ¤IRQ?<NMv
è
@P
æ
S
ç
S<k9bf];Rv?monoS
æ
()as
nof]OoIdD ¤©ªÛ³
é
@
c
nof]OoIdD ¤©ªÛ³§z ¤v?ORv?Fv~9b<6mu ¤IRQ?<NMv
ê
@P
é
<k;Rv? H<k9bf];Rv?monoS
å
{c}
nof]OoIdD ¤©ªÛ³
ë
@P
è
S
ê
S<k9bf];Rv?monoS
æ
()as{c}
nof]OoIdD ¤©ªÛ³
ì
@P
ë
S<k9bf];Rv?monoS
å
[()as{c}]
nof]OoIPd¶ ]©3Û³
•
©;R JQFLv?*ªMJ;lv?tuf]j%Svhg<kkSgm] uj%f²^hg<kkSgQv~9%Sgf];oMPOR uf]k<|;R ]u%G
ÒqÓFÔ]Ó
_
ÓDÕÖ
Z
Òq×8Ø
a
Ö6Ù¬Ó*Ú
Q}v?t]%v u{Sfuj%jFv~hG8p¡Mwv?;oIl<k¢=±®hg<kkSgm] ujFv¡^j89*@ª ¤v?9%SgOlvjFvn=v?QMyíF<k;=IR;lv}
j%Sgf?P@
°
Ûîï@g@ðíñ#ò8ï@»"nofuO=IPMJ;lv?tuf]j%Sgf]{óhg<kkSgm] ]jqJ{¡
ÖÁÕ
Uß
Ó
Z\[
ÓàFÚ
nofu¢RhgSFjFv?9%SgO
A
nof]O=IMJ;Rv?t]fuj%Sfu{ôh<?kSmu ]jqJ{¡IR<
(A)
Ilf]tnofuO=IªMJ;lv?tuf]j%Sgf]{ôhg<kkSgm]
jqJ{
ÖÁÕ
Uß
Ó
Z\[
Ó¦ã*Ú
nofu¢RhgSbj%v?9%SgO=J
A
<k;lv
B
ORiMJ;lvt]f]j8Sv?{SÁhg<kkSgm] ]jqJ{S1Il<
A ∧ B
A ∨ B
A ⇒ B
A ⇔ B
¬A
Ilfut«OR~MJ;Rv?t]fuj%Sv{S"hg<kkSgm] ujJ{S^@
•
©;R JQFLv?*ªMJ;lv?tuf]j%Sv|v;=JIl{fuIKJmu ]j%f
ÒqÓFÔ]Ó
_
ÓDÕÖ
Z
Òq×8Ø
a
Ö6Ù¬Ó*Ú
Q}v?t]%v ]{Sgf]j%jFvhgG%p¸hgSgm] ]p%väzMµ ¤v9%SO=Sf@@g@»Dnof]OoI¬MJ;lv?tuf]j%Sgf]{õv?;=JIo
{fuIKJm] ujqJ6{¡
ÖÁÕ
Uß
Ó
Z\[
ÓàFÚ
nofu¢RhgSj%v?9%SgO
A
nof]OoI´MJ;Rv?t]fuj%Sfu{·v?;=JIl{fIKJ6mu ]jqJ{¡'Il<
(A)
Ilf]tnof]OoIPMJ6;Rv?t]fuj%Sgf]{
v?;oJIR{fuIKJm] ujJ{¡
ÖÁÕ
Uß
Ó
Z\[
Ó¦ã*Ú
nofu¢RhgS3j%v?9%SgO=J
A
<k;lv?
B
OlVMJ;lv?tuf]j%Sv?{SCv?;=JIl{fIKJ6mu ]jqJ{S1IR<
A + B
A · B
A − B
A/B
−A
IRf]tiOl~MJ;lv?tuf]j%Sv?{Sv?;=JIR{fIKJm] ]jqJ{S1@
îMwv?qv6Ilv%fu%j%SmAn=v%<k9%G%O= ]mu ¤v ]p%G8%<NMv?j8Sf:MJ;lvt]f]j8Sv9b<kO=Ilv?m]S^
2/2/2
@À?fuk< ]jFvm] ]fuj%Sgf
j%Sgf3nofuO=In=vORj%fzm] JMJ;Rv?t¤v/<kj8<
(2/2)/2 =
1
2
6mu uJIlfut
2/(2/2) = 2)
@ªE¬L<?9 <?IªMJj%SgQ}v/ ´Ilfuk<%
t]fij%Sgfnof]OoIªn=vORj%fHM£n=vQSO=9 <?ORrkpORQ<kj%O=IR;RG%<NMwv?j%<²Ilv?QSfHMJ;lvt]f]j8Sf@
•
©;R JQFLv?*/MJ;lvt]f]j8Sv;=f]kG8hv?;=j%fO=Il<?OR<NMvj%f:9%;= uJSjqIRf]hgSkfujqIljqJ{öMJOR uG%QSgMwv?j%SgG¦M÷IlfuQ¢=m]Sgf?@
ø
x%<% ]S6<#p%G%8<Mwv?j%SgfMP ]<?;Rm]rNMávj%SgfwIKJhQ<#MJOR ]G8QS»Mwv?j%Sgf´<kQ;=f]¢Rhg<kj%fAn>z;Rv? uJ?@dJ;lv?tuf]j%SvI\v?QSgf
G%tJMwv?j%f®Ol9%;= ]f] ®OR uf];=f]²fu8JIl<k;=rNMµ^j89*@ù6S\F<?;lv? #MJOR uG%QSgMwv?;=QSSjqIRf];Rj8fuIl<NMCf?@
•
©;R JQFLv?*3<66MP;R<?IRjFv~j%<?I\vmon=v~9 <?hO=Qv6@
nof]OoIIl<¬>z<?;R{v/ ¤v?98SO=G¡MJ;Rv?t]fu½ v;=JIl{fuIKJmu ]jqJm\x*'QqIlr?;lv/j%Sgf#OR98;lv¤MPSv~Q%L<?9 <?IRrNMs9b<k9%;= ]fu Hp%;lv?Q
nof]8j%<k ]j%v?m] uj%<k¢RmuS1®vnof]%j8<6mu ]f]¢=j%Sgf¶j%SgfDG8tuJMv¨jFv¤MPSvORrNMi@óÀ?f]OoIG8tuJMvjFv¨Mú;=f]9%;=f] uf]jqI\v?mAnoS
¼K{v?O= uJj%<NMCfonû¾MJ;lvt]f]½¶v?;=JIR{fIKJm] ]jqJm\x*@|hv¡hgG%% uSj%Sgf~jFv?Fv}nof~O=S ]v¡p%v?;R% u<%pb<:Il;RG8%j%<
MP ];=<kQ?<NMC<² uSjqIlfu;R9%;=fuIR<Mwv?±®I\v?QSgfiMJ;Rv?t]fuj%Sf@
ÒqÓFÔ]Ó
_
ÓDÕÖ
Z
Òq×8Ø
a
Ö6Ù¬Ó*Ú
Q}v?t]%v¡ u{Sfuj%jFvVhG8phgSgm] ]p%vDMü ]v?9%SgORSgf¡@@g@»|nof]OoIHMJ6;Rv?t]fuj%Sgf]{M <6
MP;R<Ilj%fAnj%<I\v?mAnoS9 <khgORQSgfon
ÖÁÕ
Uß
Ó
Z\[
Ó*Ú
nof]¢=hS6jFv?9%SgO=J
A
<k;Rv?
B
Ol´MJ;lvt]f]j8Sv?{SFv;=JIl{fuIKJmu ]jqJ{S%MJ;Rv?t]fuj%Sfu{üMä<8MP;R<?Io
j%fAnj%<I\v?mAnoS%9 <?hO=QSgfonIl<
AB+
AB·
AB−
AB/
Ilf]tPORHMJ;Rv?t]fuj%Sv{Sbv?;oJIl{fuIKJm] ujqJ6{S
Ms<68MP;=<?Ilj8fonj8<?I\v?mAnoS*9b<khO=QSfAn@
©;R J6Q%Lv?*«MJ;Rv?t]fuj%Sf
345 + +2−
<k ]jFvm] ¤v¡Il<Olv?{< m]<
(3 + (4 + 5)) − 2
@:³´v¡MJQ%Lzv?8 ]Sgf
G8IKMC<k;R JhSg¢R{®J:%<kOoJ±ORQ<k{9%hgSQ<Mwv?j%f#MJ;Rv?t]fuj%SfSb9b<?IRf]{ô ];=f]Q<kj%O=IR;RG%<NMwv?hgS¢={«J«nofuk<¬p8G%%<NMw@
d
IR;lv?Qm]SgfHIlfon;RfuQ?<kj%OoIl;=G%Q?mAnoS9b<kO=IR]9%G}nof]{«J¡ uk<%j%Sgf® ijFvO=Ilu9%Gn=?mJ{S";=f]kG Lv?{S1
¯
9%;= ]f] ujFv?QSfu{<k9bf];Rv?monoSj%v?hfutuJ9b<kO= ]G%Q}v?±~8MCrm\x¶v?;=kG%{f]jqIRrMi"Q}v?tu8Jv?;=kG%{f]jqInof]OoI
v?hgp <²hSgm] upF8" ]{Sgf]j%jF¡v?hgpb<VpFv?;R8 ]SgfonHO=Q?<k{9%hgSgQ?<NMvjJ{úMJ;lv?tuf]j%Sgf]{M<8MP;R<?IRj%fon´j%<}
I\vmonoS*9b<khgORQSfAn®MyI\vQSg{§MJ9Fv?8QGQ?<k½%mu uJ¡O=Si ]j%v?QSfu{¹<k9 fu;lv?mAnoSz
¯
<8IKMv;R ¤v±®{<ktujFv8¼K i{vLÝJm\x Qv¤MwvLQrNM;R<kp%S?mim]<?;lv? HMPSg]QOR uf¾/hG%p v?jFvhSg ]Gn=miMJ;Rv}
t]fuj%Sgf®OoI\v?;Rv}n=?mi9%;= ]f]m\x8<6% ]?m®<6¡<kkr?hj%fAnp%G8%<NMJ¡%<OR ]mu ]fukr6LrNMi@
hv98;R uJQ%Lzv%G*Á ];=f]Q?<?j%O=IR;RG%Gnofu{«J~n=v?Q: up%G%%<NMwv?j%<
523 + 5 · +2+
¯
23+
jFvi9bfuMPj%<«<k ]jFvm] ¤v
(2 + 3)
SOoIl<?IRj%Sgf?9%;= ]fu
+
Oli8Mwv¬v?;=kG%{f]jqIKJ?
3
j%Sgf´{<ktuf´pqJ±
Q?<?½%m]fu{§MJ;lv?tuf]j%Sv up%G%%<NMwv?j%fuk<| ]v/9 <?{<m¤/<?9 fu;lv?mAnoS1% ]vIlfu{
3
OoI\v?j8<MPS"v;RkG%{fujI]%
9b<6%<?p%j%fonw9%;= uJm] J6jqJ
2
nof]OoI´98Sfu;=MPOR J{ýv;RkG%{fujIRf]{ºIRfonw;Rf]hv?mAnoS1@
©<H ]v?O=Il98Sfuj%SG
23+
9%;R uf]
X
<? ]jFv?mu ¤v}n=m]fMJ;lv?tuf]j%SgfP<# ]j%v?j%fonp%G%8<MPSgf<?IR;R uJ{«Gnof]{®J
5X5 · +2+
@
¯÷þ
9b<68<kp%jqJm\xV9%;R J6mu uJj/n=v?Q9 <?9%;R uf]%j%Sg</MPSg% ]Sg{«J?%t]f
X5·
<6%9b<NMPSvFv
(X · 5)
I^n@
((2 +
3) · 5)
@ª©<| ]v?O=Il98Sfuj%SGIlfuk<ORQ%Lzv?8j%SQ}v9%;R uf]
Y
<?Il;= uJ{¬Gnofu{«Jb
5Y + 2+
@
¯
deSg% ]Sg{«J?btuf
5Y +
<6%9b<NMPSvFv
Z
<? ]jFv?mu ¤v}n=m]f]{«G
(5 + ((2 + 3) · 5))
@
©<%OoI\v¤MPSvn=?m?ÁjFv?O= ]fHMJ;lv?tuf]j%Sgf¬{v~9b<kO=Ilv?±
Z2+
@
¯
Ñ#O=IlvIlfum] ]j8Sf6jFvOR ]fPMJ;lv?tuf]j%Sgf<%9b<NMPSv?%v
Z + 2 = (5 + Y ) + 2 = (5 + ((2 + 3) · 5)) + 2
ÿ'U_X
ÖÁÒ
X
Ó
Z
Ò
X
Ö
ß}Ua
Ö
X
ÔØ
ß}`abZ\[¤Y
B v}n=?miMJ6;Rv?t]fuj%Sgf¬ORQ<kj%OoIl;RG8<Mwv?j%f¬Sj%8G%Q?mJnoj8Sf/m\x8m]f]{®J ];Rf
Q?<kj8O=Il;=G%<NMv±«M£n=vQS'OR9b<kORrkp9b<MPOoI\vLÝ<%@
•
³SfuQSgf]6J~j%Sgfnof]O=IIl<H{<kt]hgS»MwfIlv?Qn=v?Q«8hv# MJ6Q%LJ6m\xMJ;lv?tuf]½v?;=JIR{fIKJm] ]jqJm\x*
2+3+4
j%Sf
MPSv?%<k{<%m] uJ®9b<NMPO=I\vL<Cn=v?Q<
(2+3)+4
mu uJn=v?Q?<
2+(3+4)
@
°
Ñe
°
dñÛ
þ
ñ£©ªÛÑH¥ò"ïCB~
Q?<?hfAnoj%<k¢R±MJQ?<kjqJMvj%Sv/<?9 fu;lv?mAnoSF ]{Sfuj%j%<k98;R ]fum]Sgj%Q?<NMJm\x{|viMP9 LÝJM
j%viMJj%SgQÁ
x + (y + z)
{<kt]fiFv±®Sgj%jqJVMJj%SgQVj%St
(x + y) + z
9 <k98;R ]fu HMJ6OoIlu9%Gn=?muf¬ ¤v<kQ;lkhgf]j%Sv8@
•
dJk<68j%f/pqJFLpqJIlv?QSQOR I\vLIH%fFj%SgmonoSSgj%%G%QmuJNnoj%fAnpJ 9b<k uMwv?hvLjFv«nofu%j%<k ujFv?mu ]j%f~<8IKMC<
;R uf]j%Sgf®OR9b<kOR<kp8G Q<kj%O=IR;RG%QmonoS"MJ;lv?tuf]j%Sv8@3hvMJ;lvt]f]½v?;=IKJ{fuIKJmu ]jqJm\xVnofuO=IPIl<{<ktuhS»Mwf
¯
9b<k9%;R uf] P ¤vO=I\9%Sgf]j%Sgf
A + B
98;R ]fu
(A + B)
zSF9 <%<kp%j8SfM98;R uJ9Fv%QG:Sj8jJm\x:<?9 fu;lv?mAnoSz
¯
]{Sv?j%3OR9b<kOR<?p%G¬%fFj%Sg<NMv?j8Sv´MJ;Rv?t]fu½«bSOoIlj%Sgfon=ORQ<k{9%hSgQ?<NMwv?j%f%fFj%SgmonofCSj%8G%Q?mJnoj8f?
QqIlrk;=f¡nofu%j%<k ujFv?mu ]j%Sgf¶9b<k uMwv?hv}n=£ u;RfuQ?<kj%OoIl;=G%<NMv?±¶p%G%%<NMCDMJ;lv?tuf]j%Sv
Il<á8<kp%;Rf%hv
v?G8IR<k{vIKJm] uj%f]k<´9%;R ufuIKMwv?;R ]v?j%SvMJ;lvt]f]½b"vnof]%j%<m] uf]¢=j%SfC%<k9%G8OR ]mu ¤v}n=I\v?Q}Sm\x®>z<k;R{
%<wn=v?QSgfonbnof]OoIlf]¢={«J~98;R uJ MJ6mu ¤v}nofuj%S^@
°
v?Q¬ ]v? uMJmu ¤v}nªpqJMwviMno] JQvm\x|9%;=<kk;Rv?{<Mwv?j%Sv
m] u]O=IR<#j%SgfC uFv}nofu{«J®OR<kp8Sf3 IKJ6m\x¬j%SG%v?j%ORrNM¦O=9%;lv¤MJ®Sq{<kt]f3pqJ±CIl<P9b<NMw<%f]{
IR;RG%%j8<k¢RmuS
Ms ];R<? ]G%{Sgf]j%SgG9%;Rv?muJV98;R<kk;Rv?{¬G'@
•
hv¸ ]SghgG%O=IR;R<NMvj%Sv¦p%G8%<NMJ£MJ;lvt]f]½v?;oJIl{fuIKJm] ujqJ6m\xym] ]uO=IR<¦9 <kOLG%?Gnof]{®JORSg?Î=È}ÊÍ3Ä?Æ
ÅqÇ}ÉÌ^ÎËqÅ Ã ÍÏ}Î=Ä}ÊF@
þ
v?Olv?%vp8G%%<NMJVI\v?QSgm\x%;= ]fM£nof]OoI9%;R<kOoI\v8
¯
<kp%Sgf]QqI:¼KvIl<k{<NMJk¾9%;= ]fu%O=IlvNMPSv?{®Jän=vQ?<ä9 <}nof]8Jj%mu uJeMwu ]fL¬ fIKJ6QSgfuIl¨pb]Fm¤¦IKJ6{
<kp%Sgf]QqIRf]{
¯
nof]¢=hSÁMJ;lv?tuf]j%Sgf
U
9 <NMPOoI\vLÝ</ ´MJ;lvt]f]½
A, B
98;R uJ9b<k{<6mJ<k9 fu;lv?mAnoS
x
Il<
U
;Rf]98;Rf] uf]j6
IlG}nof]{«Jn=v?Q<²%;= ]fuMC<V /Q<k;R uf]j%Sgf]{
x
'QqIlr?;=J {|v8MCr6m\x9b<?Il<?{QrNMi9b<?IR<k{Q?<NMPSf¬m]SOl
Q?<?;R ]fuj%Sv?{S9b<%%;R ufuMy;Rf]98;Rf] uf]jqIlG}n=?muJm\x
A
<k;Rv?
B
@
HÄ?ÎÏË\îÌûÄ}Å
Ê?Î=È}ÊÍwÇgÄbÎ=È]ÏNÅûÄ?Ë ÍÏ}Î=Ä}ÊÉ ^Ä|ÍyÇ?ÍÎlÇ}Ì1É'ÊÃiÉ'Ç}Ì
Ä Ã FÇ\Å
ÊÃ
•
Ñ#{v¤MPSv?j%v¨;=f]Q?<?j%O=IR;RG%Qmon=váM98;R uJ9Fv%QG£no] J6QrNMÜ9%;R<k?;lv?{<NMvj%SväjFv? JMváO=S!8Ä?Î" É$#S
nof]OoICnofu%jqJ6{· ¬j%v}nAMvt]j%SgfonoO= uJm\xDfuhfu{f]jqIlrNMQ?<k{9%Sghv}Il<k;Rv8@¥CG%%<NMv8Ä?Î"NÊÎNAvj%Sgfnof]OoIMCm¤v?hgf
9%;=<kO=Ilv8@
TVUWXY1Z\[
Ó
[&%
Ò
c*a
Ó¦Õ
ß
Ö('
ß
Ó)¶ÖÙ/Ó
XY
Ó
[
Ó
a
Ö
_"UqWXY1Z\[
Ó
Y1X_`"abZ?c[¤X
Ó+*
X
ÖFØNÓ
Z\[
Ó, -/.
_10
Ó32#ÓFÔ54
Z
Ó
0
Ó
³´v}nAMJk<%j%SgfonoOR ]8;R<kq|9%;RfumuJ uJNnoj%fuk< u%fu%j%S<NMwv?j%SvVp%G%%<NMJ98;R<kk;Rv?{rNM M<kQ;Rfu¢Rhg<kjqJ{
no] J6QG9%;=<kk;Rv?{<Mwv?j%SvinofuO=Ij%<?I\vmon=v²¥w³íw@b³´Sgfnof]O=I´Il<|%fuFj8SmAn=v²Sj8%G%Q?mJNnojFv²M%<?IKJm\x%mu ¤v?O#<?{|v
MPSvjJ{óORfuj%ORSgf?j8Sf«%fuFj8SGnof«ORSg¬<kp8SfuQIRrNMnof]%j%fuk<²;=<68 ¤v}noG
Ó
0^U
Ù
YzU0^UX
Ó
ß
Ó%Ò
@
þ
v9%SOnof]OoIj8Sfum]<
Sj8jJ?bv?hf#IR<|8;R<kp%Sv? u%@ª©;R uJQ%Lzv%<NMw<MJ6;Rv?t]fuj%Sv²v?;oJIR{fuIKJm] uj%f¬ ]v?9%SgOlv?hgSpqJ¢R{®Jn=vQ?<%
6789;:=<?>@;<BAC9?87$DCE<?D7(FG><IH
J
@F;GK9
G?EL@?<?>$>9
67=8B9;:=<?>@?<BAC9?8C7DCE<?D$7FG><NMO6=7=89;:=<C>@;<BAC9C8C7$DCE<CD$7(FG>B<
67=8B9;:=<?>@?<BAC9?8C7DCE<?D$7FG><QPR6=7=89;:=<C>@;<BAC9C8C7$DCE<CD$7(FG>B<
S
6789;:=<?>@;<BAC9?87$DCE<?D7(FG><T
d
9 <NMJt]O= ]fAnH%fFj%SgmonoSMJOoI\v?;=m] uJFLÝ< ujFv?±/Q}vIRf]k<?;RSg
J
@F;GK9
S
G?EL@?<?>$>9
"v?pqJ{rm¬<kQ;Rfu¢RhgS±~mu<:;R<}
]G%{Sgf]{®J 98;R ]fu HMJ6;Rv?t]fuj%Sgf/v?;oJIR{fuIKJm] uj%f?@
©ª;= uJIl<m] J{«J 9 <%<kp%jqJ:>z;Rv?k{f]jqIP%fFj%SgmonoSU ÉÌ^ÎËqÅ Ã ªM
©vORm¤vhG*
V
D(9D<E<C>$DA
J
@
V
DWH
V
D9;D<E<?>D
V
D9;D<E<?>DA
J
@
V
DYX
V
D9D<E(<?>$D
V
D(9D<E<C>$DWH
<E=ZD$7
[9?8(@C9K
J
<\H^]_<?`$Z8<
V$V
@a>
K<Cb@>
V
D9D<;E<?>$DA
J
@
V
Dc<C>=d
@feg<?`$Z=8=<
V$V
@Ca;>gD$h<?>
V
D9DB<E<?>$D
@feg<?`$Z=8=<
V$V
@Ca;>gD$h<?>
V
D9DB<E<?>$DN<
J
V
<
V
D9D<;E<?>$D
F9
V
<i<C`$Z=8<
VV
@Ca>ca;eNF9
V
<A
J
@
V
DN<C>=d
6h@
J
<j<?`$Z=8<
V$V
@Ca>kdBa
V
D9;D<E<?>D
8<?ZB<=9D
V
D9DB<E<?>$DA
J
@
V
Dkl$>$D@
J
<?`$Z8<
V$V
@a>
eBa?8m[9?8(@d\Hn]mea?8A
J
@
V
Doda
V
D9D<E(<?>$D
Z=8a=F@d
Z=8a=F@d
S
<C`$Z=8<
VV
@Ca>A
J
@
V
DpT
bBaD(a
J
9K<
J
6@Dhg8=<Fa?8$d(A[9?8@9K
J
<BA
J
@
V
Dqda
V
D9D<E(<?>$D
J
9KB<
J
H
V
D9D<E(<?>$D
•
fFj%Sgmon=v¡hSgO=IKJSgj%OoIl;RG8Q?monoSª9b<6%v}nof?"t]fhgSOoI\vVSgj%O=IR;RG%QmonoSIl<v?hgp <¡9b<nof]6J6mu ]jFvSj8O=Il;=G%Q?mAn=v8v?hpb<
hgSOoI\v¦Sj8O=Il;=G%Q?mAnoSi9 <äQqIlrk;=fon²MJ6OoIlu9%Gnof9 <nofu8Jj%m] ]v£Sgj%O=IR;RG%Qmon=v8@÷deSgFv?±#t]fM·IlfujsO=9 <kO=rkp
p%G%8Gnof]{®JVMJÁL?m] uj%Sgf¬hgSOoIKJV }LÝ<kt]<kj8f« HSgj%O=IR;RG%QmonoS^@
•
d
%fu%j%SmAnoSªSj%OoIl;=G%Q?mAnoS9 <kO= ]mu ]f]?rkhj8fMPSgf];=OR ]f9b<MPSgj%jqJpqJ±VLvIKMC< ;=<k ]9b<k ]j%v?j%f~9%;= ]f] <kO=<kpqJ
9b<kOLÝG%kGn=?mufiORSg«©v?ORm]v?hgf]{¡@
•
ø
Sgf]Q}v¤Mv«nofuO=IH{<ktuhS»MC<k¢R±~ up%G%%<NMwv?j%Sv¡Sgj%OoIl;RG8Q?monoS9%;R J9b<k{<muJ
K<Cb(@>
@g@g@
<?>d
@HE<kj%OoIl;RG8Q?mon=v
I\v~<8MC<6LGnofiO=Si%<hSgO=ISgj%O=IR;RG%QmonoS*ªI\vQ²MPSum«<?p%SfH8fuFj%Sgmonof®9%;= ]f]98hvIlv}n=vORSg«{<m]j%<%@
•
³´v9b<68O=I\v¤MPSgfw9b<NMJ6tuOR ufon%fFj%SgmonoS ]<kpFvm] uJhgS¢={«J?q%hvm] ]fuk<#9b<´<?O=I\v}Ilj%Sgfon"Sgj%OoIl;RG8Q?monoSMCfuMPjFIR;R
K<Cb@>
@g@@
<?>=d
j%Sgfi{|v~¢=;Rf]8j%SQ}v8@
rÄ}ŬÈ]ƲÇ?ÏtsÅqÇ}Í3ÄÐÊusªÉ v Ãw®Äx]ÏÌAÊÉzyÎlÊ{?É Åx]Ï|
TVUWXY1Z\[]UY^X_`"a Z?cq[¤XU_}0
Ó²Ö~
YzUa
Ø6ÙµÒ
_"UqWXY
ÖÙ/Ó
Xbc"Z;Y^X_`abZ?c[]XYzUz
Ò
[]U_X
ÖÁÒ
X
Ó
Z
Ò
X
Ö
ZqY
×
ßUa
Ö
X
ÔuØ
ß}`abZ\[¤Yn
hv<?p%SfuQqIlrNMó ]%fFj%Sg<NMv?jqJm\x
Sgj%%G%QmuJNnoj%Sgf{<kt]j%vDpFv?;=% ]<¦Lzv}IKMw<%fu%j%S<NMwv?±
>zG%j%Qmonof~ ¤v:9b<k{<m¤²Sgj%%G%QmonoS^@«ÑH?rkhjqJ ORm\x%fu{vIi ]%fFj%Sg<NMv?j8Sv:>zG%j%QmonoS
f
MI\v?QSO=9 <?ORrkpMJkh?Fv
jFv?OoIl]98Gn=?m]<8
•
%hv:<kp%Sgf]QqIRrM¼Av}Il<k{<NMJm\x¾
u
%fFj%SgGnof]{®J
f (u) := g(u)
?% ]Sgf
g
nof]OoIwn=v?Q}?¢CnoG%t¬<kQ;Rf]¢=h<?jF
>zG%j%Qmon=8
•
nofu¢RhgS<kp%Sgf]QqI
u
nof]OoI´ up%G%%<NMwv?jqJ¡Sj8%G%Q?mJNnoj%Sfn=v?Q?<
F
i
(a, b)
8IR<|8fuFj%SgGnofu{«J
f (u) := h
i
(f (a), f (b))
©<kQ}v? ]v?hSg¢R{®Jkbt]fi9Fv?;=i ]jFv?jqJm\x9b<nou±iMySOoIl<m]Sgf«p%v?;R% u<:LzvIKMC<| u%fu%j%S<NMwv?±«MsIlfuj O=9 <kO=rkp*
•
9%;= uJQ%Lzv?'®<?p%hSgm] ]v?j%Sgf6Lup <kQ<k¢RmuSMJ6;Rv?t]fuj%Sv v?;oJIl{fuIKJm] uj%f]?<%@²´hvVhgSmu ]p¶S ]{Sfuj%jqJm\x¸6Lf
pb<kQ?<k¢=±HMJ6j8<kORS}8
f (A + B)
%fu%j%SG}nof]{«J~n=v?Q<
max[f (A), f (B)]
<k;lv?
f ((A)) = f (A) + 1
@
•
9%;= uJQ%Lzv?'wIuLÝG%{v?m] uf]j%Sgf¬<8MP;R<Ilj%fAnj%<?Ilv?monoS"9b<khgORQSfAnPjFv/¼K MJ6Q%LÝf¾«MJ;lv?tuf]j%Sv:v?;oJIR{fuIKJm] uj%f?
f
jFvhSgm] upFv?m\x£S ]{Sfuj%jqJm\xDnof]OoIS%fujqIKJ6mu ]j%<?¢Rm]S8
f (AB+) = (f (A) + f (B))
f (AB·) =
(f (A) · f (B))
ÓFÔuÓ
_
Ó
Y^X_`"abZ\[¤Y~_10
ÓyÖ(~
Y^Ua
Ø6Ù
Ò
_"UqWXY
ÖÙ/Ó
Xbc"Z;-Y^X_`abZ?c[]XYzU
þ
MJQ%Lzv ¤v?ORv?FvSj8%G%Q?mAnoS
Fv}nof:O=S²;R<k uOR ]fu;R J6±¡%<<kp%Sgf]QqIlrNM ]%fFj%Sg<Mwv?jqJm\xáSgj%%G%QmuJNnoj%Sgf?@D ]Sg]QSwIRf]{«G¦{<?t]hgSgMCf¬nof]OoI~pFv?;A
% ]<LzvIKMCf%<NMw<% ]fuj%Sgf O=9%;lv¤MP% ]v?j%Sgf:OR uf];RfukG¶M#Lv?ORj%<?¢Rm]S^@¡À?fuO=I®Il<~nof]%jFv¡ 9%;R J6mu uJj¸%hv¡QIRrk;=Jm\x
%fu%j%SmAnof«Sgj%%G8Q?muJNnoj%f«Ol~I\v?Q²9 <ktJIlf]mu ]j%f@
•
<NMCr6VSgj%%G8Q?muJNnojqJ:IR</ORm\x%fu{vIP9 <?O=Ilu9 <NMwv?j%Sv/ORQ%LzvFv}n=?mJ:ORSg# #6Mwrm\xVQ;R<kQrMi@ªñ´pJ²9 <?Qv
¤v±?t]fPM#Lzv?O=j%<k¢=±
w
¤vm\x%<68 ]SÁ%hviMPO= uJO=IRQSgm\xV<kp%Sgf]QqIRrMe<Il;R J{|vjJm\x: ]v®9b<k{<m¤H<kQ;Rfu¢Rhg<kj%fon
%fFj%SgmonoS"Sj8%G%Q?mJNnoj%fonÁIl<jFv?hgf]tJb
å
@P9b<kQ}v? ¤v?±#M#Lv?ORj8<k¢R±
w
%hvQ}v?tu%f]?<|<kp8SfuQIRG¡¼KvIl<?{<NMCf]k<¾
æ
@P9b<kQ}v? ¤v?±~tufinofu¢RhgSª<kp%Sgf]QqI¤jFv? MPS
no{®Jk<
α
" ]<kOoI\vLC ]p8G%%<NMvjJ9%;= uJ9b<k{<6mJ<kp%Sgf]QqIRrM
9b<kORSv?Fv}n=muJm\x M#Lv?ORj%<?¢R±
w
8IR<
α
Ilf]ti{v/M#Lzv?O=j%<k¢=±
w
@
•
©;R JQFLv?*%<NMCr6' tuf«Q}v?tuFv|>z<k;={¬G Lv up%G%%<NMwv?jFv:
∨, ¬
nofuO=I´;RrNMPj%<NMwv?t]jFv²>z<?;R{¬G8hf® ]p%G8%<
Mwv?j%fon
∧, ¬
@
å
@>z<k;={¬G Lv#ORQ%Lzv?%v}n=?m¤v#O=S 9b<nofu8Jj%m] ufon u{Sfuj%j%fonhG8pOoI\vLÝfonhg<kkSgm] ]j8fonbnof]O=IªORv?{vMáO=<kp%Sgf
I\/>z<k;={¬G L~p fu ®Q<kj%SgG%j%QmonoS^ <QqIlrk;=fon{<NMwv8
æ
@^vinof]¢RhgSk>z<k;={¬G Lv
φ
nofuO=I"9b<kO=Ilv?m]S
(¬ψ)
NIl<Pp%Sgf];R uf]{®J
ψ
0
;RrNMPj%<NMwv?t]j%f
ψ
vj%Sgfª ¤v¤MPSfu;lv}n=m]f
∧
MIRf]8J¡9b<kOR uG%QSgMwv?jF>z<k;R{«G Lz~;=rMPj8<Mwv?tujF
φ
nofuO=I
(¬ψ
0
)
zp ®nof]¢RhgS>z<k;R{«G Lzv
φ
nofuO=I9 <kOoI\v?muS
(α∧β)
Il<ªnof]OoI<kjFvP;RrNMPj%<NMwv?t]j%v>z<k;R{«G L<k{
¬¬(α∧β)
¬(¬α ∨ ¬β)
@d
<kOoI\vIRj%SfAnw>z<?;R{¬G8hfi ¤v{Sgf]j8Sv?{®J
α
jFv~;RrNMPj%<NMwv?t]jF
α
0
%<?;lv?
β
jFv
β
0
%k% uSf
α
0
S
β
0
j%Sgfi ¤v¤MPSgf];lvn=
∧
@
•
©;R JQFLv?*8<MCr*Ht]fDQvt]8J
MPSgf]hg<k{Svjâ ]p%G8%<NMv?jqJs D98;R uJ9b<k{<6mJe<k9bf];lvmonoS
+
S
·
]f
]{Sgf]j%j8fon
x
SO=I\vLÝJm\x 8<6Fv}Ilj%Sgm\x 8fuFj%SgGnofi>zG%j%Qmono®j%Sfu{v?hfAn=v?m¤6@C´<MCr{SvL8MvfuIlv?9qJb
¯
9b<kQ}v? ¤v?hgSg¢R{«JSj%8G%Q?mJnoj8Sft]f~I\vQSgf~MPSfuh<?{Sv?jqJ%fu%j%SG}n=¡>zG%j8Q?monof<VMv;=Il<?¢Rm]Sv?m\xDj%Sf
Gnofu{jqJm\xe%hv¶v?;=kG%{f]jqIlrNM·%<FvIRj%Sm\x'%hvMPSfuh<k{Sv?jG
ORQ%LzvFv}n=?muf]k<¦O=S ]fOoI\vLÝfon
hgG%ps u{Sfuj%j%fon
x
nof]O=IIl<¨<m] uJMPSgO=IRf?nof]¢=hS
f (a) ≥ 0
<k;lv?
g(a) ≥ 0
Il<¨<m] uJMPSg¢RmuSf
(f (a) + g(a)) ≥ 0
<?;lv?
(f (a) · g(a)) ≥ 0
@
¯
9b<kQ}v? ¤v?hgSg¢R{«JSgj%%G%QmuJNnoj%Sgf¬M#Lzv¢Rm]S»MCf¬IKMPSfu;R% uf]j%Sgf?Q;=<kQVSj8%G%Q?mJNnojJ%hv
f
S
g
j%Sgf]{v?hgf
n=?mJ6m\x'
%hv
a < b
{|v{«J
f (a) ≤ f (b)
<?;lv?
g(a) ≤ g(b)
@<6%v}n=?mOoIl;R<?jFv?{S#%<kOoI\v}nofu{«J
(f (a) + g(a)) ≤ (f (b) + g(b))
@
°
v?Q ORv?{<V{<kt]jFvV u;R<kp%Sg±/%hv:{j%<ktuf]j%Sv8pb<:hSgm] upqJM
IKJm\xj%Sgf];=rNMPj%<k¢RmuSvm\xOl~j%Sgf]Gnofu{j%f?@
•
þ
MJQ%LzvSj%8G%Q?mAn=vjFv¡hSgm] upFv?m\x¦jFvIRG%;lvhjqJm\x¸Fv}nofORSg9 <%m]Sv?kj%?±|9b<D;=<k uMwv?t¤vjJO=m\x%f]{vI
Sgj%%G%QmonoS^¶pb<MPSgf]{
hSgm] upqJ
jFvIRG%;lv?hgj%f{<ktujFv¸ ]8fuFj%Sg<NMv±Sgj%%G8Q?muJNnoj%Sgf?¶¼KvIl<?{<NMw¾hSgm] upF
jFvIRG%;lvhjF#nof]OoI6F ¤v?¢<k9bf];lvmon=/IKMw<?;R ]fuj%Sv²j%<NMJm\xhSgm] upjFv}IlG%;Rv?hjqJm\x|nofuO=I´%<k9%SgOlv?j8Sf
+1
9b<
9%;RvNMCfonO=IR;R<kj%Sgf?@
°
v?Q²MPSg]mihSgm] upFv?{S"jFvIRG%;lv?hgjqJ{S"pqJFLÝJpqJ
0
0 + 1 0 + 1 + 1
*@]@u@
•
hv?mu ]f]?<®O=m\x%f]{vI3Sgj%%G%QmonoS?nofuO=Iª9b<k9%;lv¤MPjqJ8Â
þ
vLÝrkt]{®Jkqt]f98;R ]fu9%;R<NMwv?% uShgS¢={«J%<NMCr6Sgj%%G%Qk
muJNnojqJVM#LzvORj%<k¢=m]S
w
%v{Sg{<IR<9bfuMPj8f
M
j%Sgfi{|v~IlfAnwM#Lv?ORj8<k¢RmuS1@
¯
M
j%SfP{<ktuf´pqJ±´<?p%SfuQqIlf]{µv}Il<k{<NMJ{pb<«j%vIKJm\x%{Sv?OoIw<Il;R J{|vhSgpqJ6¢={«J|OR9%;= ]fum] ]j8<k¢R±
H9%;= ]f]98;R<NMv% ]<kjqJ{·%<NMw<%f]{¹Sgj%%G8Q?muJNnojqJ{¡@
¯÷þ
vIRf]{
M
]<kOoI\vL'<?Il;= uJ{v?jqJ ´{j%SgfonORQ?<?{98hSgQ?<NMwv?jqJ6m\x<kp%Sgf]QqIRrMi69 <NMPSgf]% u{«J
U
<k;Rv?
V
9%;= uJ9b<k{<6mJ9bfuMPj%fAnH<k9bf];Rv?monoS^@H8JpJ
U
<k;lv
V
{SvLJ<kpFv:M#LzvORj%<k¢=±
W
*Il<¡jFv
{<6mJ%<NMw<%G¸Sgj%%G8Q?muJNnoj%fuk<
M
Ilfut²{SvL<kpqJM#LzvORj%<k¢=±
w
@
þ
vIlfu{
U
hG%p
V
j%Sgf²{v
M#LzvORj%<k¢=m]S
w
@
þ
vLrktu{«J?Ft]fHIl<
U
j%Sgfi{v~M#Lv?ORj8<k¢RmuS
w
@
°
f];lv H9 <kOoIlu9%Gnof]{®JV9b<6%<?p%j%Sgf#
U
S ]jFvno%Gnof]{®JV9%;=<kO=IROR uJ:<kp%Sgf]QqI
U
0
j%Sf{|vn=?muJ|M#Lzv?O=j%<k¢RmuS
w
@
I\vQ|FvhfAn3Q?<kjqIKJjG%Gnof]{®JVMj%SfuORQ<k½%m] u<kj%<k¢=±?@Cñhgf #%;=G%kSgfonCO=IR;R<kjqJ|j%SgfCnof]OoIIl<«{<?t]hgSgMCf?Fpb<
M
u<kO=IlvL<PO=Q?<kj%OoIl;=G%<NMv?j8fwM¸O=Q?<k½%mu ]fuj%SfCMPSfuhG«Q;=<kQ}v?m\x¬Sqj8Sfª{<kt]j%v´ORSgªm]<?>zj%?±ª CQ<kj%O=IR;RG%Qmon=
j%Sgf]O=Q?<k½%mu ]fuj%Sf«MPSfuhf®;lv? Jk@