!"#$!%& "$(!)*+) (+%*,-#.*#& /!% %*,+)&% 0$%,&/ /! #*!.#*&" .&,$)&%!" 1 2&,!23,*#&" /!(&),&2!.,+ /!(&),&2!.,+ /! 2&,!23,*#&" 2&,!23,*#&" #$)"+ /! .*4!%*5. 6789 : 8" #&(;,$%+< % 5 = * # & /!>!) 8
8?8 (@ABACDEDAFGC "#
$%&'()* )# +,-.-/'0'1(2 3# 4)5-, 6% 7%,6)62 0# 8)35) 6% 7%,6)62
9#
$)6-/ 5-/ /':;'%(<%/ %(;(0')6-/* =) 0).'<)5 6% 5) .,-7'(0') 6% >/?%,)56)/ %/ @<)0)?%/2 =)/ '/5)/ A)5B.):-/ .%,<%(%0%( )5 >0;)6-,2 CD;% 7'7) D;'<-E =;F 6% @?G,'0)H IJ;3'%,-( <%?35-,%/ - '(;(6)0'-(%/K >0;)6-, <'%(% ;( <-<)5 6% 9L .,-7'(0')/2 • • • • •
=) 0)(<'6)6 6% %(;(0')6-/ M;% ,%.,%/%(<)( .,-.-/'0'-(%/ %/ ':;)5 )* )# " 3# 9 0# L 6# N %# O P%/.;%/<)* 0# L#
Q(6'M;% /' 0)6) %(;(0')6- %/ - (- ;() .,-.-/'0'1(E R;/<'&'0)(6- /; ,%/.;%/<)2 )# S %/ ;( (T?%,- .,'?-2 3# =-/ (T?%,-/ 6'7'/'35%/ .),) O <%,?'()( %( 5-/ 6U:'<-/ V - O2 0# C@5<- )WUH 6# IX;)(6- /)5'?-/K %# x + 1 = 5 C>,%/ .'5)/H :#
(
3 2+4
)
=
30
W# IX;B(6- ?% :)(),G 5) 5-<%,U)K '# >5 (T?%,- LY %/ .),2 N#
+,-.-,0'-(% ;( %R%?.5- 6% ;() %Z.,%/'1( M;% /%) .,-.-/'0'1(E 0-( /; ,%/.%0<'7- 7)5-, 6% 7%,6)62
O#
>/0,'3) ;() %Z.,%/'1( M;% (- /%) .,-.-/'0'1( [ M;% )5 ,%.5)(<%),5) /% 0-(7'%,<) %( ;() .,-.-/'0'1( 7%,6)6%,)2
Y#
>/0,'3) ;() %Z.,%/'1( M;% (- /%) .,-.-/'0'1( [ M;% )5 ,%.5)(<%),5) /% 0-(7'%,<) %( ;() .,-.-/'0'1( &)5/)2 "#$%&' ( )* +
8?6 +BG@HIA@GC JKLDEAC S#
$%&'()* )# \%:)0'1(2 3# X-(R;(0'1(2 0# $'/[;(0'1( '(05;/'7)2 6# $'/[;(0'1( %Z05;/'7)2 %# X-(6'0'-()52 ]'0-(6'0'-()52 :# X-(6'0'1( /;&'0'%(<%2 W# X-(6'0'1( (%0%/),')2
^#
Q(6'M;% %5 7)5-, 6% 7%,6)6 6% 0)6) .,-.-/'0'1(2 _' %/ &)5/)E ,%%/0,'3) 5) .,-.-/'0'1( .),) M;% /%) 7%,6)6%,)2 )# 2 + 7 ! 1 = 5 3# =-/ 0-5-,%/ 6% 5) 3)(6%,) 6%5 >0;)6-, /-( )?),'55-E )F;5 [ ,-R-2 0# =) >_+`= %/ ;() ;('7%,/'6)6 0)<%:-,U) @2
"2 + $#
6# %# :# W#
c#
( {( ) ( ) ! } ) ! %'& 9÷
2
3
3
+3
1
+1 =
8
8-6-/ 5-/ 0%5;5),%/ <-?)( &-<-/2 8-6)/ 5)/ 0-?.;<)6-,)/ &;(0'-()( 0-( .'5)/2 >5 3)51( 6% &T<3-5 %/ 0;)6,)6-2 a( b'5-:,)?- <'%(% ).,-Z'?)6)?%(<% LO2L -(F)/2 P%/.;%/<)* )# 0 E 3# 1 E 0# 1 E 6# 1 E %#
0 E 0 E
:#
0 E W# 1
>/0,'3) %( %/.)d-5 9 .,-.-/'0'-(%/ .-, 0)6) ;() 6% 5)/ '(<%,.,%<)0'-(%/ :,)?)<'0)5%/ 6%* )# 5) 0-(R;(0'1( 3# 5) 6'/[;(0'1( '(05;/'7) 0# 5) 6'/[;(0'1( %Z05;/'7) 6# 5) 0-(6'0'-()5 %# 5) 3'0-(6'0'-()5
"V# 8,)6;F0) )5 5%(:;)R% /'?315'0- 5) /':;'%(<% .,-.-/'0'1( !"# %&'(&)* + ,#' (+-%&'. &/)*/0&' '&%1 -& 2+%3+ 4#-+ '*5%& 2+ )#&%%+6 [ 5;%:- %/0,'3) %( %/.)d-5 [ %( 5%(:;)R% &-,?)5 /; ,%0U.,-0)E /; '(7%,/) [ /; 0-(<,),,%0U.,-0)2 ""# _%)( 5)/ .,-.-/'0'-(%/ /'?.5%/* a * L %/ ;( (T?%,- .),2 c * Y 6'7'6% ) L2 b * L %/ ;( (T?%,- '?.),2 =) <,)6;00'1( )5 5%(:;)R% &-,?)5 6% 5) Q\4>P_@ 6% 5) .,-.-/'0'1( 0-?.;%/<)* e 7 &' 8/ /9,&%* #,(+%. (&%* /* &' (+%: (*% 2* )+/)*. '# ; -#4#-& + 7. 7 /* &' #,(+% fE %/* )# 3# 0#
( ( (
b) ) ( b) ( b) b) (b ) b) ) ( b) b) (
a ! ¬b
!
c
c
!
¬
!
c
!
¬
!
(b (
6#
¬
%#
¬
a
! ¬a
!
¬
!
!
¬
a !¬
!
¬
!
c
¬
a
¬
!
c
¬
!
¬
P%/.;%/<)* 6#
"#$%&' , )* +
"9# $)6) 5) .,-.-/'0'1( !"# <*= /* 228&4&. <+0& 0+2*%6> >/0,'3) %( %/.)d-5 0'(0- &-,?)/ 6'&%,%(<%/ 6% %Z.,%/), 5) 0-(6'0'-()52 "L# $)6) 5) /':;'%(<% .,-.-/'0'1( 0-?.;%/<)* !"# " &' 8/+ 5+'& -&2 &'(+0#* 4&0)*%#+2 ?. &/)*/0&' " &' 2#/&+2,&/)& #/-&(&/-#&/)& &/ ?>6
a() X`\8P@PP>Xg+P`X@ 6% %/<) .,-.-/'0'1( %/* )# _ %/ ;() 3)/% 6%5 %/.)0'- 7%0<-,')5 4 [ %/ 5'(%)5?%(<% '(6%.%(6'%(<% %( 42 3# _' _ %/ 5'(%)5?%(<% '(6%.%(6'%(<% %( 4E _ %/ ;() 3)/% 6%5 %/.)0'- 7%0<-,')5 42 0# _-5)?%(<% /' _ (- %/ ;() 3)/% 6%5 %/.)0'- 7%0<-,')5 4E _ (- %/ 5'(%)5?%(<% '(6%.%(6'%(<% %( 42 6# _' _ (- %/ ;() 3)/% 6%5 %/.)0'- 7%0<-,')5 4E %(<-(0%/ _ %/ 5'(%)5?%(<% '(6%.%(6'%(<% %( 42 %# _' _ (- %/ ;() 3)/% 6%5 %/.)0'- 7%0<-,')5 4E %(<-(0%/ _ (- %/ 5'(%)5?%(<% '(6%.%(6'%(<% %( 42 P%/.;%/<)* 0# "N# a() Q\4>P_@ 6% 5) .,-.-/'0'1(* e @+' (&2A082+' -& 0#&/0#+ B#00#C/ '*/ (+%+ ,A 2+' B+4*%#)+' +2 ,*,&/)* -& 0*,(%+%2+': =+ D8& &22+' ,8&')%+/ (*'#52&' +4+/0&' )&0/*2C3#0*' -& 2+ <8,+/#-+- fE %/*
)# 3#
0# 6# %#
=)/ .%5U0;5)/ 6% 0'%(0') &'00'1( (- /-( .),) ?U 5)/ &)7-,'<)/ )5 ?-?%(<- 6% 0-?.,),5)/h [) M;% %55)/ ?;%/<,)( .-/'35%/ )7)(0%/ <%0(-51:'0-/ 6% 5) W;?)('6)62 =)/ .%5U0;5)/ 6% 0'%(0') &'00'1( (- /-( .),) ?U 5)/ &)7-,'<)/ )5 ?-?%(<- 6% 0-?.,),5)/h .-,M;% %55)/ (- ?;%/<,)( .-/'35%/ )7)(0%/ <%0(-51:'0-/ 6% 5) W;?)('6)62 =)/ .%5U0;5)/ 6% 0'%(0') &'00'1( /-( .),) ?U 5)/ &)7-,'<)/ )5 ?-?%(<- 6% 0-?.,),5)/h 0;)(6- %55)/ ?;%/<,)( .-/'35%/ )7)(0%/ <%0(-51:'0-/ 6% 5) W;?)('6)62 =)/ .%5U0;5)/ 6% 0'%(0') &'00'1( /-( .),) ?U 5)/ &)7-,'<)/ )5 ?-?%(<- 6% 0-?.,),5)/E )6%?B/ %55)/ ?;%/<,)( .-/'35%/ )7)(0%/ <%0(-51:'0-/ 6% 5) W;?)('6)62 =)/ .%5U0;5)/ 6% 0'%(0') &'00'1( (- ?;%/<,)( .-/'35%/ )7)(0%/ <%0(-51:'0-/ 6% 5) W;?)('6)6h /15- /' /-( .),) ?U 5)/ &)7-,'<)/ )5 ?-?%(<- 6% 0-?.,),5)/2 P%/.;%/<)* 3#
8?M (@ABACDEDAFGC CDNBJGC O EANBPGCQHC "O# $%&'()* )# +,-.-/'0'1( /'?.5% 3# +,-.-/'0'1( 0-?.;%/<) "Y# 8,)6;F0) )5 5%(:;)R% /'?315'0- 5) .,-.-/'0'1( 0-?.;%/<)* !E+4#- 0*/'#38& -#/&%* = '& 0*,(%+ &2 2#5%*. 'C2* '# 0+,5#+ '8 0<&D8&> F&%* '# /* 0+,5#+ &2 0<&D8&. /* (8&-& (+3+% '8' -&8-+'> F*% 2* )+/)*. E+4#- 0*,(%+ &2 2#5%* = (+3+ '8' -&8-+'6 2
"S# _%)( 5)/ .,-.-/'0'-(%/ /'?.5%/* a * J-[ <%(:- M;% ,%(6', ;() .,;%3)2 b * J% %/<;6')6- 0-( ,%/.-(/)3'5'6)62 c * `3<%(6,G 3;%(-/ ,%/;5<)6-/2 8,)6;F0) )5 5%(:;)R% /'?315'0- 5) .,-.-/'0'1( 0-?.;%/<)* !G*= )&/3* D8& %&/-#% 8/+ (%8&5+ = *5)&/-%1 58&/*' %&'82)+-*'. (8&')* D8& <& &')8-#+-* 0*/ %&'(*/'+5#2#-+-6 2 P%/.;%/<)*
b!
(
a!c
)
"#$%&' - )* +
"^# X-(/'6%,% 5)/ .,-.-/'0'-(%/ /'?.5%/* a * =-/ .)(%5%/ /-5),%/ M;% /% -,:)('F)( %( &-,?) 6% B,3-5 0).<)( ?)[-, %(%,:U)2 b * @'6)( $i[%, %/ ;( ('d- :%('-2 c * =) .-/'0'1( 6% 5)/ W-R)/ 6% ;( B,3-5 /':;%( %5 -,6%( 6% 5) /%,'% 6% j'3-()00'2 d * =) X-?;('6)6 X'%(
P%/.;%/<)* "c# $)6) 5) .,-.-/'0'1( 0-?.;%/<)
(b
¬
) (
! ¬d
!
¬
a!c
)
(a ! b) " %&a # (b $ c)'( 2 _)3'%(6- M;% %/ j@=_@E 5-/
7)5-,%/ 6% 7%,6)6 6% 5)/ .,-.-/'0'-(%/ /'?.5%/ +E 5 [ 0 /-(* )# a 0, b 0, c 1 3# a 1, b 1, c 0 0# a 1, b 0, c 1 6# a 1, b 1, c 1 %# a 0, b 1, c 0 !
!
!
!
!
!
!
!
!
!
!
!
!
!
!
P%/.;%/<)* 0# 9V# a() .,-.-/'0'1( 0-?.;%/<) %/ 7%,6)6%,) /' [ /15- /' <-6)/ 5)/ .,-.-/'0'-(%/ /'?.5%/ M;% 5) 0-(&-,?)( /-( 7%,6)6%,)/2 )# 4%,6)6%,3# j)5/P%/.;%/<)* 3# 9"# _' 5) .,-.-/'0'1(
(
a !b
¬
) ( !
)# 4%,6)6%,-
) %/ j@=_@E %(<-(0%/ (b
c ! d
! ¬c
) %/ 4>P$@$>P@2
3# j)5/P%/.;%/<)* )#
8?R 0A@NHC B@ABACDEDAFHJGC 99# $%&'()* )# 4),')35% .,-.-/'0'-()52 3# j-,?) .,-.-/'0'-()52 0# 8);<-5-:U)2 6# X-(<,)6'00'1(2 %# X-(<'(:%(0')2 Q?.5'0)0'1( 51:'0)2 :# >M;'7)5%(0') 51:'0)2 9L# _%)( A [ B 6-/ &-,?)/ .,-.-/'0'-()5%/E /% 6'0% M;% A '?.5'0) 51:'0)?%(<% ) B E 6%(-<)6- .-, A ! B E /' [ /-5- /' A ! B %/ ;() <);<-5-:U)2 )# 4%,6)6%,3# j)5/P%/.;%/<)* )# 9N# _%)( A [ B 6-/ &-,?)/ .,-.-/'0'-()5%/E /% 6'0% M;% A %M;'7)5% 51:'0)?%(<% ) B E 6%(-<)6- .-, A ! B E /' [ /-5- /' A ! B %/ ;() <);<-5-:U)2 )# 4%,6)6%,3# j)5/P%/.;%/<)* )# "#$%&' . )* +
(
)
f p q r
9O# _%)
,
,
;() &-,?) .,-.-/'0'-()5 <);<-51:'0)2 Q6%(<'&'M;% 5) .,-.-/'0'1(
4>P$@$>P@* )# 3# 0# 6# %#
(
) f (0,1,0) f (0,0,0) f (1,1,1) " f (0,0,0) ! f (1,1,1)$ # % f (1,1,1) f (0,0,0 ) f (1,1,1) f (0,0,0) f 1,0,1
¬
!¬
!
¬
¬
!
!¬
P%/.;%/<)* 6#
(
)
9Y# _%)( f p q r ;() &-,?) .,-.-/'0'-()5 <);<-51:'0) [ ,
,
(
) ;() 0-(<,)6'00'1(2
g p , q, r
Q6%(<'&'M;% 5) .,-.-/'0'1( 4>P$@$>P@* )# 3# 0# 6# %#
(
) g (1,1,1) f (0,0,0) g (1,1,1) f (0,0,0) g (1,1,1) g (1,1,1) f (0,0,0 ) g ( 0,0,0) f (1,1,1) f 0,0,0
¬
!
!
!
!
!¬
P%/.;%/<)* 6# 9S# =) &-,?) .,-.-/'0'-()5 #$
( p ! q) " r %& " #$( p " q) ' (r " q)%& %/*
)# 3# 0# 6#
a() 0-(<,)6'00'1(2 a() <);<-5-:U)2 a() 0-(<'(:%(0')2 >M;'7)5%(<% ) r 2
%#
>M;'7)5%(<% )
¬
(
p ! q
¬
)2 P%/.;%/<)* 0#
9^# _%)( <,%/ &-,?)/ .,-.-/'0'-()5%/* A ;() <);<-5-:U)E 0-(<'(:%(0')2 Q6%(<'&'M;% 5) .,-.-/'0'1( 4>P$@$>P@* )# 3# 0# 6# %#
B
;() 0-(<,)6'00'1( [ C ;()
( B A) %/ ;() 0-(<,)6'00'1(2 (C A) %/ ;() 0-(<,)6'00'1(2 (C B) %/ ;() 0-(<,)6'00'1(2 ( B C ) %/ ;() <);<-5-:U)2 ( A B) %/ ;() <);<-5-:U)2 ¬
!
!¬
!¬
¬
!
¬
!¬
P%/.;%/<)* %#
"#$%&' / )* +
8?S (@ABDGIHIGC IG JAC ABG@HIA@GC JKLDEAC 9c# $% /%, .-/'35%E %/0,'3) %5 (-?3,% 6% 5) 5%[ - .,-.'%6)6 M;% %/ "# +(%8&5* &2 08%'* -& /#4&2+0#C/. ,#' (+(I' &')I/ B&2#0&'> @8&3*. '# &')8-#* ,80<*. ,#' (+(I' &')I/ B&2#0&'6 2 3# !Q* &' 4&%-+- D8&L '# &')8-#* ,80<*. &/)*/0&' /* +(%8&5* &2 08%'* -& /#4&2+0#C/6 %/ 51:'0)?%(<% %M;'7)5%(<% ) !R')8-#* ,80<* = +(%8&5* &2 08%'* -& /#4&2+0#C/6 2 0# !"# 0*,* 5+')+/)&. 4*= +2 3#,/+'#*: (&%* /* 4*= +2 3#,/+'#*> R/)*/0&'. /* 0*,* 5+')+/)&6 2 6# !"# )&/3* -#/&%*. ,& 4*= -& 4#+J&: =. '# )&/3* )#&,(*. +%%&32* ,# 08+%)*> F*% 2* )+/)*. '# )&/3* -#/&%* = )#&,(*. ,& 4*= -& 4#+J& = +%%&32* ,# 08+%)*6>
LV# a() \>A@XQk\ 6% 5) .,-.-/'0'1( 0-?.;%/<)* e_' (- ?% 7-[ )5 %/<)6'-E %(<-(0%/ 7-[ ) %/<;6'), [ ) ,%)5'F), %5 .,-[%0<-fE %/* )# \- ?% 7-[ )5 %/<)6'- [ (- %/ 0'%,<- M;%E 7)[) ) %/<;6'), [ ,%)5'0% %5 .,-[%0<-2 3# l% 7-[ )5 %/<)6'-E .%,-E %/<;6'- - ,%)5'F- %5 .,-[%0<-2 0# l% 7-[ )5 %/<)6'-E -E %/<;6'- [ ,%)5'F- %5 .,-[%0<-2 6# _' (- %/ 0'%,<- M;%E %/<;6'% [ ,%)5'0% %5 .,-[%0<-E %(<-(0%/ ?% 7-[ )5 %/<)6'-2 %# >/<;6'- [ ,%)5'F- %5 .,-[%0<-E .;%/<- M;% (- ?% 7-[ )5 %/<)6'-2 P%/.;%/<)* )# L"# =) Q\4>P_@ 6% 5) .,-.-/'0'1( em;5'- .,-:,)?) %( 4'/;)5 XnnE .-,M;% %(/%d) <%-,U) 6% (T?%,-/ [ %/ '(<%5':%(<%fE %/* )# m;5'- .,-:,)?) %( 4'/;)5 XnnE /15- /' %(/%d) <%-,U) 6% (T?%,-/ [ (- %/ '(<%5':%(<%2 3# m;5'- (- .,-:,)?) %( 4'/;)5 XnnE .-,M;% (- %(/%d) <%-,U) 6% (T?%,-/ [ %/ '(<%5':%(<%2 0# m;5'- (- %(/%d) <%-,U) 6% (T?%,-/ - (- %/ '(<%5':%(<%E .-,M;% (- .,-:,)?) %( 4'/;)5 Xnn2 6# _' m;5'- (- %(/%d) <%-,U) 6% (T?%,-/ [ (- %/ '(<%5':%(<%E (- .,-:,)?) %( 4'/;)5 Xnn2 %# _' m;5'- (- %(/%d) <%-,U) 6% (T?%,-/ - (- %/ '(<%5':%(<%E (- .,-:,)?) %( 4'/;)5 Xnn2 P%/.;%/<)* %# L9# X-(/'6%,% 5)/ /':;'%(<%/ .,-.-/'0'-(%/ /'?.5%/* a * >/<;6')/ <-6-/ 5-/ 6U)/2 b * 8% .'%,6%/ 5)/ &),,)/2 c * Q(:,%/)/ ) 5) >_+`=2 a() <,)6;00'1( )5 5%(:;)R% &-,?)5 6% 5) .,-.-/'0'1( 0-?.;%/<) e "# /* &')8-#+' )*-*' 2*' -A+' = /* )& (#&%-&' 2+' B+%%+'. /* #/3%&'+' + 2+ R"FS@> F&%* '# &')8-#+' )*-*' 2*' -A+'. #/3%&'+' + 2+ R"FS@f %/*
)# !"c 3# 0# 6# %#
)#$ % (c % b) # c ! ( a " b % ! ( ! )& ) $ #c ! ( a " b % ' ( ! )& ) $ (c ! a) ! #$ (a " b) ! c%& # c ! (a " b)% ! ( ! ) $ & !
(
a!b
a
¬
a
c
c
¬
¬
¬
a
c
P%/.;%/<)* 0#
"#$%&' 0 )* +
LL# >/0,'3) 5) 5%[ 6%5 _Q=`AQ_l` $Q_oa\8Q4` [ 0-(/<,;[) ;() .,-.-/'0'1( 0-?.;%/<) ) .),<', 6% /; 5) %/<,;0<;,) 51:'0) 6% %/<) 5%[2 LN# >/0,'3) 5) 5%[ 6% 5) 8P@\_Q8Q4Q$@$ [ 0-(/<,;[) ;() .,-.-/'0'1( 0-?.;%/<) ) .),<', 6% 5) %/<,;0<;,) 51:'0) 6% %/<) 5%[2 LO# +),) 0)6) &-,?) .,-.-/'0'-()5 6%<%,?'(% /' %/ ;() <);<-5-:U)E ;() 0-(<,)6'00'1( - ;() 0-(<'(:%(0')2 )# ( p ! q ! r ) " ( p # q # r ) 3#
{( p ! q) ! #$( p "
q
¬
) ! p&%} " p
0# #$( p ! r ) " ( q ! r )&% ' #$( p ( q) ! r &% P%/.;%/<)* )# 8);<-5-:U)E 3# X-(<'(:%(0')E 0# 8);<-5-:U)2 8?T )HUAFHNDGFQAC LY# $%&'()* )# P)F-()?'%(<-2 3# 4)5'6%F 6% ;( ,)F-()?'%(<-2 LS# a( ,)F-()?'%(<- %/ 7B5'6- /' [ /15- /' <-6)/ 5)/ .,-.-/'0'-(%/ /'?.5%/ M;% 5- 0-(&-,?)( /-( 7%,6)6%,)/2 )# 4%,6)6%,3# j)5/P%/.;%/<)* 3# L^# a( ,)F-()?'%(<- (- %/ 7B5'6- /' [ /15- /' <-6)/ 5)/ .,-.-/'0'-(%/ /'?.5%/ M;% 50-(&-,?)( /-( &)5/)/2 )# 4%,6)6%,3# j)5/P%/.;%/<)* 3# Lc# $%<%,?'(% 5) 7)5'6%F 6% 5-/ /':;'%(<%/ ,)F-()?'%(<-/ 51:'0-/* )# !@+ 2C3#0+ &' B*%,+2 = /* '& (%&*08(+ -&2 0*/)&/#-*> M(%8&5+' &2 &T+,&/ 'C2* '# 2+
3#
0#
6#
2C3#0+ '& (%&*08(+ -&2 0*/)&/#-*> R/)*/0&'. 2+ 2C3#0+ &' B*%,+2 = +(%8&5+' &2 &T+,&/>6 e@28&4& 5+')+/)& = '& -+O+/ 2*' 082)#4*'> @+ "QUV /* -&02+%+ &2 &')+-* -& &T0&(0#C/ (&%* /* '& -+O+/ 2*' 082)#4*'> "C2* '# 228&4& 5+')+/)&. 2+ "QUV -&02+%+ &2 &')+-* -& &T0&(0#C/> F*% 2* )+/)*. /* '& -+O+/ 2*' 082)#4*'>f !F&-%* '& 4+ +2 0#/& 'C2* '# /* )&%,#/+ -& &')8-#+%> F&-%* /* '+2-%I 5#&/ &/ &2 &T+,&/ -& ,+O+/+. -&5#-* + D8& /* )&%,#/+ -& &')8-#+%> F&-%* '& B8& +2 0#/&> F*% 2* )+/)*. F&-%* /* '+2-%I 5#&/ &/ &2 &T+,&/ -& ,+O+/+>6 !"# +8,&/)+ &2 &,(2&* = &2 0*/'8,*. &' (*%D8& 2+ (%*-800#C/ '& %&+0)#4+> F&%* 2+ &0*/*,A+ 0%&0& 08+/-* &' B+2'* D8&. &2 0*/'8,* /* +8,&/)+. '# &2 &,(2&* +8,&/)+> @8&3*. 2+ (%*-800#C/ /* '& %&+0)#4+ * 2+ &0*/*,A+ 0%&0&>6
P%/.;%/<)* )# \- 7B5'6-E 3# 4B5'6-E 0# 4B5'6-E 6# 4B5'6-2 8?9 /GNACQ@HEDAFGC NV# $%?;%/<,% 5) 5%[ 6%5 l`$a_ 8`=>\$` 8`==>\_ ;<'5'F)(6- %5 ?G<-6- 6% 6%?-/<,)0'1( 6',%0<)2
"#$%&' 1 )* +
N"# $%?;%/<,% 5) 5%[ 6%5 l`$a_ +`\>\$` +`\>\_ ;<'5'F)(6- %5 ?G<-6- 6% 6%?-/<,)0'1( .-, 0-(<,),,%0U.,-0)2 N9# $%?;%/<,% 5) '?.5'0)0'1( 51:'0)* #$(
q!
¬
p
¬
) " p&% ' q
)# a<'5'F)(6- <)35)/ 6% 7%,6)62 3# a<'5'F)(6- .,-.'%6)6%/ 6% 5-/ -.%,)6-,%/ 51:'0-/2 NL# $)6- %5 /':;'%(<% ,)F-()?'%(<-* e W/+ B8/0#C/ f &' 0%&0#&/)& '#&,(%& D8& '&+ ,*/C)*/+ 0%&0#&/)&. (&%* 2+ B8/0#C/ f /* &' 0%&0#&/)&> F*% 2* D8&. f /* &' ,*/C)*/+ 0%&0#&/)&>f $%<%,?'(% /' %/ 7B5'6- - (-* )# >?.5%)(6- %5 ?G<-6- 6% $>l`_8P@XQk\ +`P X`\8P@PP>Xg+P`X@2 3# >?.5%)(6- %5 ?G<-6- 6% P>$aXXQk\ @= @]_aP$`2 P%/.;%/<)* 4B5'6-2 NN# Q(6'M;% /' 5) .,-.-/'0'1( .5)(<%)6) %( 0)6) 5'<%,)5 %/ 7%,6)6%,)2 _' (- 5- %/E .,-.-,0'-(% ;( 0-(<,)%R%?.5-2 )# =)/ 3)(6%,)/ 6% 5-/ .)U/%/ 6% @?G,'0) 6%5 _;, <'%(%( L 0-5-,%/2 3# X)6) )d- <'%(% LYO 6U)/2 0# =)/ .,-7'(0')/ 6%5 >0;)6-, <'%(%( :-3%,()6-,2 6# >( A;)[)M;'5 /-5)?%(<% %Z'/<%( ;('7%,/'6)6%/ .T35'0)/2 %# \- W)[ .)U/%/ M;% W)[)( :)()6- N 7%0%/ 5) 0-.) ?;(6')5 6% &T<3-52 >5 .,%?'- \-3%5 6% ='<%,)<;,) (- 5- W) :)()6- ;( 5)<'(-)?%,'0)(-2 :# =-/ 0%5;5),%/ /-(
(
¬
¬
) (q ! r )%&! (
p ' q
¬
)
B : q ! r
a<'5'F)(6- %5 ?G<-6- 6% $ >l`_8P@XQk\ $QP>X8@E 7%,'&'M;% /'* A ! B P%/.;%/<)* _U
"#$%&' + )* +