1%4)3 )3 `B?]d O=)/ &, ]$ 9& :$(& >) 31%0D)G )%>1%4)3 )0)3 .)9$H6 7, @0)3 .)9$H 4=&%(1 9& :$(& >) 31%0D)6 4, ])0 .)9$H )3 %)4)3&0$1 2&0& O=) 9& :$(& >) 31%0D&6 (, @0)3 .)9$H 3$ 9& :$(& >) 31%0D)6 ), ])0 .)9$H )3 3=.$4$)%>) 2&0& O=) 9& :$(& >) 31%0D&6 Q)32=)3>&/ ), <+, @340$7& )% )32&f19 < 201213$4$1%)3 210 4&(& =%& () 9&3 $%>)020)>&4$1%)3 #0&A&>$4&9)3 () 9& 7$41%($4$1%&96 8@P (ABCBDEFEBGHD DEQCMHD R FBQCSHDTKD <\, -).$%&/ &, !01213$4$5% 3$A29) 7, !01213$4$5% 41A2=)3>&
<^, ])&% 9&3 201213$4$1%)3 3$A29)3/ a F -&%$91 201#0&A& )% ?">)Y6 b / -&%$91 20&4>$4& "9#)70&6 c / -&%$91 )3 0)321%3&79)6 ?& >0&(=44$5% &9 9)%#=&S) 3$A759$41 () 9& 201213$4$5% 41A2=)3>& i C#'5-) 9.)3.# +' "G4+H 9).:2+ 9.#,45,# G-3+=.# 6 +$ .+$9)'$#=-+j )3/ &, 7, 4, (, ),
(b ) (b c) a (b ) (b c) a (a c) b a
!
!
a
!
!c
!
!c
!
!
!
!¬
Q)32=)3>&/ 7, !"#$%& P
() *+
<_, ])&% 9&3 201213$4$1%)3 3$A29)3/ a / L1Z >)%#1 O=) 0)%($0 =%& 20=)7&6 b / L) )3>=($&(1 41% 0)321%3&7$9$(&(6 c / d7>)%(0I 7=)%13 0)3=9>&(136 ;0&(=H4& &9 9)%#=&S) 3$A759$41 9& 201213$4$5% 41A2=)3>&/ !I)6 4+'3) :2+ .+'*5. 2'# 9.2+=# 6 )=4+'*.< =2+')$ .+$2-4#*)$8 92+$4) :2+ >+ +$42*5#*) ,)' .+$9)'$#=5-5*#*0 6 NV, X1%3$()0) 9&3 201213$4$1%)3 3$A29)3/ a / ?13 2&%)9)3 319&0)3 O=) 3) 10#&%$H&% )% .10A& () "0719 4&2>&% A&Z10 )%)0#D&6 b / B$(&% -nZ)0 )3 =% %$f1 #)%$16 c / ?& 213$4$5% () 9&3 W1S&3 () =% "0719 3$#=)% )9 10()% () 9& 3)0$) () `$71%&44$6 d / ?& X1A=%$(&( X$)%>D.$4& >$)%) 9& 0&H5%6 ;0&(=H4& &9 9)%#=&S) 3$A759$41 9& 201213$4$5% 41A2=)3>&/ i ")$ 9#'+-+$ $)-#.+$ :2+ $+ ).3#'5(#' +' A). *+ G.=)- ') ,#94#' ). +'+.3B# 6 -# 9)$5,5D' *+ -#$ >)/#$ *+ 2' G.=)$532+' +- ).*+' *+ -# $+.5+ *+ J5=)'#,,5 $5+&9.+ :2+ ') $2,+*# :2+F K5*#' CL6+. +$ 2' '5M) 3+'5) ) -# N)&2'5*#* N5+'4BA5,# ') 45+'+ -# .#(D'j6
N*, -&(& 9& 201213$4$5% 41A2=)3>& !" 201213$4$1%)3 3$A29)36
b!
¬
(
c!a
)#$ % 0 G
()>)0A$%) 913 :&910)3 () 9&3 Q)32=)3>&/ a
N<, -&(& 9& 201213$4$5% 41A2=)3>&
!
0, b
!
0, c
!
0
(a ! b) "%&a # (b $ c)'( 6 ]&7$)%(1 O=) )3 `B?]BG 913 :&910)3
() :)0(&( () 9&3 201213$4$1%)3 3$A29)3 #G = Z , 31%/ &, a 0, b 0, c 1 7, a 1, b 1, c 0 4, a 1, b 0, c 1 (, a 1, b 1, c 1 ), a 0, b 1, c 0 !
!
!
!
!
!
!
!
!
!
!
!
!
!
!
Q)32=)3>&/ 4, NN, e%& 201213$4$5% 41A2=)3>& )3 :)0(&()0& 3$ Z 3591 3$ >1(&3 9&3 201213$4$1%)3 3$A29)3 O=) 9& 41%.10A&% 31% :)0(&()0&36 &, 8)0(&()01 7, `&931 Q)32=)3>&/ 7, NP, ]$ 9& 201213$4$5%
(
a!b
¬
&, 8)0(&()01
) ( !
) )3 `B?]BG )%>1%4)3 (b
c ! d
!¬c
) )3 8@Q-B-@QB6
7, `&931 Q)32=)3>&/ &,
N+, ]) 41%14) O=) &,
p ! r
7,
q ! s
p !
$q " ( r # s)& ( 1 G ()>)0A$%) )9 :&910 () :)0(&( ()/ % '
¬
Q)32=)3>&/ &, !"#$%& +
0G
7, 1
() *+
N\, ]$ 9& 201213$4$5% 41A2=)3>& (a # b) " c &, b " a ! 0 7, c " a ! 0 4, a " c ! 0 (, d " a ! 0 ), c " d ! 0 ¬
¬
(c
!¬
!
)
d )3 `B?]BG )%>1%4)3 )3 8@Q-B- O=)/
¬
Q)32=)3>&/ 4, NT, ]$ 9& 201213$4$5% 41A2=)3>& &, 7, 4, (, ),
(
a!b
¬
)
"
c )3
`B?]BG $()%>$.$O=) 9& 201213$4$5% 8@Q-B-@QB6
a!b " 0
(b
¬
!
c
)
"
0
a ! c "1
a !b " 0 b ! a "1
Q)32=)3>&/ 4, N^, ]$ 9& 201213$4$5% #$( a ! b ) ! ( b " c )%& " #$( c ' :&910 () :)0(&( () 9&3 3$#=$)%>)3 201213$4$1%)3/ &, a ! b 7, a ! ( b ! d ) ¬
¬
¬
) ' (a "
d
¬
)%& )3
d
¬
`B?]BG ()>)0A$%) )9
¬
¬
4,
a!
(,
(b
( b d ) (
¬
!
¬
"
" ¬a
)
a#c
¬
) Q)32=)3>&/ &,
0 G 7, 1 G 4, 1 G
(, 1
8@9 0BAQKD CABCBDEFEBGKMHD N_, -).$%&/ &, 8&0$&79) 201213$4$1%&96 7, `10A& 201213$4$1%&96 4, ;&=>191#D&6 (, X1%>0&($44$5%6 ), X1%>$%#)%4$&6 ., RA29$4&4$5% 95#$4&6 #, @O=$:&9)%4$& 95#$4&6 PV, @Y29$O=) 9& ($.)0)%4$& )%>0) =%& 201213$4$5% Z =%& :&0$&79) 201213$4$1%&96 P*, ])&% A Z B (13 .10A&3 201213$4$1%&9)3G 3) ($4) O=) 210 A ! B G 3$ Z 3191 3$ A B )3 =%& >&=>191#D&6 &, 8)0(&()01 7, `&931
A $A29$4&
95#$4&A)%>) &
B
G ()%1>&(1
!
Q)32=)3>&/ &,
!"#$%& \
() *+
P<, ])&% A Z B (13 .10A&3 201213$4$1%&9)3G 3) ($4) O=) ()%1>&(1 210 A ! B G 3191 3$ A B )3 =%& >&=>191#D&6 &, 8)0(&()01 7, `&931
A
)O=$:&9) 95#$4&A)%>) &
B
G
!
Q)32=)3>&/ &, PN, @Y29$O=) 9& ($.)0)%4$& )%>0) 913 3DA71913 ! oX1%($4$1%&9, Z
oRA29$4&4$5% ?5#$4&,6
"
PP, ])&% A Z B (13 .10A&3 201213$4$1%&9)3 >&9)3 O=) A )3 =%& >&=>191#D& Z B )3 =%& 41%>0&($44$5%G )%>1%4)3 9& 41%S=%4$5% )%>0) &A7&3 )3 =%& 41%>0&($44$5%6 &, 8)0(&()01 7, `&931 Q)32=)3>&/ &, P+, -&(&3 9&3 3$#=$)%>)3 .10A&3 201213$4$1%&9)3/ R,
$( a ! b) " ( %
RR,
(b
b# a
¬
! ¬a
) (b "
#
a
)&' !
b
¬
)
@3 8@Q-B- O=)/ &, ?& .10A& 201213$4$1%&9 R )3 =%& >&=>191#D& Z 9& RR %1 )3 =%& >&=>191#D&6 7, ?& .10A& 201213$4$1%&9 RR %1 )3 =%& >&=>191#D&6 4, ?&3 .10A&3 201213$4$1%&9)3 R Z RR %1 31% >&=>191#D&36 (, ?&3 .10A&3 201213$4$1%&9)3 R Z RR 31% >&=>191#D&36 ), ?& .10A& 201213$4$1%&9 R %1 )3 =%& >&=>191#D& Z 9& RR )3 =%& >&=>191#D&6 Q)32=)3>&/ ),
(
)
P\, ]$ 9& .10A& 201213$4$1%&9 f p q r s )3 =%& 41%>0&($44$5%G )%>1%4)3 )3 8@Q-B- O=)/
4, (, ),
,
,
( ) f (0,0,1,1) 1 f (1,1,1,1) f (0,0,0,0) 0 f (0,1,0,1) f (1,0,1,0) 1 f (1,1,1,0) f (0,1,1,1) 1 f ( 0,0,0,0) f (1,1,1,1) 1
&, f 1,1,0,0 7,
,
!
!
!
!
!
!
!
!
!
!
Q)32=)3>&/ &, PT, ?& .10A& 201213$4$1%&9 #$
( p ! q) " r %& " #$( p " q) ' (r " q)%& )3/
&, 7, 4, (,
e%& 41%>0&($44$5% e%& >&=>191#D& e%& 41%>$%#)%4$& @O=$:&9)%>) & r
),
@O=$:&9)%>) &
¬
(
p ! q
¬
) Q)32=)3>&/ 4, !"#$%& T
() *+
P^, ?& .10A& 201213$4$1%&9 !"
( p
!
q
) (
&, 8)0(&()01
! r !¬q
)$# % (
) 0)20)3)%>& =%& $A29$4&4$5% 95#$4&6
p ! r
¬
7, `&931 Q)32=)3>&/ &,
P_, ?&3 .10A&3 201213$4$1%&9)3
( p q)
&, 8)0(&()01
!
"
r
Z
( p
!
) (q
r
"
!
) 31% 95#$4&A)%>) )O=$:&9)%>)36
r
7, `&931 Q)32=)3>&/ &,
+V, ]170) 9& 3$#=$)%>) .10A& 201213$4$1%&9/
( p ! q) ! #$( ¬
q " p
¬
) ! q%& G
$()%>$.$O=) 9&
201213$4$5% 8@Q-B-@QB6 &, @3 =%& 41%>0&($44$5% 7, @3 =%& >&=>191#D& 4, @3 )O=$:&9)%>) & q (, @3 )O=$:&9)%>) & p ),
@3 )O=$:&9)%>) &
( p q) !
Q)32=)3>&/ 4, 8@U (ABCEHLKLHD LH MBD BCHAKLBAHD MNOEFBD +*, b$)#=) 9& 201213$4$5% !I)6 ') +$ -2'+$8 92+$4) :2+ 4+'3) +$4# -+,,5D' 6 &+ 7)6 4+&9.#')0 6 +<, -) 3)0 213$79)G )340$7& )9 %1A70) () 9& 9)Z 1 2012$)(&( O=) )3>" 20)3)%>) )% 9& )3>0=4>=0& 95#$4& () 9&3 3$#=$)%>)3 201213$4$1%)3 41A2=)3>&36 &, !;5 *2+.&)8 +'4)',+$ *2+.&) ) *+$,#'$)0 6 7, !;5 +$42*5) &2,>)8 +'4)',+$ #9.2+=) +- ,2.$) *+ '57+-#,5D'? ;5 #9.2+=) +- ,2.$) *+ '57+-#,5D'8 &5$ 9#9G$ +$4G' A+-5,+$? "2+3)8 $5 +$42*5) &2,>)8 &5$ 9#9G$ +$4G' A+-5,+$0 6 4, !O) +$ 7+.*#* :2+ $5 +$42*5) &2,>)8 +'4)',+$ ') #9.2+=) +- ,2.$) *+ '57+-#,5D'0 )3 95#$4&A)%>) )O=$:&9)%>) & !@$42*5) &2,>) 6 #9.2+=) +- ,2.$) *+ '57+-#,5D'0 6 (, !;5 ,)&) =#$4#'4+8 7)6 #- 35&'#$5)P 9+.) ') 7)6 #- 35&'#$5)? @'4)',+$8 ') ,)&) =#$4#'4+0 6 ), !;5 4+'3) *5'+.)8 &+ 7)6 *+ 75#/+P 68 $5 4+'3) 45+&9)8 #..+3-) &5 ,2#.4)? E). -) 4#'4)8 $5 4+'3) *5'+.) 6 45+&9)8 &+ 7)6 *+ 75#/+ 6 #..+3-) &5 ,2#.4)0?
+N, @340$7& 9& 9)Z ()9 ad-e] !db@b-d !db@b] Z 41%3>0=Z& =%& 201213$4$5% 41A2=)3>& & 2&0>$0 () 9& )3>0=4>=0& 95#$4& () )3>& 9)Z6 +P, @340$7& 9& 9)Z ()9 ad-e] !db@b-d ;d??@b] Z 41%3>0=Z& =%& 201213$4$5% 41A2=)3>& & 2&0>$0 () 9& )3>0=4>=0& 95#$4& () )3>& 9)Z6 ++, @340$7& 9& 9)Z ()9 ]R?dCR]ad -R]meb;R8d Z 41%3>0=Z& =%& 201213$4$5% 41A2=)3>& & 2&0>$0 () 3= 9& )3>0=4>=0& 95#$4& () )3>& 9)Z6 +\, @340$7& 9& 9)Z () 9& ;QBb]R;R8R-B- Z 41%3>0=Z& =%& 201213$4$5% 41A2=)3>& & 2&0>$0 () 9& )3>0=4>=0& 95#$4& () )3>& 9)Z6 !"#$%& ^
() *+
+T, ?& 201213$4$5% i;5 12#' 7# #- +$4#*5)8 ') +$42*5#.G 9#.# +- +H#&+'0 )3 95#$4&A)%>) )O=$:&9)%>) & !;5 12#' +$42*5# 9#.# +- +H#&+'8 ') 5.G #- +$4#*5)j6 &, 8)0(&()01 7, `&931 Q)32=)3>&/ &, +^, ?& 41%>0&00)4D2014& () 9& 201213$4$5% i ;5 +$42*5) ,)'$,5+'4+&+'4+8 #9.2+=) +- ,2.$) *+ '57+-#,5D'j )3 i@$42*5) ,)'$,5+'4+&+'4+ ) ') #9.2+=) +- ,2.$) *+ '57+-#,5D'j6 &, 8)0(&()01 7, `&931 Q)32=)3>&/ 7, +_, @340$7& )% )32&f19 9& $%:)03& () 9& 201213$4$5%/ !;5 +- +H#&+' +$ +- #*+,2#*) 6 -)$ +$42*5#'4+$ $+ >#' 9.+9#.#*)8 $+ )=45+'+' .+$2-4#*)$ $#45$A#,4).5)$0?
\V, @340$7& )% )32&f19 9& 41%>0&00)4D2014& () 9& 201213$4$5%/ !;5 +- +H#&+' +$ +- #*+,2#*) 6 -)$ +$42*5#'4+$ $+ >#' 9.+9#.#*)8 $+ )=45+'+' .+$2-4#*)$ $#45$A#,4).5)$0?
\*, ?&3 .10A&3 201213$4$1%&9)3 &, 8)0(&()01
( p
!¬
q
) Z ( p q) 31% 95#$4&A)%>) )O=$:&9)%>)36 ¬
!
7, `&931 Q)32=)3>&/ 7,
\<, ?&3 201213$4$1%)3 i @$ '+,+$#.5) +$42*5#. 9#.# #9.+'*+. j Z i;D-) $5 +$42*5#$8 #9.+'*+.G$jG 31% 95#$4&A)%>) )O=$:&9)%>)36 &, 8)0(&()01 7, `&931 Q)32=)3>&/ &, \N, ]$ )% 9& ($3Z=%4$5% () (13 201213$4$1%)3G =%& () )99&3 )3 :)0(&()0&G )9 :&910 () :)0(&( () 9& 201213$4$5% 41A2=)3>& )3 .&931 210 9& 2012$)(&( () R()%>$(&(6 &, 8)0(&()01 7, `&931 Q)32=)3>&/ 7, \P, e%& 9)Z () -) a10#&% $%($4& O=) &9 %)#&0 9& 41%S=%4$5% () (13 201213$4$1%)3 3) 17>$)%) 9& 41%S=%4$5% () 9&3 (13 201213$4$1%)3 %)#&(&36 &, 8)0(&()01 7, `&931 Q)32=)3>&/ 7, \+, ])&% 9&3 201213$4$1%)3 3$A29)3/ b / Q=4+'3) 2' =2+' .+$2-4#*)? c / @$4)6 9.+9#.#*) 9#.# +- +H#&+'? a / I)6 +$ 75+.'+$? -&(& 9& 201213$4$5% 41A2=)3>& i @$ $2A5,5+'4+ :2+ >)6 $+# 75+.'+$ 6 :2+ +$4< 9.+9#.#*) 9#.# +- +H#&+'8 9#.# :2+ 4+'3# 2' =2+' .+$2-4#*)jG =%& 201213$4$5% )O=$:&9)%>) )3/ &, L1Z )3 :$)0%)3p ZG 3$ )3>1Z 20)2&0&(1 2&0& )9 )Y&A)%G )%>1%4)3 17>)%#1 =% 7=)% 0)3=9>&(16 7, L1Z )3 :$)0%)3 Z )3>1Z 20)2&0&(1 2&0& )9 )Y&A)%G 3591 3$ 17>)%#1 =% 7=)% 0)3=9>&(16 4, L1Z )3 :$)0%)3 Z %1 17>)%#1 =% 7=)% 0)3=9>&(1 G 2=)3>1 O=) %1 )3>1Z 20)2&0&(1 2&0& )9 )Y&A)%6 (, ]$ 17>)%#1 =% 7=)% 0)3=9>&(1G )%>1%4)3 W1Z )3 :$)0%)3 Z )3>1Z 20)2&0&(1 2&0& )9 )Y&A)%6 ), ]$ 17>)%#1 =% 7=)% 0)3=9>&(1G )%>1%4)3 W1Z %1 )3 :$)0%)3 Z %1 )3>1Z 20)2&0&(1 2&0& )9 )Y&A)%6 Q)32=)3>&/ 7, !"#$%& _
() *+
\\, ]=21%#& O=) 9& 201213$4$5% i @- R)=5+.') O#,5)'#- #,457D -# #-+.4# #.5--# 6 ,)'$5*+.D -# 9)$5=5-5*#* *+ 2' 4$2'#&5 *+=5*) # :2+ N>5-+ $2A.5D 2' 4+..+& )4)0 )3 8@Q-B-@QB6 &, R()%>$.$O=) 9& 41%($4$5% %)4)3&0$& Z 9& 41%($4$5% 3=.$4$)%>)6 7, @340$7& )% )32&f19 =%& .10A& () 0)4D2014&G =%& $%:)03& Z =%& 41%>0&00)4D2014&6 \T, ]=21%#& O=) 9& 201213$4$5% i E#.# :2+ -# ,)&924#*).# +',5+'*# =#$4# :2+ >#6# +'+.3B# +-<,4.5,# 6 :2+ +- *5$,) *2.) ') +$4< --+')j )3 8@Q-B-@QB6 &, R()%>$.$O=) 9& 41%($4$5% %)4)3&0$& Z 9& 41%($4$5% 3=.$4$)%>)6 7, @340$7& )% )32&f19 =%& .10A& () 0)4D2014&G =%& $%:)03& Z =%& 41%>0&00)4D2014&6 \^, e%& b@CBXRqb () 9& 201213$4$5% 41A2=)3>&/ i]$ %1 A) :1Z &9 )3>&($1G )%>1%4)3 :1Z & )3>=($&0 Z & 0)&9$H&0 )9 201Z)4>1jG )3/ &, b1 A) :1Z &9 )3>&($1 Z %1 )3 4$)0>1 O=)G :&Z& & )3>=($&0 Z 0)&9$4) )9 201Z)4>16 7, a) :1Z &9 )3>&($1G 2)01G )3>=($1 1 0)&9$H1 )9 201Z)4>16 4, a) :1Z &9 )3>&($1G 1G )3>=($1 Z 0)&9$H1 )9 201Z)4>16 (, ]$ %1 )3 4$)0>1 O=)G )3>=($) Z 0)&9$4) )9 201Z)4>1G )%>1%4)3 A) :1Z &9 )3>&($16 ), @3>=($1 Z 0)&9$H1 )9 201Z)4>1G 2=)3>1 O=) %1 A) :1Z &9 )3>&($16 Q)32=)3>&/ &, \_, ?& R b8@Q]B () 9& 201213$4$5% il=9$1 201#0&A& )% 8$3=&9 XggG 210O=) )%3)f& >)10D& () %UA)013 Z )3 $%>)9$#)%>)jG )3/ &, l=9$1 201#0&A& )% 8$3=&9 XggG 3591 3$ )%3)f& >)10D& () %UA)013 Z %1 )3 $%>)9$#)%>)6 7, l=9$1 %1 201#0&A& )% 8$3=&9 XggG 210O=) %1 )%3)f& >)10D& () %UA)013 Z )3 $%>)9$#)%>)6 4, l=9$1 %1 )%3)f& >)10D& () %UA)013 1 %1 )3 $%>)9$#)%>)G 210O=) %1 201#0&A& )% 8$3=&9 Xgg6 (, ]$ l=9$1 %1 )%3)f& >)10D& () %UA)013 Z %1 )3 $%>)9$#)%>)G )%>1%4)3 %1 201#0&A& )% 8$3=&9 Xgg6 ), ]$ l=9$1 %1 )%3)f& >)10D& () %UA)013 1 %1 )3 $%>)9$#)%>)G )%>1%4)3 %1 201#0&A& )% 8$3=&9 Xgg6 Q)32=)3>&/ ), TV, ]) 41%14) O=) 9& 201213$4$5% r S#$4# :2+ +- 9#,5+'4+ 4+'3# *+A5,5+',5# *+ 3-D=2-)$ .)/)$ ) >#6# 9+.*5*) &2,># $#'3.+8 9#.# :2+ 4+'3# #'+&5# j )3 8@Q-B-@QBG $()%>$.$O=) 9& 201213$4$5% `B?]B6 &, @3 3=.$4$)%>) O=) =% 2&4$)%>) >)%#& ().$4$)%4$& () #957=913 01S13G 2&0& O=) >)%#& &%)A$&6 7, @3 3=.$4$)%>) O=) =% 2&4$)%>) W&Z& 2)0($(1 A=4W& 3&%#0)G 2&0& O=) >)%#& &%)A$&6 4, @3 %)4)3&0$1 O=) =% 2&4$)%>) >)%#& &%)A$&G 2&0& O=) W&Z& 2)0($(1 A=4W& 3&%#0) 1 >)%#& ().$4$)%4$& () #957=913 01S136 (, @3 %)4)3&0$1 O=) =% 2&4$)%>) %1 W&Z& 2)0($(1 3&%#0)G 2&0& O=) %1 >)%#& &%)A$&6 ), @3 3=.$4$)%>) O=) =% 2&4$)%>) %1 >)%#& &%)A$&G 2&0& O=) %1 >)%#& ().$4$)%4$& () #957=913 01S136 Q)32=)3>&/ (, T*, @A29)&%(1
(
p !
(q
¬
!
"9#)70&
201213$4$1%&9G
()A=)3>0)
3$
9&
.10A&
201213$4$1%&9
)) ( p q) )3 =%& >&=>191#D&G =%& 41%>0&($44$5% 1 =%& 41%>$%#)%4$&6
r
!
!
!"#$%& *V () *+
T<, X1%3$()0) 9&3 3$#=$)%>)3 201213$4$1%)3 3$A29)3/ a / @3>=($&3 >1(13 913 (D&36 b / ;) 2$)0()3 9&3 .&00&36 c / R%#0)3&3 & 9& @]!d?6 ?& >0&(=44$5% &9 9)%#=&S) .10A&9 () 9& 201213$4$5% 41A2=)3>& i ;5 ') +$42*5#$ 4)*)$ -)$ *B#$ 6 ') 4+ 95+.*+$ -#$ A#..#$8 ') 5'3.+$#$ # -# @;EQ"? E+.) $5 +$42*5#$ 4)*)$ -)$ *B#$8 5'3.+$#$ # -# @;EQ"j )3/
&, !"c 7, 4, (, ),
)#$ % (c % b) # c ! ( a " b)% ! ( ! ) $ & #c ! ( a " b)% ' ( ! ) $ & (c ! a) ! #$ (a " b) ! c%& # c ! ( a " b)% ! ( ! ) $ & !
(
a !b
a
¬
a
c
c
¬
¬
a
¬
c
Q)32=)3>&/ 4, TN, ?& .10A& 201213$4$1%&9 O=) bd )3 >&=>195#$4&G )3/ &, 7, 4, (, ),
( q p) ( p q) ( p q) ( p q) ( p q) ( q p) " p q ! p $ & q ) % #( #( p ! q " r % ' #( p " r ! ( q " r % ) & $ ) )& $ ¬
!¬
!
!
!
!
¬
!
"
¬
!
!
!
Q)32=)3>&/ 4, TP, -) 3)0 213$79)G ()A=)3>0) O=) 9&3 3$#=$)%>)3 .10A&3 201213$4$1%&9)3 %1 31% >&=>195#$4&36 &,
p !
¬
( p)
¬
7,
¬
( p
!
q
)
(p
!¬
!
q
)
T+, !&0& 4&(& .10A& 201213$4$1%&9 ()>)0A$%) 3$ )3 =%& >&=>191#D&G =%& 41%>0&($44$5% 1 =%& 41%>$%#)%4$&6 &, ( p ! q ! r ) " ( p # q # r ) 7,
{( p ! q) ! #$( p "
q
¬
) ! p%&} " p
4, #$( p ! r ) " ( q ! r )%& ' #$( p ( q ) ! r %& T\, e>$9$H&%(1 9&3 2012$)(&()3 () 913 12)0&(10)3 95#$413 ()A=)3>0) 9&3 3$#=$)%>)3 )O=$:&9)%4$&3 95#$4&36 &, 7, 4,
#( p ! r ) " ( q ! r )% ' #( p ( q) ! r % $ & $ & #( p ! q) " r % ' # p " ( q " r )% $ & $ & #( p ! q) " ( p ! r )% ' # p ! ( q " r )% $ & $ & !"#$%& ** () *+
TT, ?& .10A& 201213$4$1%&9
( p
! ¬q
) (q !
)
! ¬r
)3 95#$4&A)%>) )O=$:&9)%>) & 9& .10A&
201213$4$1%&9/ &, 7, 4, (, ),
( ) ( q p) ( p r ) q ( p r ) q q (p ) p ! q ! r r !
!
!
!
¬
!¬
!
!
! r
Q)32=)3>&/ 4, T^, X1%3$()0) 9& .10A& 201213$4$1%&9 !"
(
q! p " q
¬
)#$ %
p /
¬
&, X1%3>0=Z& 3= >&79& () :)0(&(6 7, @% 7&3) &9 0)3=9>&(1 &%>)0$10G )Y29$O=) 3$ )3 >&=>191#D&G 41%>0&($44$5% 1 41%>$%#)%4$&6 4, -)A=)3>0) 3$ )3 >&=>191#D&G 41%>0&($44$5% 1 41%>$%#)%4$&G )A29)&%(1 "9#)70& 201213$4$1%&9 o2012$)(&()3 () 913 12)0&(10)3 95#$413,6 X1A2&0) 41% )9 0)3=9>&(1 &%>)0$106 Q)32=)3>&/ ;&=>191#D&6 8@V )KWBGKQEHGTBD T_, -).$%&/ &, Q&H1%&A$)%>16 7, 8&9$()H () =% 0&H1%&A$)%>16 ^V, e% 0&H1%&A$)%>1 )3 :"9$(1 3$ Z 3591 3$ >1(&3 9&3 201213$4$1%)3 3$A29)3 O=) 91 41%.10A&% 31% :)0(&()0&36 &, 8)0(&()01 7, `&931 Q)32=)3>&/ 7, ^*, -)>)0A$%) 9& :&9$()H ()9 3$#=$)%>) 0&H1%&A$)%>1 95#$41/ !"# -D35,# +$ A).- 6 ') $+ 9.+),29# *+- ,)'4+'5*)? K9.2+=#$ +- +H#&+' $D-) $5 -# -D35,# $+ 9.+),29# *+- ,)'4+'5*)? @'4)',+$8 -# -D35,# +$ A).- 6 #9.2+=#$ +- +H#&+'?0
Q)32=)3>&/ b1 :"9$(16 ^<, -)>)0A$%) 9& :&9$()H ()9 3$#=$)%>) 0&H1%&A$)%>1 95#$41/ i "-2+7+ =#$4#'4+ 6 $+ *#M#' -)$ ,2-457)$? "# ;ORT ') *+,-#.# +- +$4#*) *+ +H,+9,5D' 9+.) ') $+ *#M#' -)$ ,2-457)$? ;D-) $5 --2+7+ =#$4#'4+8 -# ;ORT *+,-#.# +- +$4#*) *+ +H,+9,5D'? E). -) 4#'4)8 ') $+ *#M#' -)$ ,2-457)$?j
Q)32=)3>&/ 8"9$(16 ^N, -)>)0A$%) 9& :&9$()H ()9 3$#=$)%>) 0&H1%&A$)%>1 95#$41/ !E+*.) $+ 7# #- ,5'+ $D-) $5 ') 4+.&5'# *+ +$42*5#.? E+*.) ') $#-*.G =5+' +' +- +H#&+' *+ M#'#8 *+=5*) # :2+ ') 4+.&5'# *+ +$42*5#.? E+*.) $+ A2+ #- ,5'+? E). -) 4#'4)8 E+*.) ') $#-*.G =5+' +' +- +H#&+' *+ M#'#?0
Q)32=)3>&/ b1 :"9$(16 !"#$%& *< () *+
^P, -&(13 913 3$#=$)%>)3 0&H1%&A$)%>13 T* Z T T*/
#( p ! q) ! (q " $
(
T q ! p ! q
p
)%& " ( ¬
p '
¬
)
q
¬
)
@3 8@Q-B- O=)/ &, T* %1 )3 :"9$(1 Z T< )3 :"9$(16 7, T* %1 )3 :"9$(1 Z T< %1 )3 :"9$(16 4, T* )3 :"9$(1 Z T< %1 )3 :"9$(16 (, T* )3 :"9$(1 Z T< )3 :"9$(16 Q)32=)3>&/ (, ^+, !&0& )9 0&H1%&A$)%>1/
( H
1
!
H2
)
" C
G 41%3$()0) 9&3 3$#=$)%>)3 W$25>)3$3/
]$ >U >1A&3 #&>10&()G >) 0)&%$A&0"36
H 1 :
H 2 : /
;= )3>&0"3 41% )%)0#D& 3$)A20) O=) >1A)3 9& 7)7$(& 8<
e%& 41%49=3$5% C O=) W&4) :"9$(1 )3>) 0&H1%&A$)%>1 )3/ &, b1 )3 4$)0>1 O=) >1A)3 #&>10&() Z )3>&0"3 41% )%)0#D&6 7, ]$ >1A&3 #&>10&() Z 9& 7)7$(& 8<
]$ -$13 A) )34=4W&G W 7$)% )9 )Y&A)%6
e%& 41%49=3$5% &, 7, 4, (, ),
(
C O=) W&4) :"9$(1 )9 0&H1%&A$)%>1 H1
!
H2
)
" C
G )3/
-$13 %1 A) )34=4W&6 b1 ($#1 A$3 10&4$1%)36 -$13 A) )34=4W&6 L 7$)% )9 )Y&A)%6 ]$ ($#1 A$3 10&4$1%)3G W 7$)% )9 )Y&A)%6 Q)32=)3>&/ ),
^T, !&0& )9 0&H1%&A$)%>1
( H
1
!
H2
)
" C
G )% (1%()/
H 1 :
B4)2>1 )3>) >0&7&S1 1 %1 )3>=($16
H 2 :
]$ 0)&9$H1 A$3 3=)f13G )%>1%4)3 )3>=($16
e%& 41%49=3$5% C O=) W&4) :"9$(1 )3>) 0&H1%&A$)%>1 )3/ &, b1 )3>=($1 1 %1 &4)2>1 )3>) >0&7&S16 7, ]$ )3>=($1G )%>1%4)3 &4)2>1 )3>) >0&7&S16 4, @3>=($1 3$ %1 &4)2>1 )3>) >0&7&S16 (, B4)2>1 )3>) >0&7&S1 319&A)%>) 3$ 0)&9$H1 A$3 3=)f136 ), ]$ &4)2>1 )3>) >0&7&S1G )%>1%4)3 )3>=($16 Q)32=)3>&/ 7, !"#$%& *N () *+
^^, X1%3$()0) 9&3 3$#=$)%>)3 20)A$3&3 () =% 0&H1%&A$)%>1/ !;5 &+ ,)&9.) 2'# ,#&5$# ) 2' 9#'4#-D'8 +'4)',+$ #$5$4) # -# A5+$4#? ;5 &+ ,)&9.) (#9#4)$ '2+7)$8 +'4)',+$ ') #$5$4) # -# A5+$4# 6 &+ :2+*) $5' *5'+.)? O) #$5$4) # -# A5+$4#?0
e%& () 9&3 3$#=$)%>)3 41%49=3$1%)3 W&4) :"9$(1 )9 0&H1%&A$)%>1/ &, a) 41A201 H&2&>13 %=):136 7, a) O=)(1 3$% ($%)016 4, a) 41A201 H&2&>13 %=):13 Z A) O=)(1 3$% ($%)016 (, ]$ A) O=)(1 3$% ($%)01G A) 41A201 H&2&>13 %=):136 ), ]$ A) 41A201 =%& 4&A$3&G %1 A) O=)(1 3$% ($%)016 Q)32=)3>&/ 7, ^_, X1%3$()0) 9&3 3$#=$)%>)3 20)A$3&3 () =% 0&H1%&A$)%>1/ !;5 E#=-) +$4G 4.#=#/#'*) >)68 *+$#62'D 6 4)&D +- =2$? E#=-) ') 4)&D +- =2$?0
e%& () 9&3 3$#=$)%>)3 41%49=3$1%)3 W&4) :"9$(1 )9 0&H1%&A$)%>1/ &, !&791 %1 ()3&Z=%56 7, !&791 )3>" >0&7&S&%(1 W1Z6 4, !&791 %1 )3>" >0&7&S&%(1 W1Z6 (, b1 )3 :)0(&( O=) !&791 ()3&Z=%56 ), !&791 ()3&Z=%5 1 >1A5 )9 7=36 Q)32=)3>&/ 4, _V, a&0D& ()3)& 2)($09) =% :)3>$(1 %=):1 & 3= )321316 X1%3$()0) O=) 9&3 3$#=$)%>)3 201213$4$1%)3 ()340$7)% 4100)4>&A)%>) )9 41A210>&A$)%>1 () 3= .&A$9$&6 ]$ )9 )32131 99)#& & 9& 4&3& Z %1 )3>" 9$3>& 9& 41A$(&G 3) 3$)%>) $00$>&(16 ]$ 9& )3213& 9) 4=)%>& 3=3 20179)A&3 Z )9 )32131 )3>" $00$>&(1 3) 201(=4) =%& #0&% 2)9)&6 c&3>& O=) 3) 201(=H4& =%& #0&% 2)9)& 2&0& O=) >1(&3 9&3 2)>$4$1%)3 () 9& )3213& 3)&% %)#&(&36 &, K@Y$3>$0" &9#=%& .10A& () #&0&%>$H&0 O=) )99& 41%3$#& 3= 2)>$4$5%M 7, K@Y$3>$0" &9#=%& .10A& () #&0&%>$H&0 O=) )99& bd 41%3$#& 3= 2)>$4$5%M 8@X /HQBDTAKFEBGHD _*, -)A=)3>0) 9& 9)Z ()9 ad-e] ;d?@b-d ;d??@b] =>$9$H&%(1 )9 AI>1(1 () ()A13>0&4$5% ($0)4>&6 _<, -)A=)3>0) 9& 9)Z ()9 ]R?dCR]ad -R]meb;R8d =>$9$H&%(1 )9 AI>1(1 () ()A13>0&4$5% ($0)4>&6 _N, -)A=)3>0) 9& 9)Z ()9 ad-e] !db@b-d !db@b] =>$9$H&%(1 )9 AI>1(1 () ()A13>0&4$5% 210 41%>0&00)4D2014&6 _P, -)A=)3>0) 9&3 9)Z)3 () 913 -R?@aB] Xdb];QeX;R8d] =>$9$H&%(1 )9 AI>1(1 () ()A13>0&4$5% 210 41%>0&00)4D2014&6 _+, -)A=)3>0) 9& 9)Z ()9 ad-e] ;d?@b-d ;d??@b] =>$9$H&%(1 )9 AI>1(1 () 0)(=44$5% &9 &73=0(16 _\, -)A=)3>0) 9& $A29$4&4$5% 95#$4&/ #$(
q ! p
¬
¬
) " p%& ' q
&, e>$9$H&%(1 >&79&3 () :)0(&(6 7, e>$9$H&%(1 2012$)(&()3 () 913 12)0&(10)3 95#$4136 !"#$%& *P () *+
_T, -)A=)3>0) 9& $A29$4&4$5% 95#$4&/ #$
( p ! q) "
q% ' p
¬
&
&, e>$9$H&%(1 >&79&3 () :)0(&(6 7, e>$9$H&%(1 2012$)(&()3 () 913 12)0&(10)3 95#$4136 _^, -)A=)3>0) 9& $A29$4&4$5% 95#$4&/ #$
(
q ! p
¬
¬
)"
q% '
¬
&
p
¬
&, e>$9$H&%(1 >&79&3 () :)0(&(6 7, e>$9$H&%(1 2012$)(&()3 () 913 12)0&(10)3 95#$4136 __, X1% )9 AI>1(1 () 0)(=44$5% &9 &73=0(1G ()>)0A$%) 9& :&9$()H ()9 3$#=$)%>) 0&H1%&A$)%>1 95#$41/ !;5 N).5'4>5#'$ 3#'# +- U-45&) 9#.45*)8 $2 >5',>#*# A+$4+/#? ;D-) $5 -# >5',>#*# A+$4+/#8 N).5'4>5#'$ :2+*# ,#&9+D'? "# >5',>#*# ') A+$4+/# 6# :2+ N).5'4>5#'$ ') 3#'# +- U-45&) 9#.45*) '5 :2+*# ,#&9+D'? E). -) 4#'4)8 $5 -# >5',>#*# *+ N).5'4>5#'$ ') A+$4+/#8 +'4)',+$ N).5'4>5#'$ ') :2+*# ,#&9+D'?0
Q)32=)3>&/ 8"9$(16 *VV, R%($O=) 3$ 9& 201213$4$5% 29&%>)&(& )% 4&(& 9$>)0&9 )3 :)0(&()0&6 ]$ %1 91 )3G 2012104$1%) =% 41%>0&)S)A2916 &, a$3 41A2&f)013 () )3>) 4=031 () %$:)9&4$5% >$)%)% *^ &f136 7, ?&3 7&%()0&3 () 913 2&D3)3 () BAI0$4& ()9 ]=0 >$)%)% N 41910)36 4, X&(& &f1 >$)%) N\+ (D&36 (, ?&3 201:$%4$&3 ()9 @4=&(10 >$)%)% #17)0%&(106 ), @% C=&Z&O=$9 319&A)%>) )Y$3>)% =%$:)03$(&()3 2U79$4&36 ., b1 W&Z 2&D3)3 O=) W&Z&% #&%&(1 P :)4)3 9& 412& A=%($&9 () .U>7196 #, @9 20)A$1 b17)9 () ?$>)0&>=0& %1 91 W& #&%&(1 =% 9&>$%1&A)0$4&%16 W, ?13 4)9=9&0)3 31% >"4>$9)36 $, ?13 0)91S)3 () 2=93)0& 31% A)>"9$4136 S, ?& .10A&3 201213$4$1%&9)3 31% >&=>195#$4&3 4=&%(1 9&3 :&0$&79)3 201213$4$1%&9)3 O=) 9&3 41%.10A&% 31% 0))A29&H&(&3 210 201213$4$1%)3 :)0(&()0&36 [, ]$ =% %UA)01 )3 ($:$3$79) 2&0& NG )%>1%4)3 )3 ($:$3$79) 2&0& \6 9, ?13 %UA)013 20$A13 %1 31% 2&0)36 A, ?& 3=A& () =% %UA)01 $A2&0 Z =% %UA)01 2&0 (& 41A1 0)3=9>&(1 =% %UA)01 2&06 %, ]$ =% %UA)01 )3 2&0G )%>1%4)3 3= 4=&(0&(1 %1 3)0" =% %UA)01 2&06 1, ?&3 12)0&4$1%)3 &0$>AI>$4&3 4=A29)% 41% 9& 2012$)(&( 41%A=>&>$:&6
!"#$%& *+ () *+