!"#$%&'()*
+#),-&"./()#0%.,#&%12(
*34 5-/26&%7%8%&-)9:;�%12()<93 <#8%/%&-)9-,#;&%12(
!"#$%&'&()"%#'*(#%)+'*(#,*#-./&%.#01$/#,.%*/2&"*/#')#-)'&,&%.#1$#')#"1"3-)'&,&%.#,4$"#)/5$2*"%6 "1$(
)-1"(#($001(.#7$*#'*(#08/)(*(#(1"%#-/)&*(#1$#9)$((*(6 :4*(%3;3,&/*#7$4*''*(#01((<,*"%#'4$"*#1$#'4)$%/*#,*
:*(#-)'*$/(#,*#-./&%.= >)#2.%81,*#,*(#%)+'*(#,*#-./&%.#*(%#$"*#2.%81,*!"#$%&'()*0/.:&(.2*"%#0)/:*
7$4&'#*(%#9)&%#/.9./*":*#;#,*(#0/10/&.%.(#?')#-./&%.#*%#')#9)$((*%.@#7$&#(1"%#A *B%./&*$/*(C ;#')#08/)(*6 )$
(*"(#1D#:*(#0/10/&.%.(#($001(*"%#'4*B&(%*":*#,4$"#21",*#,&(%&":%#,*#')#08/)(*6 $"#21",*#($/#'*7$*'#A 01/%*C ')#08/)(*=
E'#*B&(%*#%1$%*91&(#$"*#)$%/*#2.%81,*6 ,&%*!+%&$,'()*6 0*/2*%%)"%#,*#%*(%*/#')#-)'&,&%.#,4$"#)/5$2*"%6 7$&#"*#($001(*#0)(#,4*2+'.*#7$*#'*(#08/)(*(#)&*"%#$"*#-)'*$/#,*#-./&%.= >4&,.*#:*"%/)'*#:1"(&(%*#;#*(()F*/
,*-".'/0.1$#,*-"-)'.*')#:1":'$(&1"#,*#'4)/5$2*"%#*"#0)/%)"%#,*#(*(#0/.2&((*(#*%#*"#0/1:.,)"%1$!23 1$!6 )$#21F*"#,*#/<5'*(#,.%*/2&".*(6 G$(7$4;#()#:1":'$(&1"=
H1$/#2&*$B#:120/*",/*#:*%%*#2.%81,*#,*-".'/$&'456 &'#*(%#$%&'*#,*#:1"(&,./*/#$"*#2.%)081/*#*23 0/$"%.*#)$B#.:8*:( I '*(#0/.2&((*(#:1"(%&%$*"%#'*(#01(&%&1"(#&"&%&)'*(#,*(#0&<:*(#($/#'4.:8&7$&*/ J '*(#/<5'*(
,*#,./&-)%&1"#:1//*(01",*"%#)$B#/<5'*(#7$�*/2*%%*"%#,*#,.0'):*/#'*(#0&<:*(#*%#,*#01$/($&-/*#'*#G*$6
*%#')#:1":'$(&1"#:1//*(01",#)$B#01(&%&1"(#,*(#0&<:*(#($/#'4.:8&7$&*/#)0/<(#$"#:*/%)&"#%*20(#,*#G*$= >*(
/<5'*(#,*(#.:8*:(#(1"%#A (F"%)B&7$*(C 0)/:*#7$*#-1$(#"4)-*K#0)(#+*(1&"#,*#()-1&/#7$*#%*''*#0&<:*#*(%#'*#/1&6 1$#%*''*#)$%/*#'*#91$6 01$/#)00/*",/*#;#'*(#2)"&0$'*/= ?!"#'41::$//*":*6 '4&"%*/0/.%)%&1"#A 21")/:8&7$*C ,*(#.:8*:(#*(%#0)/9)&%*2*"%#:1"-*"%&1""*''*=@
H)/#:1"(.7$*"%6 "1$(#01$-1"(#,&(%&"5$*/#%/1&(#,*5/.#,4)+(%/):%&1"#'&"5$&(%&7$*#7$&#:1//*(01",*"%#;
,&L./*"%(#"&-*)$B#,*#91/2)'&()%&1" I
M= N >)#%*//*#%1$/"* O (&5"&P:)%&1" -./&%.
Q= NpO R -./&%.
S= φ R R
>*#0/*2&*/#"&-*)$#:1//*(01",#)$#')"5)5*#")%$/*'6 ,)"(#'*7$*'#'*(#08/)(*(#(1"%#,1$.*(#,*#(*"(#*%#1"%#,*(
:1",&%&1"(#,*#-./&%.= >*#(*:1",#"&-*)$#:1//*(01",#)$B#08/)(*(#($/#'*(7$*''*(#01/%*#')#2.%81,*#(.2)"3
%&7$*6 7$"%#,*(#:1",&%&1"(#,*#-./&%.#2)&(#7$&#"*#(1"%#7$*#,*(#-)/&)+'*(#()"(#(&5"&P:)%&1"#,.%*/2&".*=
T4*(%#;#:*#"&-*)$3';#7$41"#*B)2&"*#'*(#(:8.2)(#?A (7$*'*%%*(C@#,4&"9./*":*(#,1"%#1"#.%)+'&%#')#-)'&,&%.
0)/#,*(#%)+'*(#,*#-./&%.= >*#%/1&(&<2*#"&-*)$6 ,)"(#'*7$*'#1"#9)&%#)+(%/):%&1"#"1"#(*$'*2*"%#,*#')#(&5"&3 P:)%&1"#,*(#08/)(*(6 2)&(#)$((&#,*#'*$/#-./&%.#1$#9)$((*%.6 :1//*(01",#)$B#08/)(*(#($/#'*(7$*''*(#01/%*
=> *3 +#),-&"./()#0%.,#&%12(
')#2.%81,*#(F"%)B&7$*6 *%#(1"%#:1"(&,./.*(#:122*#,*#0$/(#(F2+1'*(#()"(#(&5"&P:)%&1"#,.%*/2&".*#*%
()"(#-)'*$/#,*#-./&%.#0)/%&:$'&</*= U*#0'$(6 '*#"&-*)$#?M@#*(%#91/2)'&(.#0)/#'*#"&-*)$#?Q@6 7$&#*(%#;#(1"#%1$/
91/2)'&(.#0)/#'*#"&-*)$#?S@=
V$4$"*#08/)(*#0$&((*#1$#"1"#W%/*#,./&-.*#,4)$%/*(#08/)(*(#*(%#$"*#7$*(%&1"#7$&#:1":*/"*#$"&7$*2*"%
')#(F"%)B* I &'#(4)5&%#,*#')#7$*(%&1"#,*#()-1&/#(4&'#*(%#01((&+'*#,*#2)"&0$'*/#'*(#(F2+1'*(#/*0/.(*"%)"%
'*(#08/)(*(#)00*'.*(#N 0/.2&((*( O6 (*'1"#:*/%)&"*(#/<5'*(#0$/*2*"%#(%/$:%$/*''*(6 ,*#2)"&</*#;#)//&-*/#;
,*(#(F2+1'*(#/*0/.(*"%)"%#$"*#)$%/*#08/)(*6 )00*'.*#N :1":'$(&1" O= T*%%*#7$*(%&1"#*(%#,$#2W2*#1/,/*
7$*#:*''*#,*#()-1&/#(&6 (*'1"#'*(#/<5'*(#,$#G*$6 %*''*#1$#%*''*#01(&%&1"#0*$%#W%/*#)%%*&"%*#0)/#%*''*#1$#%*''*
0&<:*#,4.:8*:#(*#%/1$-)"%#,)"(#%*''*#1$#%*''*#01(&%&1"= X&*"#7$4*''*#),2*%%*#*"#0/&":&0*#$"*#/.01"(*
2.:)"&7$*6 $"*#%*''*#/.01"(*#?:122*#:4*(%#'*#:)(#01$/#'*(#.:8*:(@#*(%#(1$-*"%#'1&"#,4W%/*#%/&-&)'* I (1$-*"%6 &'#9)$%#(1$-*"%#9)&/*#0/*$-*#,4&"5."&1(&%.=
Y1$(#$%&'&(*/1"(#'*#(F2+1'*#N!O#01$/#(&5"&P*/#')#:1"(.7$*":*#)$#(*"(#(F"%)B&7$*6 :4*(%3;3,&/*#')-"-)67
&'8'9'&:?1$#,./&-)+&'&%.@6 *%#.%)+'&/1"(#0'$(&*$/(#:1//*(01",)":*(#*"%/*#:*%%*#/*')%&1"#,*#,./&-)+&'&%.!
*%#')#/*')%&1"#,*#:1"(.7$*":*#'15&7$*#?1$#-)'&,&%.@|Z = Y1$(#,*-1"(#)$#0/.)')+'*#91$/"&/#$"*#,.P"&%&1"
/&51$/*$(*#,$#')"5)5*#91/2*'#,*#')#'15&7$*#,*(#08/)(*(=
*3? +()8#;@#@()/()8#)8.@%12()$'.$.9%&%.;;(88(
H1$/#)-1&/#$"*#&,.*#:')&/*#,*#:*#7$*#(*/)#')#(F"%)B*#,*#"1%/*#'15&7$*#0/101(&%&1""*''*6 "1$(#,*-1"(
,4)+1/,#,.P"&/#(1"#')"5)5*#91/2*'#,*#2)"&</*#0'$(#/&51$/*$(*#7$*#0/.:.,*22*"%#?:9= 0=SS@ I
5-A;%&%.; ??['08)+*%@3 ;<$91=$80&2-)29$%>$>*L-0 2 9$ 2 94>'()0 2 1.414!'&'4%%0?0 2 69$!!'()0 2 !0 2 64#14!0 2 -0!
!'>%0!2!)'/$%&! @
B4 -0!21=.$!0!2$&4#'()0!2Ap0BC Ap1BC Ap2B2D E)%0 2 '%F%'&" 2 -"%4#8.$890G HM
B? 90!264%%06&0).!2A¬. . .B2EA %071$! BGC A. . . ∧ · · ·B2EA 0I BGC A. . . ∨ · · ·B2EA 4) BGC A. . . → · · ·B2EA !'7$94.! BG20I A. . . ↔ · · ·B2EA !!'J BG H
BC -0!2!+#8490!2$),'9'$'.0! @ 1$.0%&=K!0!C L'.>)90!J
[$#'&*$#,*#Np0O6 "1$(#.:/&-1"(#0)/91&(#NpO6 01$/#Np1O#NqO6 NrO#01$/#Np2O#*%:=
T*%%*#,.P"&%&1" ?Q@ "1$(#0*/2*%#,*#,.P"&/L6 "1%/*#')"5)5*#91/2*'#,*#')#'15&7$*#,*(#08/)(*(= Y1$(
,.%*/2&"1"(#)&"($*''*(#08/)(*(#91"%#0)/%&*#,*#:*#')"5$)5*6 *"#,.P"&(()"%#:*#7$4*(%#$"*#91/2$'*
+&*"391/2.*#,*LI
5-A;%&%.; C?\1/2$'*(@3 M%0 2 N4.#)90 2 1.414!'&'4%%0?0 2 0!& 2 -"F%'0 2 -0 2 #$%'K.0 2 ."6).!'/0 2 64##0 2 !)'I @ D4 O4)&0 2 1=.$!0 2 $&4#'()0 2 -0 2 9$ 2 N4.#0 2 ApiB2E14).2%<'#14.&02()09 i∈NG 2 0!& 2 )%0 2 N4.#)90 2 1.414!'&'4%%0?0J D? P'φ0!& 2 )%0 2 N4.#)90 2 1.414!'&'4%%0?0C $94.!!(¬φ)"0!& 2 )%0 2 N4.#)90 2 1.414!'&'4%%0?0J
DC P'φ0Iψ!4%&2-0!2N4.#)90!21.414!'&'4%%0?0!C$94.!!(φ∧ψ)"C!(φ∨ψ)"C!(φ→ψ)"0I!(φ↔ψ)"!4%I -0!2N4.#)90!21.414!'&'4%%0?0!J
T122*#)$#0/.)')+'*6 "1$(#$%&'&(1"(#,*(#2&"$(:$'*(#5/*:7$*(#NφO6 NψO6 NχO6 ] 01$/#'*(#"12(#,*(
91/2$'*(#)/+&%/)&/*(#?0)(#".:*(()&/*2*"%#)%12&7$*(@= E'#(4)5&%#,*(#"12(#2.%)'&"5$&(%&7$*( I NφO#"*#9)&%
M= >*(#08/)(*(#)%12&7$*(#(1"%#(1$-*"%#)00*'.*(#N 08/)(*(#-)/&)+'*( O6 01$/#&",&7$*/#7$4*''*(#(1"%#:1"(&,./.*(#:122*#-)/&)+'*(
,)"(#'*(#(:8.2)(#,4&"9./*":*= H$&(7$*#"1$(#&"%/1,$&/1"(#0'$(#%)/,#?;#')#0=M^_,)"(#'*#:8)0&%/*`@#'*(#-)/&)+'*(#?(1$-*"%#)00*'.*(
N -)/&)+'*(#&",&-&,$*''*( O@#,*#')#'15&7$*#,*(#0/.,&:)%(6 7$&#(1"%#,4$"#)$%/*#%F0*#?*''*(#0*$-*"%6 0)/#*B*20'*6 W%/*#'&.*(#0)/#,*(
7$)"%&P:)%*$/(#*%:=@6 G4.-&%*#:*%%*#,."12&")%&1"#%/120*$(*= >)#(&5"&P:)%&1"#*B):%*#,*#N &"P"&%.#,."12+/)+'* O#*(%#*B0'&7$.*#;#') 0=Saa,*#'4)00*",&:*=
*3? +()8#;@#@()/()8#)8.@%12()$'.$.9%&%.;;(88( =4
0)(#0)/%&*#,*L6 "1%/*#')"5)5*31+G*%6 2)&(#"1$(#(*/%#;#0)/'*/-* (*(#91/2$'*(= >4*"(*2+'*#,*#%1$%*(
'*(#91/2$'*(#,$#')"5)5*L*(%#,."1%.#0)/#NAhg(L)O= >*(#,*2&3:/1:8*%(#,*#V$&"*#(1"%#$%&'&(.(#01$/
0)/'*/#,*#%1$%*(#'*(#91/2$'*(#)F)"%#$"*#91/2*#0)/%&:$'&</*= N!(¬φ)"O6 0)/#*B*20'*6 *(%#$"#"12#01$/
$"*#91/2$'*#)/+&%/)&/*#7$&#:1"(&(%*#*"#$"*#0)/*"%8<(*6 $"#(&5"*#,*#".5)%&1"6 $"*#08/)(*#?(&20'*#1$
:120'*B*@#*%#*":1/*#$"*#0)/*"%8<(* I N(¬p1)O6 2)&(#)$((&#N(¬¬p1)O#*%#N(¬(p0∧p1))O#*"#(1"%#,*(
*B*20'*(=Q
H1$/#/*",/*#"1(#91/2$'*(#0'$(#9):&'*(#;#'&/*6 "1$(#),10%1"(#'*(#:1"-*"%&1"(#($&-)"%*( I
R N¬O#/*'&*#(1"#)/5$2*"%#0'$(#91/%*2*"%#7$*#N∧O#*%#N∨O I 7$)",#&'#0/.:<,*#$"*#(*$'*#0/101(&%&1"6 '*#:1""*:%*$/#N¬O#(*/)#,1":#.:/&%#()"(#0)/*"%8<(*(= [$#'&*$#,*#N¬(p)∧ ¬(p∨q)O6 "1$(#.:/&-1"(
,1":#N¬p∧ ¬(p∨q)O=
R H1$/#,*(#1::$//*":*(#/.0.%.*(#,*#N∧O#*%#N∨O6 1"#),10%*/)#')#:1"-*"%&1"#N 5/1$0*2*"%#;#5)$:8* O I '*(#0)/*"%8<(*(#7$&#(*#9*/2*"%#-*/(#')#5)$:8*#(1"%#&20'&:&%*(= Y1$(#.:/&-1"(#,1":#N(p∧q∧r)O 01$/#N((p∧q)∧r)O=
R >*(#0)/*"%8<(*(#*B%./&*$/*(#?7$&#"*#(1"%#"�/.:.,.*(#"&#($&-&*(#,4$"#:1""*:%*$/@#(1"%#&20'&:&%*(=
[$#'&*$#,*#N(p∧q)O6 "1$(#.:/&-1"(#Np∧qO=
b"#0*$%#12*%%/*#,)-)"%)5*#,*#0)/*"%8<(*(#*"#,1"")"%#,*(#0/&1/&%.(#)$B#:1""*:%*$/(6 ,)"(#'41/,/*
($&-)"% I N↔O6 N→O6 N∧O6 N∨O6 N¬O= [&"(&6 N¬p∧qO#:1//*(01",#;#N(¬p)∧qO6 N(p∨q → r) ↔ (¬p∧ ¬q)∨rO#;#N((p∨q)→r))↔(((¬p)∧(¬q))∨r)O#*%:=
Y1$(#01$-1"(#.5)'*2*"%#,.P"&/#:*#7$4*(%#$"*#%8.1/&* I
5-A;%&%.; *?c8.1/&*(@3 M%0 2 &="4.'0 2 0!& 2 )% 2 0%!0#890 2 EF%' 2 4) 2 '%F%'G 2 -0 2 N4.#)90! 2 1.414!'&'4%%0?0!J Y1$(#)+/.5*1"(#,*(#%8.1/&*(#0)/#NOc1O6 NOc2O # *%:= H1$/#"*#0)/'*/#7$*#,4$"*#(*$'*#%8.1/&*6 "1$(
$%&'&(1"(#NOcO= Y1%1"(#7$4$"*#%8.1/&*Oc0*$%#)-1&/#$"#(*$'#2*2+/*6 0= *B=Oc={φ}6 1$#W%/*#-&,*
Oc=∅=
Y1%1"(#7$*#:*(#,.P"&%&1"(#.%)&*"%#0$/*2*"%#(F"%)B&7$* I "1$(#"4)-1"(#9)&%#)$:$"*#/.9./*":*#)$B#(&3 5"&P:)%&1"(#1$#-)'*$/(#,*#-./&%.#,*(#91/2$'*(#0/101(&%&1""*''*(= Y1$(#)-1"(#(*$'*2*"%#:1"(&,./.#'*$/
91/2*#*%#')#2)"&</*#,1"%#*''*(#(1"%#:1"(%/$&%*(#;#0)/%&/#,*(#08/)(*(#(&20'*(=
>4)-)"%)5*#,4$"*#,.P"&%&1"#(F"%)B&7$*#/&51$/*$(*#,*#"1%/*#')"5$*#*(%#7$4*''*#"1$(#0*/2*%#,*#/*-*"&/#($/
')#7$*(%&1"#,4&"%*/,.P"&(()+&'&%.#,*(#:1""*:%*$/(= Y1$(#)-1"(#,.G;#-$#,*#7$*''*#2)"&</*#"1$(#01$-&1"(
,.P"&/#N∧O#*"#%*/2*(#,*#N∨O#*%#,*#N¬O#5/d:*#)$B#'1&(#,*#e1/5)"= Y1$(#)''1"(#;#0/.(*"%#)-1&/#$"
/.($'%)%#0'$(#/),&:)' I &'#*(%#01((&+'*#,*#,.P"&/&4)!'*(#:1""*:%*$/(#+&")&/*(#;#0)/%&/#,4$"#(*$'= e)&(#01$/
F#0)/-*"&/6 "1$(#,*-1"(#,4)+1/,#.')/5&/#?%*201/)&/*2*"%@#"1%/*#')"5)5*=
T1"(&,./1"(#'*#:1""*:%*$/#N|O6 )00*'.#N +)//*#,*#f8*L*/ O#?N f8*L*/4(#(%/1g* O@#?f:8*L*/ MhMS@= E'#*(%
,.P"�)/#')#%)+'*#,*#-./&%.#($&-)"%* I
φ ψ !φ|ψ"
V V F
V F V
F V V
F F V
b"#-1&%#7$*!φ|ψ"/*0/.(*"%*#')#A "1"3:1"G1":%&1"C ,*φ*%#,*ψJ!φ|ψ"-*$%#,&/*#7$*φ*(%#&":120)3
Q= U*#2)"&</*#*":1/*#0'$(#2)%8.2)%&7$*6 ')#,.P"&%&1" ?S@ (%&0$'*#7$*#'4*"(*2+'*#,*(#91/2$'*(#+&*"391/2.*(Ahg(L)(1&%
N 9*/2. O#(1$(#:*/%)&"*(#10./)%&1"(6 ;#()-1&/#')#".5)%&1"6 ')#:1"G1":%&1"6 ')#,&(G1":%&1"#*%#'4&20'&:)%&1" I (&φ*%ψ)00)/%&*""*"%
;Ahg(L)6 )'1/(#&'#*"#-)#,*#2W2*#01$/#%1$%*(#'*(#91/2$'*(#7$*#"1$(#01$-1"(#1+%*"&/#,*φ*%ψ0)/#'*(#10./)%&1"(#,*#".5)%&1"6 :1"G1":%&1"6 ,&(G1":%&1"#*%#&20'&:)%&1"#?:9=hQ01$/#$"*#,.P"&%&1"#,*#N :'i%$/*#,.,$:%&-* O@=
=? *3 +#),-&"./()#0%.,#&%12(
%&+'*#)-*:ψ6 *%#7$4)$#21&"(#'4$"*#,*#:*(#,*$B#91/2$'*(#?0*$%3W%/*#'*(#,*$B@#*(%#9)$((*= N|O#:1//*(01", ,1":6 :122*#(&5"*#,$#')"5)5*31+G*%6 ;#')#/*')%&1"#2.%)'&"5$&(%&7$*#,*#:1"%/)/&.%. J!φ|ψ"*(%#.7$&-)3 '*"%*#?'15&7$*2*"%@#;!¬φ∨ ¬ψ"*%#;!¬(φ∧ψ)"=
[G1$%1"(#N|O#;#"1%/*#')"5$*#,*#')#2)"&</*#($&-)"%*=
5-A;%&%.; E3 P4'IL9$ 2 9$%>)0 2 -"F%'0 2 1$. 2 90! 2 -"F%'&'4%!?Q@0I?S@J Q4)!264%!&.)'!4%!2)%029$%>)*L∗05
$R4)&$%& 2 3?Q@9$269$)!*
S A|B2EA 0!& 2 '%64#1$&'890 2 $/06 BG 0& 2 0% 2 $R4)&$%& 2 3?S@9$269$)!*
S P'φ0Iψ!4%&2-0!2N4.#)90!21.414!'&'4%%0?0!C $94.!!(φ|ψ)"0!& 2 )%0 2 N4.#)90 2 1.414!'&'4%%0?0J
Y1$(#01$-1"(#21"%/*/#7$*#,)"(L∗6 %1$(#'*(#)$%/*(#:1""*:%*$/(#(1"%#,.P"&(()+'*(#;#0)/%&/#,*#N|O I
!¬φ" :⇐⇒ !φ|φ"
!φ∧ψ" :⇐⇒ !(φ|ψ)|(φ|ψ)"
!φ∨ψ" :⇐⇒ !((φ|φ)|(ψ|ψ))"
!φ→ψ" :⇐⇒ !(φ|(ψ|ψ))"
!φ↔ψ" :⇐⇒ !((φ|(ψ|ψ))|((φ|φ)|ψ)) | (ψ|(φ|φ))|((ψ|ψ)|φ)"
T*(#,.P"&%&1"(#0*$-*"%#W%/*#,&%*(#N :1//*:%*( O#,)"(#'*#(*"(#7$4&'#(4)5&%#/.*''*2*"%#,4.7$&-)'*":*(#'13 5&7$*( J :4*(%3;3,&/*#7$*#'*(#91/2$'*(#;#,/1&%*#,$#(&5"*#,*#,.P"&%&1"#1"%#')#2W2*#%)+'*#,*#-./&%.#7$*
:*''*(#,*#5)$:8*6 :*#7$)/)"%&%#'*$/#&"%*/($+(%&%$)+&'&%.#,)"(#%1$(#'*(#:1"%*B%*(#*B%*"(&1""*'(=S
*3C F;)$(2)/G"%9&.%'(
>)#'15&7$*#:')((&7$*#21,*/"*6 %*''*#7$4*''*#*(%#*"(*&5".*#,)"(#:*#:1$/(6 /*01(*#($/#'*(#%/)-)$B#,*T4&7
&9482U.0>*?M`_`RMhQ^@6 2)%8.2)%&:&*"#*%#08&'1(108*#)''*2)",#,*#')#,*$B&<2*#21&%&.#,$#Mh<2*#(&<:'*=
\/*5*#)#1+(*/-.#7$*#'*(#/)&(1""*2*"%(#,*(#2)%8.2)%&:&*"(#,*#(1"#%*20(#.%)&*"%#A &"%$&%&9(C ,)"(#'*
(*"(#1D#&'(#$%&'&()&*"%#,*(#:1""*:%*$/(#j'15&7$*(4#?N ,1": O6 N &'#(4*"($&%#7$* O6 N 0)/#:1"(.7$*"% O#*%:=@ 01$/
2)/7$*/#'*(#,&L./*"%*(#.%)0*(#,*#'*$/(#/)&(1""*2*"%(#()"(#01$/#)$%)"%#W%/*#:)0)+'*(#,4*"#,1""*/#$"*
S= !"#9)&%6 &'#($k%#,*#21"%/*/#')#,.P"&(()+&'&%.#,*#N¬O#*%#,*#N∨O#*"#%*/2*(#,*#N|O= >)#,.P"&(()+&'&%.#,*(#)$%/*(#(4*"($&%#)'1/(
:122*#($&% I
!φ∨ψ" ⇐⇒ !¬(¬φ∧ ¬ψ)"
:⇐⇒ !(((φ|φ)|(ψ|ψ))|((φ|φ)|(ψ|ψ)))|(((φ|φ)|(ψ|ψ))|((φ|φ)|(ψ|ψ)))"
!φ→ψ" ⇐⇒ !¬(φ∧ ¬ψ)"
:⇐⇒ !((φ|(ψ|ψ))|(φ|(ψ|ψ)))|((φ|(ψ|ψ))|(φ|(ψ|ψ)))"
!φ↔ψ" ⇐⇒ !(φ→ψ)∧(ψ→φ)"
:⇐⇒ !( ((φ|(ψ|ψ))|(φ|(ψ|ψ)))|((φ|(ψ|ψ))|(φ|(ψ|ψ)))|
((ψ|(φ|φ))|(ψ|(φ|φ)))|((ψ|(φ|φ))|(ψ|(φ|φ))) ) | ( ((φ|(ψ|ψ))|(φ|(ψ|ψ)))|((φ|(ψ|ψ))|(φ|(ψ|ψ))) |
((ψ|(φ|φ))|(ψ|(φ|φ)))|((ψ|(φ|φ))|(ψ|(φ|φ))) )"
E'#*(%#:')&/#7$*#'*(#.7$&-)'*":*(#"1"3)+/.5.*(#01$/#'4&20'&:)%&1"#*%#'4.7$&-)'*":*#(1"%#0)/9)&%*2*"%#&''&(&+'*(#*%#7$4$"*#'15&7$*#7$&
"410./*/)&%#7$4)-*:#')#+)//*#,*#f8*L*/#(*/)&%#&201((&+'*#;#0/)%&7$*/#?*%#,&k:&'*#;#*"(*&5"*/@= f1"#&201/%)":*#/.(&,*#,)"(#'*#9)&%
7$*#'41"#0$&((*#,.P"&/#')#".5)%&1"#*%#')#:1"G1":%&1"#;#0)/%&/#,*#N|O#R#')#,.P"&(()+&'&%.#,*(#)$%/*(#:1""*:%*$/(#(4*"($&%6 0$&(7$*
%1$(#'*(#)$%/*(#:1""*:%*$/(#(1"%#*$B32W2*(#,.P"&(()+'*(#;#0)/%&/#,*#N¬O#*%#N∧O=
*3C F;)$(2)/G"%9&.%'( =C
G$(%&P:)%&1"#2.%&:$'*$(*= E'(#()$%)&*"%6 01$/#)&"(&#,&/*6 ,*(#.%)0*(= >*#0/1+'<2*#7$*#01(*#:*%%*#2.3
%81,*#,*#/)::1$/:&(6 +&*"#7$4*''*#(1&%#:*/%)&"*2*"%#0/)%&7$*#,)"(#'4*"(*&5"*2*"%#,*(#2)%8.2)%&7$*(
*%#&".-&%)+'*#,)"(#')#-&*#2)%8.2)%&7$*#,*#%1$(#'*(#G1$/(6 *(%#7$4&'#*(%#%/<(#,&k:&'*6 '1/(7$4$"*#0/*$-*
"4)+1$%&%#0)(#1$#7$4$"#/.($'%)%#0)/),1B)'#*(%#1+%*"$6 ,4&,*"%&P*/#'4*",/1&%#*B):%#1D#'*#/)&(1""*2*"%
0/*",#')#2)$-)&(*#/1$%*#*%#1D#'4*//*$/#)#.%.#:122&(*= !"#&"(&(%)"%#($/#'*#9)&%#7$*#'*(#/)&(1""*2*"%(#*"
2)%8.2)%&7$*(#,*-)&*"%#W%/*#()"(#'):$"*(6 %*'(#7$*#:8)7$*#)((*/%&1"#(4*"($&-*#'15&7$*2*"%#,*(#0/.:.3 ,*"%*(6 \/*5*#)#,.-*'100.6 ,)"(#(1"#&,.15/)08&*#?\/*5* M`lh@6_:*#7$&#*(%#)$G1$/,48$&#:1"(&,./.#:122*
')#'15&7$*#:')((&7$*6 0/101(&%&1""*''*#*%#,*(#0/.,&:)%(=
\/*5*#"4.%)&%#0)(#'*#(*$'6 2)&(#'*#0'$(#2.%&:$'*$B6 ,*(#0&1""&*/(#,*(#2)%8.2)%&7$*(#21,*/"*(= >4&%)'&*"
m&$(*00*#H*)"1#?M`^`RMhSQ@#*%#'4)2./&:)&"#T=f= H*&/:*#?M`ShRMhM_@#*"#(1"%#,4)$%/*(=^\/*5*#$%&'&()&%#$"*
"1%)%&1"#+&3,&2*"(&1""*''*#7$&6 +&*"#7$4*''*#)&%#*$#:*/%)&"*(#)-)"%)5*(6 (4*(%#)-./.*#%/10#:120'&7$.*
0)/#')#($&%*= H1$/#$"*#&20'&:)%&1"#2)%./&*''*#Np→qO6 \/*5*#.:/&-)&%6 0)/#*B*20'*6 ')#91/2$'*#($&-)"%* I q
p
>)#91/2$'*#:122*":*#0)/#$"#%/)&%#-*/%&:)'6 )00*'.#N %/)&%#,*#G$5*2*"% O#?A M.&0'9!!&.'6= B@6 7$&#(&5"&P*#7$*
'4&20'&:)%&1"#*(%#"1"#(*$'*2*"%#*"%/*%*"$*#1$#($001(.*6 2)&(#.5)'*2*"%#)k/2.*=a>*#%/)&%#81/&K1"%)' ($&-)"%#*(%#)00*'.#N %/)&%#,*#:1"%*"$ O#?A V%=$9&!!&.'6= B@= E'#&",&7$*#7$*#')#91/2$'*#7$&#($&%#*B0/&2*#$"*
08/)(*#(*"(.*6 ;#()-1&/#$"#:1"%*"$#($(:*0%&+'*#,4W%/*#(1&%#-/)&6 (1&%#9)$B=
e&(#;#0)/%#')#"1%)%&1"#+&3,&2*"(&1""*''*#,*#\/*5*6l&'#F#)#')#"1%)%&1"#A )'5.+/&7$*C ,*#m*1/5*#X11'*#?1D
_= >*#,.-*'100*2*"%#,4$"*#"1%)%&1"#91/2*''*#,*#')#0*"(.*#*(%#$"*#%*"%)%&-*#,*#/.)'&(*/#'4&,.*#,*#>*&+"&K#,4$"*#')"5$*#:)/):3
%./&(%&7$*#$"&-*/(*''*= f$/#(1"#8&(%1&/*6 :9=X)/"*(?QnnQ@=
^= \/*5*#)-)&%6 +&*"#(o/6 ,4)$%/*(#0/.,.:*((*$/(6 "1%)22*"%#'*(#,*$B#2)%8.2)%&:&*"(#)"5')&(6 m*1/5*#X11'*#?M`M^RM`a_@6 '4&"-*"%*$/#,*#'4)'5<+/*#X11'.*""*#*%#[$5$(%*#,*#e1/5)"#?M`naRM`lM@6 7$&#)#.%.#'*#0/*2&*/#;#/*2)/7$*/#7$*#')#'15&7$*#,4[/&(%1%*
.%)&%#&":)0)+'*#,*#G$(%&P*/#'*(#&"9./*":*(#+)(.*(#($/#,*(#0/10/&.%.(#,*#/*')%&1"(#?0)/#*B*20'*#'4&"9./*":*#,*#N f)2#)&2*#e)/&* O
;#N f)2#)&2*#7$*'7$4$" O#*%#;#N e)/&*#*(%#)&2.*#0)/#7$*'7$4$" O@#*%#*"#)#,.-*'100.#$"*#'15&7$*= f4&"(0&/)"%#,$#/)&(1""*2*"%
)'5.+/&7$*6 X11'*#)#:')((&P.#'*(#:1""*:%*$/(#0/101(&%&1""*'(#,4)0/<(#'*$/(#*L*%(#($/#,*(#*"(*2+'*(= T*%%*#N )'5<+/*#,*#')#'15&7$* O 9$%#0*/9*:%&1"".*#0)/#p*-1"(6 q*""6 f:8/r,*/#*%#s8&%*8*),=
a= s&%%5*"(%*&"6 ,)"(#'*O.$6&$&)!6 )#)::$(.#'*#4%/)&%#,*#G$5*2*"%4#,4&"%/1,$&/*#$"#.'.2*"%#.%/)"5*/#)$#91/2)'&(2* I ,4)0/<(
'$&6 ')#'15&7$*#"*#(41::$0*#01&"%#,*#')#7$*(%&1"#,*#()-1&/#(&#(*(#08/)(*(#(1"%#)k/2.*(#1$#"1"= \/*5*#)-)&%#)/5$2*"%.#7$4&'#.%)&%
".:*(()&/*#,*#:1"(&,./*/#%1$%*(#'*(#0/.2&((*(#:122*#)k/2.*(#01$/#,&(%&"5$*/#'*#,&(:1$/(#(:&*"%&P7$*#?7$&#:8*/:8*#;#,.:1$-/&/
,*(#-./&%.(6 F#&":'$%#'*(#-./&%.(#'15&7$*(@#,$#,&(:1$/(#%*"$#($/#(:<"*6s&%%5*"(%*&"?MhQMI t_=__Q@#)#)-)":.#7$*#'*(#):%*$/(6 01$/
:1"-)&":/*#'*$/#0$+'&:6 $%&'&()&*"%#*$B3)$((&#'*#%/)&%#,*#G$5*2*"%=
l= H1$/#$"#*B*20'*#0'$(#:120'&7$.#,*#')#'15&7$*#,*(#0/.,&:)%(#?%8.1/<2*#lM#,*#')W0>.'X!!6=.'Y@ I F(y)
f(x, y) F(x)
b a F(a)
f(b,a) F(b)
F(y) f(x, y)
a F(a)
f(x,a)
U)"(#"1%/*#"1%)%&1"#?9$%$/*@6 :*:&#*(%#.7$&-)'*"%#;#')#91/2$'*(∀a(f(x, a)→F(a))→(f(x, y)→F(y))) → (∀b(F(b)→
∀a(f(b, a)→F(a)))→(F(x)→(f(x, y)→F(y))))
=* *3 +#),-&"./()#0%.,#&%12(
')#".5)%&1"#N¬pO#*(%#*B0/&2.*#0)/#$"*#+)//*#NpO`*%#')#"1%)%&1"#,&%*#N 01'1")&(* O#,*#p)"#u$g)(&*v&:K6 7$�*/2*%#,*#($00/&2*/#%1$%*#01":%$)%&1"#()"(#/&(7$*/#'4.7$&-17$*#?:9= 0)/#*B=u$g)(&*v&:K#*%#c)/(g&
MhSnI SMRSQ@=h[$G1$/,48$"#$%&'&(*#5."./)'*2*"%#$"#:1201(.#,*#')#"1%)%&1"#,*#H*)"1#?7$&#:1"%*")&%
$"#(&20'*#01&"%#N.O#01$/#')#:1"G1":%&1"@#*%#:*''*#,*(#'15&:&*"(#*%#08&'1(108*(#)"5')&(#X*/%/)",#w$((*''
*%#['9/*,#Y1/%8#s8&%*8*),#?7$&#$%&'&()&*"%#N⊃O#01$/#'4&20'&:)%&1"#2)%./&*''*#*%#N≡O#01$/#'4.7$&-)'*":*
2)%./&*''* J ')#x<:8*#N→O#-&*"%#,*#y&'+*/%@=
eW2*#(&#\/*5*#)#.%.#'*#08&'1(108*32)%8.2)%&:&*"#'*#0'$(#&201/%)"%#;#(1/%&/#')#'15&7$*#,$#,152)%&(2*
)/&(%1%.'&:&*"#*%#;#')#'&+./*/#,$#0)/),&52*#(%./&'*#,*#')#(F''15&(%&7$*#7$&#'4)-)&%#,12&".*#0*",)"%#0'$(#,*
,*$B#2&''*#)"(6 (*(#%/)-)$B#"41"%#0)(#.%.#/*:1""$(#,$/)"%#()#-&*= T4*(%#'4z$-/*#-1'$2&"*$(*Z.'%6'1'$
[$&=0#$&'6$,*#w$((*''#*%#s8&%*8*),#?w$((*''#*%#s8&%*8*), MhMn@#7$&%#()#:1"%/&+$%&1"#*"#'$2&</*=
U<(#'*#,.+$%#,$#,.-*'100*2*"%#,4$"*#'15&7$*#:)0)+'*#,*#91/2)'&(*/#'*(#/)&(1""*2*"%(#,*(#2)%8.2)3
%&:&*"(6 *''*#)#.%.#$%&'&(.*#01$/#'4)B&12)%&()%&1"#,*#'4)/&%82.%&7$*#?:9=\/*5*?M``_@#*%U*,*g&",?M```@@=
>*(#,*$B#-1'$2*(#,*(T.)%->0!0&\* ?N '1&(#91",)2*"%)'*(#,*#'4)/&%82.%&7$* O@6\/*5* ?M`hS@#*% \/*5*
?MhnS@@#1"%#):8*-.#:*#%/)-)&'= T*#7$&#"4.%)&%#G$(7$4;#')#P"#,$#Mh<2*#(&<:'*#7$4$"*#.%$,*#,*#:*/%)&"*(#*"3
%&%.(#.'$(&-*(#7$41"#)00*')&%#,*(#N "12+/*( O#*(%#)'1/(#,*-*"$*#$"*#(:&*":*6 91",.*#($/#$"*#+)(*#(1'&,*=
E'#.%)&%#P")'*2*"%#01((&+'*#,*#,1""*/#,*(#/.01"(*(#;#,*(#7$*(%&1"(#)$(([",)2*"%)'*(#7$*#N 7$4*(%3:*
7$4$"#"12+/* { O6 N (1$(#7$*''*(#:1",&%&1"(#NnO#?0= *B= I N Q|Q O@#*%#NmO#?0= *B= I N _ O@#,."1%*"%3&'(#'*
2W2*#"12+/* { O6 N *"#7$*'#(*"(#'*(#"12+/*(#")%$/*'(#91"%3&'(#0)/%&*#,*(#"12+/*(#/)%&1""*'( { O6 *%:=
!"#,./&-)"%#'*(#%8.1/<2*(#2)%8.2)%&7$*(#,4)B&12*(#0$/*2*"%#'15&7$*(6 0)/#,*(#0/*$-*(#7$&#($&-*"%
,*(#/<5'*(#,4&"9./*":*#'15&7$*(6 \/*5*#)-)&%#$"*#21%&-)%&1"#08&'1(108&7$*#,)"(#(1"#0/1G*%#,*#01(*/#'*(
2)%8.2)%&7$*(#($/#$"*#+)(*#'15&7$*= T1"%/*#})"%6 &'#-1$')&%#21"%/*/#7$*#'*(#08/)(*(#2)%8.2)%&7$*(
"4.%)&*"%#0)(#(F"%8.%&7$*( I })"%6 ,)"(#()].'&'()0 2 -0 2 9$ 2 ^$'!4% 2 Z).*?})"% Ml`M Ml`l@6 )k/2)&%#7$*#'*(
2)%8.2)%&:&*"(#,./&-*"%#'*$/(#:1"")&(()":*(#,*#')#:1"(%/$:%&1"#,*#:1":*0%(6 :4*(%3;3,&/*#,*#'4&"%$&%&1"
7$&#'*$/#*(%#,1"".*$21.'4.'6 &",.0*",)22*"%#,*#')#0*/:*0%&1"= T1"%/*#})"%6 \/*5*#2)&"%*")&%#7$*#'*(
2)%8.2)%&7$*(#.%)&*"%#)$((&#)")'F%&7$*(#?*%#)#0/&1/&@#7$*#'*(#'1&(#'15&7$*(#,1"%#&'(#0*$-*"%#W%/*#,./&-.(=
T*%%*#01(&%&1"#*"#08&'1(108&*#,*(#2)%8.2)%&7$*(6 7$&#:1"~1&%#'*(#2)%8.2)%&7$*(#:122*#/.,$:%&+'*(
;#')#'15&7$*6 )#/*~$#'*#"12#,*A 94>'6'!#*O=
T4.%)&%#,)"(#'*#0/*2&*/#-1'$2*#,*(#N '1&(#91",)2*"%)'*(#,*#'4)/&%82.%&7$* O#?\/*5* M`hS@#7$*#X*/%/)", w$((*''#?M`lQRMhln@#)#,.:1$-*/%#:*#7$41"#)00*''*#)$G1$/,48$&#'*#N 0)/),1B*#,*#w$((*'' O= w$((*''6 ,)"(
$"*#'*%%/*#.:/&%*#;#\/*5*#*"#MhnQ6 )#/*2)/7$.#7$*#'*(#)B&12*(#7$*#\/*5*#)-)&%#,1"".#01$/#'4)/&%82.%&7$*
?*"#0)/%&:$'&*/#(1"#9)2*$B#)B&12*#q 7$&#,&%#7$*#%1$%*#:1",&%&1"#?0/.,&:)%@#,.%*/2&"*#$"#*"(*2+'*@
0*/2*%%)&*"%#')#91/2)%&1"#,*#'4*"(*2+'*#,*#%1$(#'*(#*"(*2+'*(#7$&#"*#(*#:1"%&*""*"%#0)(#*$B32W2*(=
E'#*"#,./&-)&%#$"*#:1"%/),&:%&1"6 21"%/)"%#)&"($*#'*(#)B&12*(#,*#\/*5*#"*#01$-)&*"%#0)(#%1$(#W%/*
-/)&(=Mn
•"#*"(*2+'*#%*'#7$*{x|x*(%#$"#"12+/*#")%$/*'}1${x|x*(%#$"*#-):8*#($&((*}"*#(*#:1"%&*"%#0)(
'$&32W2*6 0$&(7$4$"#*"(*2+'*#"4*(%#0)(#$"#"12+/*#"&#$"*#-):8*#($&((*= •"#*"(*2+'*#%*'#7$*{x | x
*(%#$"#*"(*2+'*}6 :*0*",)"%60!I$"#2*2+/*#,*#'$&32W2*= H1$/#,./&-*/#'*#0)/),1B*6 :1"(%/$&(1"(
`= T*%%*#"1%&1"#0*/2*%#$"*#91/2$')%&1"#%/<(#.'.5)"%*#,*(#'1&(#,*#e1/5)"#:122*#A '1&#,4.'&2&")%&1"#,*(#+)//*(#,1$+'*(C I
!(φ∧ψ)" ⇐⇒ !(φ∨ψ)"
!(φ∨ψ)" ⇐⇒ !(φ∧ψ)"
h= U)"(#')#"1%)%&1"#01'1")&(*6 '*(#:1""*:%*$/(#(1"%#/*0/.(*"%.(#0)/#,*(#'*%%/*(#7$�/.:<,*"%#&22.,&)%*2*"%#:*#($/#7$1&
&'(#01/%*"%= >410./)%*$/#0/&":&0)'#*(%#,1":#%1$G1$/(#0'):.#*"#%W%*= f&#NNO#/*0/.(*"%*#')#".5)%&1"6 NAO#')#,&(G1":%&1"6 NKO#') :1"G1":%&1"#*%#NCO#'4&20'&:)%&1"6 N¬p∨qO#,*-&*"%#NAN pqO6 N¬(p∨q)O#,*-&*"%#NN ApqO6 N((p∨q)∧ ¬r)→ ¬(p∨q)O ,*-&*"%#NCKCApqrN rN ApqO#?:*#7$&#(*#A ,.:1201(*C *"#NC(K(C(Apq)r)N r)(N(Apq))O#()"(#$"&-17$*@#*%:=
Mn= Y1$(#/*-&*",/1"(#($/#'*#0)/),1B*#,*#w$((*''#;#')#0=Q^h,$#:8=M^=
*3C F;)$(2)/G"%9&.%'( =E
2)&"%*")"%#'4*"(*2+'*#,*#%1$(#'*(#*"(*2+'*(#7$&#"*#(*#:1"%&*""*"%#0)(#*$B32W2*( I a := {x|x,∈x}
Y1$(#01$-1"(#2)&"%*")"%#91/2$'*/#')#7$*(%&1"#,*#()-1&/#(&a(*#:1"%&*"%#'$&32W2*6 :4*(%3;3,&/*#(&a∈a=
[$:$"*#/.01"(*#:18./*"%*#;#:*%%*#7$*(%&1"#"*#0*$%#W%/*#,1"".* I
H4 f&a(*#:1"%&*"%#'$&32W2*#?a∈a@6 )'1/(a()%&(9)&%#')#:1",&%&1"#7$&#,.P"&%#:*%#*"(*2+'* I )'1/(a
*(%#'4$"#,*(#*"(*2+'*(#7$&#"*#(*#:1"%&*""*"%#0)(#*$B32W2*(#?:4*(%3;3,&/*#7$*a*(%#$"#*"(*2+'*
x%*'#7$*x,∈x@= ['1/(#&'#"*#(*#:1"%&*"%#0)(#'$&32W2*=
H? f&6 ;#'4&"-*/(*6a"*#(*#:1"%&*"%#0)(#'$&32W2*#?a,∈a@6 )'1/(a()%&(9)&%#')#:1",&%&1"#,*#"*#0)(#(*
:1"%*"&/#'$&32W2*#?:4*(%3;3,&/*#7$*a*(%#$"x%*'#7$*x,∈x@ J :122*#:*%%*#:1",&%&1"#,.P"&%
7$*'(#*"(*2+'*(#)00)/%&*""*"%#;a6 )'1/(a(*#:1"%&*"%#'$&32W2*=
Y1$(#1+%*"1"(#)'1/(#$"*#0/*$-*#,*#'4)((*/%&1"#($&-)"%* I a∈a ⇐⇒ a,∈a
a(*#:1"%&*"%#'$&32W2*#(&#?H4@#*%#(*$'*2*"%#(&#?H?@a"*#(*#:1"%&*"%#0)(#'$&32W2*= E'#(4)5&%#,4$"*#:1"%/)3 ,&:%&1"= b"#0*$%#,1":#&"9./*/6 0)/#/.,$:%&1"#;#'4)+($/,*6 7$4)$#21&"(#$"*#,*(#0/.2&((*(#,*(7$*''*(#') :1"%/),&:%&1"#)#.%.#&"9./.*#,1&%#W%/*#9)$((*= T122*#:*(#0/.2&((*(#.%)&*"%#'*(#)B&12*(#,$#(F(%<2*#,*
\/*5*6 ')#:1"%/),&:%&1"#)#21"%/.#7$*#:*(#)B&12*(#"*#01$-)&*"%#0)(#%1$(#W%/*#-/)&(=
\/*5*#)#.%.#)".)"%�)/#:*%%*#,.:1$-*/%*#,*#w$((*'' J &'#)#*(()F.#,*#/*:%&P*/#(1"#(F(%<2*#,)"(#'*#,*$B&<2*
-1'$2*#,*(T.)%->0!0&\*?\/*5* MhnS@#?:*%%*#%*"%)%&-*#)#/*~$#'*#"12#N \/*5*4(#s)F#b$% O@6 2)&(#&'#"4*"
.%)&%#0)(#()%&(9)&%= H)/#')#($&%*6 &'#)#)+)",1"".#(1"#'15&:&(2*#*%#*"#9$%#)€&5.#G$(7$4;#()#21/%=MM f*(
:8)"5*2*"%(#1"%#.%.#)%%*(%.(#&"),.7$)%(#0)/#>*•"&*v(g&#*"#MhS`#?:9=V$&"* Mh^^@=
•"*#:1":'$(&1"#7$41"#%&/)&%#,$#0)/),1B*#,*#w$((*''#.%)&%#7$*#:*/%)&"(#*"(*2+'*(#(1"%#%/10#j5/)",(4#01$/
01$-1&/#)00)/%*"&/#;#,4)$%/*(#*"(*2+'*( I '*(#*"(*2+'*(#"*#0*$-*"%#0)(#%1$(#W%/*#2*2+/*#,4)$%/*(
*"(*2+'*(= >)#%8.1/&*#,*(#*"(*2+'*(6 ,.-*'100.*#;#')#P"#,$#Mh<2*#(&<:'*#0)/#'*#2)%8.2)%&:&*"#m*1/5 T)"%1/#?T)"%1/ M``SI :9= 0)/#*B=@6 )#,o#/*:1"")‚%/*#:*#7$41"#)00*''*#,*(#N :')((*(#0/10/*( O6 :4*(%3;3,&/*
,*(#*"%&%.(#7$&6 :122*#'*(#*"(*2+'*(#1/,&")&/*(6 :1"%&*""*"%#,*(#2*2+/*(6 2)&(#7$&#"*#0*$-*"%#0)(
*$B32W2*(#W%/*#2*2+/*(#,4)$%/*(#*"(*2+'*(= e)&(#:122*"%#'*(#*B:'$/* {
w$((*''#*%#s8&%*8*),6 ,)"(#'*(Z.'%6'1'$2[$&=0#$&'6$6 1"%#,.-*'100.#:*#7$41"#)00*''*#$"*#N %8.1/&*
,*(#%F0*( O= U*#2)"&</*#)")'15$*#;#')#,&(%&":%&1"#*"%/*#')"5)5*31+G*%#*%#2.%)')"5)5*6 &'(#)%%/&+$)&*"%
;#:8)7$*#*B0/*((&1"#:*#7$41"#)00*''*#N $"#%F0* O#,*#')#2)"&</*#($&-)"%* I >*(#:81(*(#7$&#"*#(1"%#0)(
,*(#*"(*2+'*(#(1"%#,$#%F0*#n6 '*(#*"(*2+'*(#7$&#"*#:1"%&*""*"%#7$*#,*(#:81(*(#7$&#"*#(1"%#0)(#,*(
*"(*2+'*(#(1"%#,$#%F0*#M6 '*(#*"(*2+'*(#7$&#"*#:1"%&*""*"%#7$*#,*(#*"%&%.(#,$#%F0*#n#*%#M#(1"%#,$#%F0*
Q#*%:= E'(#(%&0$')&*"%#7$4$"*#*B0/*((&1"#,*#')#91/2*#Nx∈yO#"4*(%#+&*"#91/2.*#7$*#(&#'4*"%&%.#,."1%.*
0)/#NxO#*(%#,4$"#%F0*#&"9./&*$/#)$#%F0*#,*#'4*"%&%.#,."1%.*#0)/#NyO6 *B:'$)"%#)&"(&#'4)$%13/.9./*"%&)'&%.
,)"(#Na∈aO#7$4&'#-1F)&*"%#:122*#(1$/:*#,$#0)/),1B*=
•"#)$%/*#)00/1:8*#:1"(&(%)&%#,)"(#$"*#%8.1/&*#)B&12)%&7$*= >*#2)%8.2)%&:&*"#!/"(%ƒ*/2*'1?Mhn`@
)#91/2$'.#,*(#)B&12*(#01$/#')#%8.1/&*#,*(#*"(*2+'*(6 ,*#2)"&</*#;#:*#7$4&'(#"*#0*/2*%%*"%#0)(#,*
MM= T*/%)&"( # 08&'1(108*( # 1"% # %*"%. # ,* # /.)"&2*/ # '* # '15&:&(2* # )$ # :1$/( # ,* # :*( # -&"5% # ,*/"&</*( # )"".*( # *" # ,.-*'100)"%
'4)/&%82.%&7$*#($/#')#+)(*#,4$"#)B&12*#0'$(#9)&+'*#7$*#'*#9)2*$B#)B&12*#q ,*#\/*5*6 ;#()-1&/#'*#0/&":&0*#,*#y$2*= >*#0/&":&0*
,*#y$2*#,&%#7$*#,*$B#:1":*0%(#,.%*/2&"*"%#'*#2W2*#"12+/*#(&#*%#(*$'*2*"%#(&#'*(#:81(*(#,)"(#'*$/(#*B%*"(&1"(#(*#%/1$-*"%
,)"(#$"*#:1//*(01",)":*#+&G*:%&-* I N :1$%*)$#($/#')#%)+'* O#*%#N 91$/:8*%%*#($/#')#%)+'* O#(1"%#.7$&"$2./&7$*(#?,.%*/2&"*"%#'*
2W2*#"12+/*@#((&= 01$/#%1$%*#91$/:8*%%*6 &'#F#)#$"#:1o%*)$#($/#')#%)+'*6 *%#-&:*#-*/()= >4&"%./W%#08&'1(108&7$*#,*#:*#0/1G*%#01/%*
)'1/(#($/#')#7$*(%&1"#,*#()-1&/#*"#7$*'#(*"(#'*#0/&":&0*#,*#y$2*#2./&%*#,4W%/*#)00*'.#N 0/&":&0*#'15&7$* O#?:9=s/&58% Mh`SJy)'*
*%#s/&58% QnnM@= Y1$(#/*-&*",/1"(#)$#Y.13\/*5.)"&(2*#;#')#0==II=
=J *3 +#),-&"./()#0%.,#&%12(
:1"(%/$&/*#'*#0)/),1B*#,*#w$((*''=MQE'#.%)&%#,1":#01((&+'*#,*#/*20'):*/#')#"1%&1"#&"%$&%&-*#,4*"(*2+'*
?$"*#(1/%*#,*#:1''*:%&1"#,41+G*%(#,)"(#')7$*''*#1"#9)&%#)+(%/):%&1"#,*#%1$%#:*#7$&#'*$/#*(%#0)/%&:$'&*/@#0)/
$"*#,.P"&%&1"#/&51$/*$(* I 1"#)00*''*#N *"(*2+'* O#%1$%#:*#7$&#()%&(9)&%#'*(#)B&12*(#,4$"*#:*/%)&"*#%8.13 /&*Oc6 )00*'.*#N %8.1/&*#,*(#*"(*2+'*( O= >)#"1%&1"#&"%$&%&-*#?*%#A (.2)"%&7$*C@#)#,1":#.%.#/*20'):.*
0)/#$"*#"1%&1"#0$/*2*"%#(%/$:%$/)'&(%*#?A (F"%)B&7$*C@=MSE20/*((&1"".#0)/#\/*5*#*%#0)/#(1"#,.-*'103 0*2*"%#,4$"*#"1%&1"#0$/*2*"%#(F"%)B&7$*#,*#0/*$-*#,1"%#')#:1//*:%&1"#0*$%#W%/*#-./&P.*#2.:)"&3 7$*2*"%6 '*#2)%8.2)%&:&*"#)''*2)",#U)-&,#y&'+*/%#?M`aQRMh_S@#)#91",.#$"*#.:1'*#,*#08&'1(108&*#,*(
2)%8.2)%&7$*(6 )$G1$/,48$&#)00*'.*A N4.#$9'!#* B= >*#91/2)'&(%*#:1"(&,</*#'*(#2)%8.2)%&7$*(#*%#')#'13 5&7$*#:122*#,*(#2)"&</*(#,*#2)"&0$'*/#,*(#(F2+1'*(#*"#($&-)"%#:*/%)&"*(#/<5'*(= >*(#2)%8.2)%&7$*(
7$*#'*(#/.)'&(%*(#0/*""*"%#01$/#$"*#(:&*":*#,4$"*#/.)'&%.#)+(%/)&%*#*%#.%*/"*''*#,41+G*%(#2)%8.2)%&7$*(
(1"%#:1"(&,./.*(#0)/#'*(#91/2)'&(%*(#:122*#$"*#):%&-&%.#'&"5$&(%&7$*=
>*#91/2)'&(2*#9$%#91/%*2*"%#&"x$*":.#0)/#'*#,.-*'100*2*"%#,*#,&L./*"%*(#5.12.%/&*(= })"%#0*"()&%
7$*#')#5.12.%/&*#*$:'&,&*""*#.%)&%#')#(:&*":*#,*#'4*(0):*#*%#7$4*''*#.%)&%#0/.($001(.*#0)/#%1$(#"1(#G$5*3 2*"%(#(0)%&)$B= !"#9)&%6 +*)$:1$0#,*#"1(#G$5*2*"%(#*"#5.12.%/&*#(1"%#+)(.(#($/#')#0*/:*0%&1"6 *%#(*(
)B&12*(#?:122*6 0)/#*B*20'*6 '*#^<2*#)B&12*#,4!$:'&,*#7$&#,&%#7$*#0)/#$"#01&"%a,1"".#*B%./&*$/#;
$"*#,/1&%*d,1"".*6 &'#"*#0)((*#7$4$"*#(*$'*#,/1&%*#0)/)''<'*#;d@#(*2+'*"%#.-&,*"%= H1$/%)"%6 )$#:1$/(
,$#Mh<2*#(&<:'*6 >1+):8*-(gF#"1%)22*"%#)-)&%#/.$((&= ;#:1"(%/$&/*#,*(#5.12.%/&*(#()"(#:*%#)B&12*=
b"#,.:1$-/)&%#7$4*"#,*81/(#,*#')#5.12.%/&*#*$:'&,&*""*6 &'#*B&(%)&%#,4)$%/*(#(F(%<2*(#,4)B&12*(#"1"
.7$&-)'*"%(6 2)&(#7$&#%/)&%)&*"%#.5)'*2*"%#,*#"1%&1"(#5.12.%/&7$*(#:122*#N 01&"% O6 N '&5"* O6 N 0)/)'3 '<'* O#*%:= T122*#:*(#(F(%<2*(#,4)B&12*(#.%)&*"%#.5)'*2*"%#:1"(&(%)"%(6 ')#7$*(%&1"#(*#01()#,*#()-1&/#(&
:*(#,&L./*"%(#(F(%<2*(#.%)&*"%#,*(#%8.1/&*(#/&-)'*(#01/%)"%#($/#'*#2W2*#,12)&"*6 *"#,1"")"%#$"*#,*(3 :/&0%&1"#(1&%#-/)&*#(1&%#9)$((*#,4$"*#/.)'&%.#&",.0*",)"%*#1$#(4&'#(4)5&(()&%#0'$%i%#,*#,&L./*"%(#')"5)5*(
7$&#,.P"&(()&*"%#'*$/(#"1%&1"(#,*#2)"&</*#&20'&:&%*#*%#"*#(*#%/1$-)&*"%#0)(#*"#,.()::1/,= >*(#91/2)3 '&(%*(#1"%#0/&(#')#,*$B&<2*#-1&*#*%#1"%#,.:&,.#,*#:1"(&,./*/#'*(#2)%8.2)%&7$*(#:122*#:1"(%/$:%&1"#,*
(F(%<2*(#91/2*'(#7$&#,.P"&((*"%#*$B32W2*(#'*#,12)&"*#,1"%#&'(#0)/'*"%= y&'+*/%#,.9*",)&%#')#01(&%&1"
(*'1"#')7$*''*#&'#"4*B&(%*#0)(#,*#:1"%*"$#&"%$&%&9#;#N 01&"% O6 N '&5"* O6 N 0)/)''<'* O#*%:= 2&(#;#0)/%#,*(#(&5"&3 P:)%&1"(#7$*#'*(#,.P"&%&1"(#0$/*2*"%#(%/$:%$/)'&(%*(#'*$/#)%%/&+$)&*"%#,)"(#'*#:),/*#,4$"*#5.12.%/&*
)B&12)%&7$*#?:9=y&'+*/% M`hh@=
y&'+*/%#)#91",.#'*(#2.%)2)%8.2)%&7$*(6 $"*#(:&*":*#7$&#$%&'&(*#'*(#1$%&'(#*%#'*(#2.%81,*(#,*#')#'13 5&7$*#*%#,*(#2)%8.2)%&7$*(#1/,&")&/*(#01$/#0)/'*/#,*(#(F(%<2*(#91/2*'(= [$#'&*$#,*#,.-*'100*/#%*''*#*%
%*''*#)B&12)%&()%&1"#,4$"#,12)&"*#2)%8.2)%&7$*#?:122*#')#'15&7$*#0/101(&%&1""*''*6 ,*(#0/.,&:)%(6 '4)/&%82.%&7$*#1$#')#5.12.%/&*@6 '*(#2.%)2)%8.2)%&7$*(#.%$,&*"%#,*#%*''*(#)B&12)%&()%&1"(#*%#*(()F*"%
,4*"#.%)+'&/#,*(#0/10/&.%.(#%*''*(#7$*#')#:1"(&(%)":*6 ')#:120'.%$,*6 ')#,.:&,)+&'&%.#*%:=y&'+*/%#)#91/2$'.
$"#0/15/)22*#,*#A 2.%)32)%8.2)%&()%&1"C ,*(#2)%8.2)%&7$*(#*"#MhQn= T*#N 0/15/)22*#,*#y&'+*/% O
*(()F)&%#,*#21"%/*/#7$*#')#%1%)'&%.#,*(#2)%8.2)%&7$*(#01$-)&%#W%/*#,.,$&%*#,4$"#(F(%<2*#,4)B&12*(#*%
,.21"%/.#W%/*#:1"(&(%)"%=
T*0*",)"%6 :*#0/15/)22*#9$%#8*$/%.#0)/#'4)""1":*#,4$"*#,.:1$-*/%*#8&(%1/&7$*#,$#G*$"*#'15&:&*"#)$3
%/&:8&*"#}$/%#mr,*'#7$&6 *"#MhSM6 )#,.21"%/.#'4&":120'.%$,*#,*#'4)/&%82.%&7$*#?mr,*' MhSM@= mr,*' ,.21"%/)&%#7$*#%1$%#(F(%<2*#91/2*'#:1"(&(%)"%#*%#($(:*0%&+'*#,*#91/2)'&(*/#*"#(1"#(*&"#'4)/&%82.%&7$*
,*(#"12+/*(#*"%&*/(6 *(%#&":120'*%= [$%/*2*"%#,&%6 &'#0*/2*%#')#91/2$')%&1"#,4$"*#91/2$'*#7$&#R#,4)0/<(
MQ= T*(#)B&12*(#(1"%#0/.(*"%.(#;#')#0=Qan=
MS= H1$/#2&*$B#:120/*",/*#'4)00/1:8*#A (%/$:%$/)'&(%*C6 :1"(&,./1"(#'*(#)B&12*(#,*#H*)"1#01$/#'4)/&%82.%&7$*#7$&#(%&0$'*"%
7$*#'*(#"12+/*(#")%$/*'(#:1"(%&%$*"%#$"*#0/15/*((&1" I n#*(%#$"#"12+/*#")%$/*'6 *%#%1$%#"12+/*#($::*((*$/#?N |M O@#,4$"#"12+/*
")%$/*'#*(%#$"#"12+/*#")%$/*'#?:9= 0=Saa@= >*#0/1+'<2*#)-*:#:*(#)B&12*(#*(%#7$*#2&(#;#0)/%#')#(./&*#7$*#"1$(#/*:1"")&((1"(
&"%$&%&-*2*"%#:122*#:*''*#,*(#"12+/*(#")%$/*'(6 ;#()-1&/(0,1,2,3,4, . . .)6 +*)$:1$0#,4)$%/*(#0/15/*((&1"(#'*(#()%&(91"%6 0)/
*B= '*(#"12+/*(#0)&/*((0,2,4,6, . . .)= U)"(#:*#:)(6 $"#(%/$:%$/)'&(%*#,.9*",/)&%#')#01(&%&1"#(*'1"#')7$*''*#"1$(#"4)-1"(#)$:$"*
/)&(1"#,4)%%/&+$*/#'*#"12#,*#N "12+/*(#")%$/*'( O#;#')#0/*2&</*#0/15/*((&1"#()"(#'4)%%/&+$*/#;#')#,*$B&<2*=
*3C F;)$(2)/G"%9&.%'( ==
'*#(F(%<2*#R#*B0/&2*#$"*#08/)(*#-/)&*#2)&(#7$&#"*#0*$%#0)(#W%/*#,.21"%/.*#,)"(#:*#(F(%<2*=M_
!"#'&*"#)-*:#'*#0)/),1B*#,*#w$((*''6 ,4)$%/*(#0/1+'<2*(6 ,*(#0)/),1B*(#(.2)"%&7$*(#%*'(#7$*#'*#0)/),1B*
,$#2*"%*$/6 1"%#.5)'*2*"%#.%.#(1$'*-.( I
?K@ ?K@ *(%#$"*#08/)(*#9)$((*=
?K@ *(%#$"*#08/)(*#7$&#(4)00*''*#N ?K@ O#*%#0)/'*#,1":#,4*''*32W2*= f& ?K@ *(%#-/)&*6 )'1/(#*''*#*(%#:*
7$4*''*#,&%6 )'1/(#*''*#*(%#9)$((*= [ '4&"-*/(*6 (& ?K@ *(%#9)$((*6 )'1/(#*''*#*(%#:*#7$4*''*#,&%6 )'1/(#*''*#-/)&*=
b"#)#,1":#$"*#0/*$-*#,*#')#:1"%/),&:%&1"#($&-)"%* I
?K@ *(%#-/)&* ⇐⇒ ?K@ *(%#9)$((*=
E'#(*2+')&%#,1":#7$4$"#0/.,&:)%#)$(([",)2*"%)'#7$*#N ] *(%#-/)& O#*(%#:1"%/),&:%1&/*= !"#MhSS6 '*
'15&:&*"#*%#2.%)2)%8.2)%&:&*"#['9/*, c)/(g&?MhSS@6 &(($#,*#')#9)2*$(*#.:1'*#01'1")&(*#,*#'15&7$*
?cv)/,1v(g&6 u$g)(&*v&:K6 [,G$g&*v&:K6 }1%)/+&„(g&6 >*•"&*v(g&@6 *(%#0)/-*"$#;#,1""*/#$"*#,.P"&3
%&1"#"1"3:1"%/),&:%1&/*#,*#N ] *(%#-/)& O6 *"#9)&()"%#')#,&(%&":%&1"#*"%/*#')"5)5*31+G*%#*%#2.%)')"5)5*=
T*#9$%#'*#,.+$%#,*#')#(.2)"%&7$*#(F(%.2)%&7$*=M^
b$%/*#'*#'15&:&(2*#,*#\/*5*#*%#'*#91/2)'&(2*#,*#y&'+*/%6 $"*#%/1&(&<2*#%/),&%&1"#*"#08&'1(108&*#,*(#2)3
%8.2)%&7$*(#)#.2*/5.#)$#,.+$%#,$#Qn<2*#(&<:'*6 ;#()-1&/#'4'%&)'&'4%%'!#*,$#'15&:&*"#81'')",)&(#>$%&"*K
!5+*/%$(#p)"#X/1$v*/#?M``MRMhaa@=X/1$v*/?MhM`@#*%#(1"#.%$,&)"%#[/*",%y*F%&"5?Mh^a@#),8./)&*"%
;#$"*#08&'1(108&*#:1"(%/$:%&-&(%*#7$&#/*G*%)&%#'*(#0/*$-*(#"1"3:1"(%/$:%&-*(= •"#*B*20'*#,4$"*#0/*$-*
"1"3:1"(%/$:%&-*#*(%#$"*#0/*$-*#7$&#,.21"%/*#$"*#,&(G1":%&1"!φ∨ψ"()"(#01$/#)$%)"%#21"%/*/#'*7$*' ,*(#,&(G1&"%(#*(%#-/)&=Ma>*(#&"%$&%&1""&(%*(#1"%#.5)'*2*"%#/*G*%.#'*#0/&":&0*#,$#%&*/(#*B:'$= T*#/*G*%#.%)&%
G$(%&P.#0)/#'*$/#&"%*/0/.%)%&1"#,*#')#,&(G1":%&1" I 0/1$-*/#7$*p∨q6 01$/#'*(#&"%$&%&1""&(%*(6 -*$%#,&/*
0/1$-*/#(1&%#7$*p(1&%#7$*qI "1$(#"*#01$-1"(#0)(#0/1$-*/#$"*#,&(G1":%&1"#()"(#0/1$-*/#)$#21&"(#$"
,*(#,&(G1&"%(= E'(#1"%#.5)'*2*"%#,1"".#$"*#&"%*/0/.%)%&1"#,&%*#N 0/1$-)+&'&(%* O#;#')#".5)%&1" J 0/1$-*/
7$*¬p6 :4*(%#0/1$-*/#7$41"#"*#0*$%#0)(#0/1$-*/#7$*p= T4*(%#01$/#:*%%*#/)&(1"#7$4&'(#/*G*%)&*"%#'*#%&*/(
*B:'$ I &'#*B&(%*#,*#"12+/*$B#:)(#,)"(#'*(7$*'(#1"#"4)//&-*#"&#;#0/1$-*/#7$*p"&#;#0/1$-*/#7$*¬p= >4.:1'*
,*(#&"%$&%&1""&(%*(#)#,1":#,.-*'100.#()#0/10/*#'15&7$*#?')#'15&7$*#,&%*#N &"%$&%&1""&(%* O@6 ,)"(#')7$*''*
!φ∨ ¬φ""4*(%#0)(#$"#%8.1/<2*=
[$#:*"%/*#,*#:*%%*#5/)",*#/*")&(()":*#7$*#')#'15&7$*#*%#'*(#2)%8.2)%&7$*(#1"%#:1""$*(#*"%/*#M`lh#*%
MhSM#(*#%/1$-)&*"%#,1":#'*(#"1%&1"(#7$*#'41"#,&(:$%*/)#0)/#')#($&%* I ')#,&(%&":%&1"#*"%/*#')#(F"%)B*#*%#')
M_= Y1$(#/*-&*",/1"(#($/#:*%%*#,.:1$-*/%*#)$#:8)0&%/*M^?0=Qan*%#($&-)"%*(@=
M^= Y1$(#/*%1$/"*/1"(#)$#0)/),1B*#,$#2*"%*$/#;#')#0=Q^h*%#;#')#%8.1/&*#,*#')#-./&%.#,*#c)/(g&#,)"(#'*#:8=M^=M=
Ma= •"*#%*''*#0/*$-*#*(%#:*''*#7$*#'41"#)#,.G;#/*":1"%/.*#,)"(#')#0/*2&</*#'*~1"#?0=MQ@ I L"-.'M,( J3 V92+2$2-0!2%4#8.0!2'..$&'4%%09!2E_2%4%7.$&'4%%09!Ga0Ib&09!2()*ab0!& 2 .$&'4%%09J H…†‡ˆ† T1"(&,./1"(#'*#"12+/*#/.*'c:=√
2
√2
= f1&%c∈Q6 (1&%c,∈Q?'*#0/&":&0*#,$#%&*/(#*B:'$@= U)"(#'*(#,*$B :)(6 &'#F#)#,*(#"12+/*(#&//)%&1""*'(a*%b%*'(#7$*ab*(%#/)%&1""*'=
M= c∈Q= ['1/(a:=√
2*%b:=√
26 :122*√
2*(%#&//)%&1""*'=ab=√ 2
√2
=c*(%6 (1$(#:*%%*#($001(&%&1"6
$"#"12+/*#/)%&1""*'=
Q= c,∈Q= ['1/(a:=c*%b:=√ 2?c*%√
2(1"%#&//)%&1""*'(#(1$(#:*%%*#($001(&%&1"@=ab= (√ 2
√2
)√2 = (√
2)(√2·√2)= (√
2)2= 2*(%#$"#"12+/*#/)%&1""*'=
Y1$(#:1":'$1"(6 0)/#')#/<5'*#,4&"9./*":*#7$41"#)00*''*#N .'&2&")%&1"#,*#')#,&(G1":%&1" O#?:9= 0=MMQ@6 7$*#'4)k/2)%&1"
*(%#0/1$-.*= !
T*%%*#0/*$-*#"*#"1$(#)00/*",#0)(#7$*'(#(1"%#'*(#"12+/*(#&//)%&1""*'(#(0.:&P7$*(a*%b%*'(#7$*ab*(%#/)%&1""*'= !''*#21"%/*
7$4&'#,1&%#F#*"#)-1&/6 ()"(#01$/#)$%)"%#"1$(#*"#91$/"&/#,4*B*20')&/*(#0)/%&:$'&*/(= T4*(%#01$/#:*%%*#/)&(1"3:$4*''*#*(%#)00*'.*
N "1"3:1"(%/$:%&-&(%* O I *''*#"*#"1$(#0*/2*%#0)(#,*#j:1"(%/$&/*4#,*(#"12+/*(#:1":/*%(#7$�/1$-*"%#'4)k/2)%&1"=
=N *3 +#),-&"./()#0%.,#&%12(
(.2)"%&7$*6 '*(#"1%&1"(#0$/*2*"%#(F"%)B&7$*(#,4$"#:)':$'#?$"#(F(%<2*#)B&12)%&7$*@#*%#,4$"*#0/*$-*
?$"#/)&(1""*2*"%#;#'4&"%./&*$/#,4$"#%*'#(F(%<2*@=
*3* !()12G(9&)2;)6#8628
f"#*"%*",#0)/#N '15&7$* O#$"#*"(*2+'*#,*#08/)(*(#:1"(&,./.*(#:122*#-)'&,*(#?0)/#/)001/%#;#:*%%*
'15&7$*@#1$#$"*#/*')%&1"#,*#:1"(.7$*":*#'15&7$*#0)/%&:$'&</*6 $"#:)':$'#*(%#$"#(F(%<2*#91/2*'#7$&$,'47
#$&'!*:*%#*"(*2+'*#,*#08/)(*(#1$#:*%%*#/*')%&1"#,*#:1"(.7$*":*= •"*#%*''*#)B&12)%&()%&1"#:1"(&(%*
*"#')#,&L./*"%&)%&1"#,*#,*$B#%F0*(#,*#08/)(*( I ,4$,'4#0! *%#,*&="4.K#0!R#%*''*(#7$*#'*(#%8.1/<2*(
0*$-*"%#W%/*#,.,$&%(#,*(#)B&12*(= >*(#)B&12*(#91/2*"%#'*#"1F)$#,*#')#91/2)'&()%&1" J %F0&7$*2*"%6 &'(
01(%$'*"%#7$*#')#/*')%&1"#,*#:1"(.7$*":*#)#:*/%)&"*(#0/10/&.%.(#0)/%&:$'&</*(= >*(#%8.1/<2*(#"1$(#0*/3 2*%%*"%#,4.-)'$*/#')#7$)'&%.#,4$"*#)B&12)%&()%&1"#0)/%&:$'&</* J &'(#(1"%#,*(#08/)(*(#,./&-.*(#,$#:)':$'#;
'4)&,*#,*(#/<5'*(#,4&"9./*":*#0*/2&(*(#,)"(#:*#:)':$'=
>*#:)':$'6 '$&#)$((&6 "4*(%#/&*"#,4)$%/*#7$4$"#*"(*2+'*#,*#08/)(*( J :4*(%#$"*#*"%&%.#0$/*2*"%#(F"%)B&7$*6 :122*#$"*#')"5$*6 *%#:122*#$"*#')"5$*#&'#*(%#:1"(%/$&%#;#'4)&,*#,4$"*#,.P"&%&1"#/.:$/(&-*#R#;#')#,&93 9./*":*#7$4&'#"*#(4)5&%#0)(#,4$"*#,.P"&%&1"#,*#N 91/2$'*#+&*"#91/2.* O#?:9= 0=SS@6 2)&(#,4$"*#,.P"&%&1"
,*#N %8.1/<2* O= >*(#)B&12*(#:1//*(01",*"%#)$B#08/)(*(#)%12&7$*(#?Z#')#+)(*#,*#')#/.:$/(&1"@#*%#'*(
%8.1/<2*(#)$B#91/2$'*(#+&*"#91/2.*( I
5-A;%&%.; =?T)':$'@3 M%26$96)920!&2)%20%!0#8902-02N4.#)90!21.414!'&'4%%0?0!2-"&0.#'%"21$.2)%20%!0#89*
-02N4.#)90!21.414!'&'4%%0?0!2()'2!4%&2$1109"0!2A $,'4#0! B20&2-0!2.K>90!2-<'%N".0%60JM% 2 "9"#0%& 2 -0 2 60& 2 0%!0#89*
0!& 2 $1109" 2 A &="4.K#* BJ ]0 2 ()<0!& 2 )% 2 &="4.K#0 2 0!& 2 -"&0.#'%" 2 1$. 2 9$ 2 -"F%'&'4% 2 ."6).!'/0 2 !)'/$%&* @ S O4)& 2 $,'4#0 2 0!& 2 )% 2 &="4.K#0J
S M%0 2 N4.#)90 2 1.414!'&'4%%0?0 2 48&0%)0 2 1$. 2 9<$119'6$&'4% 2 -<)%0 2 .K>90 2 -<'%N".0%60 2 3 2 -0! 2 &="4.K#0! 2 0!& 2 )5
&="4.K#0J
S ^'0% 2 - <$)&.0 2 %<0!& 2 )% 2 &="4.K#0J
b"#0*$%#,&/*#7$4$"#:)':$'#*(%#$"#*"(*2+'*#,*#91/2$'*(#5."./.#0)/#'*(#/<5'*(#,4&"9./*":*#($/#')#+)(*#,*(
)B&12*(=Ml>*(#/<5'*(#,4&"9./*":*#(1"%#,*(#(:8.2)(#,4&"9./*":*(#)F)"%#')#91/2*#($&-)"%* I
?M@ φ, ψ, χ, . . . ξ
>*(#91/2$'*(φ6ψ6χ6 ] (1"%#)00*'.*(#N1."#'!!0!O#,*#')#/<5'*#,4&"9./*":*6 ')#91/2$'*ξA 64%69)!'45 B= [ :*
(%),*6 &'#"4*(%#0)(#/*7$&(#7$*#:*(#/<5'*(#,4&"9./*":*#(1&*"%#-)'&,*(#1$#7$*#:*(#0/.2&((*(#(1&*"%#-/)&*(= E'
"*#(4)5&%#0)(#&:&#,*#"1%&1"(#(.2)"%&7$*(6 2)&(#,4$"*#0$/*#2)"&0$')%&1"#(F"%)B&7$*#,*#(F2+1'*(=M`•"*
/<5'*#,4&"9./*":*#"1$(#0*/2*%#,*#j5."./*/4#,*(#%8.1/<2*(#;#0)/%&/#,*(#)B&12*( I ,&/*#7$* ?M@6 0)/#*B*20'*6
*(%#$"*#/<5'*#,4&"9./*":*#,4$"#:*/%)&"#:)':$'6 *(%#,&/*#7$*#%1$%*#91/2$'*ξ1+%*"$*#*"#/*20')~)"%φ6ψ
*%χ0)/#,*(#%8.1/<2*(#,$#:)':$'#*(%#$"#%8.1/<2*=
H1$/#,&/*#7$4$"*#91/2$'*#0/101(&%&1""*''*φ*(%#$"#%8.1/<2*#,4$"#:)':$'#0)/%&:$'&*/C>6 "1$(#.:/&-1"(
NC>!φO= N!O6 1"#'4)#,&%6 /*0/.(*"%*#')#/*')%&1"#,*-"-)6&'8'9'&:I NC>!φO#-*$%#,&/*#7$*φ0*$%#W%/*
,.,$&%*#,*(#)B&12*(#,$#:)':$'C>R#:4*(%#;#,&/*#7$4&'#F#)#,)"(C>$"*#0/*$-*#,1"%φ*(%#')#:1":'$(&1"=
e)&(#7$4*"%*",1"(3"1$(#0)/#:*%%*#"1%&1"#,*#0/*$-* {
Ml= E'#(4)5&%#;#"1$-*)$#,4$"*#:1",&%&1"#,*#:'i%$/*#,4$"#*"(*2+'*#%*''*#7$*#:*''*#7$*#"1$(#)-1"(#/*":1"%/.#,)"(#')#"=Q;#')#0=lM M`= T*0*",)"%6 01$/#7$*#'*#:)':$'#(1&%64..06I0)/#/)001/%#;#$"*#(.2)"%&7$*#0)/%&:$'&</*6 &'#*(%#/*7$&(#7$*#'*(#)B&12*(#(1&*"%
,*(#%)$%1'15&*(#*%#7$*#'*(#/<5'*(#,4&"9./*":*#(1&*"%#-)'&,*(= Y1$(#/*-&*",/1"(#($/#:*%%*#7$*(%&1"#?,*#')#:1//*:%&1"#,$#:)':$'@#0)/
')#($&%*#?:9= 0)/#*B= 0=MQh@
*3E +#);.&%.;)/()$'(2<( =O
*3E +#);.&%.;)/()$'(2<(
>)#"1%&1"#(F"%)B&7$*#')#0'$(#&201/%)"%*#,*#')#'15&7$*#*(%#:*''*#,*1.0)/*= T*#9$%#*"#:')/&P)"%#')#"1%&1"
,*#0/*$-*#7$*#\/*5*#)#)001/%.#()#:1"%/&+$%&1"#')#0'$(#&201/%)"%*#)$#,.-*'100*2*"%#21,*/"*#,*(
2)%8.2)%&7$*(#*%#,*#')#'15&7$*= •"*#0/*$-*#*(%#$"*#(.7$*":*#,*#91/2$'*(#+&*"#91/2.*(#7$&#()%&(9)&%
7$*'7$*(#:/&%</*(#0$/*2*"%#(F"%)B&7$*(=
•"*#0/*$-*#*(%#/*')%&-*#;#$"#:*/%)&"#:)':$'= •"*#(.7$*":*#,*#91/2$'*(#0/101(&%&1""*''*(#*(%#$"*#0/*$-*
,4$"#:*/%)&"#:)':$'#(&#*''*#"*#:1"(&(%*#7$4*" I (1&%#?&@#,*(#91/2$'*(#7$&#(1"%#,*(#)B&12*(6 (1&%#?&&@#,*(
91/2$'*(#01$-)"%#W%/*#1+%*"$*(#*"#)00'&7$)"%#$"*#/<5'*#,4&"9./*":*#;#,*(#91/2$'*(#7$&#')#0/.:<,*"%
,)"(#')#(.7$*":*= NC>!φO#(&5"&P*#7$4&'#F#)#$"*#0/*$-*6 ,)"(C>6 ,1"%φ*(%#')#:1":'$(&1" I &'#F#)#$"*
(.7$*":*#,*#91/2$'*(#,1"%φ*(%#'*#,*/"&*/#2*2+/*#*%#7$&#"*#:1"%&*"%#7$*#,*(#)B&12*(#,*C>1$#,*(
91/2$'*(#1+%*"$*(#0)/#'*(#/<5'*(#,4&"9./*":*#0/10/*(#;C>=
b"#0*$%#&"9./*/#1$#,.,$&/*#,*(#08/)(*(#"1"#(*$'*2*"%#;#0)/%&/#,4$"#:)':$'6 2)&(#)$((&#;#0)/%&/#,4$"*
%8.1/&*=φ 0*$%#W%/*#&"9./.*#,4$"*#%8.1/&*Oc 0)/#/)001/%#;#$"#:)':$'C> ("#0*$%#:1"(%/$&/*6 *"
)00'&7$)"%#,*(#/<5'*(#,4&"9./*":*#,*C>)$B#2*2+/*(#,*Oc*%#)$B#)B&12*(#,*C>6 $"*#0/*$-*#7$&#)φ :122*#:1":'$(&1"= >)#%8.1/&*#*"#7$*(%&1"#0*$%#)'1/(#W%/*#:1"~$*#:122*#$"#:)':$'#.')/5�)/#,4)$%/*(
)B&12*(= Y1$(#)-1"(#)&"(&#$"*#,.P"&%&1"#41k:&*''*4#,*#0/*$-* I
5-A;%&%.; N?H/*$-*#,)"(C>@3 M%0 2 1.0)/0C -$%! 2 )% 2 6$96)9C>0& 2 3 2 1$.&'. 2 -<)%0 2 &="4.'*OcC 0!& 2 )%*
!"()0%60 2 F%'0 2 -0 2 1=.$!0!-φ1, . . . φn.&0?0 2 ()<4% 2 $C 14).2&4)Ii0%&.*10InE1 ≤i≤nG2()*C>∪Oc∪ {φ1, . . . , φi−1} !φiJ
!%)"%#,1"".#7$*#')#%8.1/&*Oc*"#7$*(%&1"#0*$%#W%/*#-&,*6 :*%%*#,.P"&%&1"#"1$(#91$/"&%#)$((&#')#"1%&1"
,*#0/*$-*#,)"(#$"#:*/%)&"#:)':$'C>=
E'#*(%#&201/%)"%#,*#"1%*/#7$4$"*#0/*$-*#*(%#%1$G1$/(#$"*#(.7$*":*F%'*,*#91/2$'*(= •"*#0/*$-*6 .%)"%
$"*#(.7$*":*#,*#91/2$'*(6 :1"(%&%$*#$"#,&(:1$/(#/.)'&()+'*#*"#0/&":&0*#0)/#$"#'15&:&*"6 2)%8.2)%&:&*"
1$#08&'1(108*#8$2)&"#?,1":#)F)"%#$"*#0./&1,*#,*#-&*#P"&*@= Y1$(#01$-1"(#2)&"%*")"%#,.P"&/#'*#(&5"*
N!O#/*0/.(*"%)"%#')#/*')%&1"#,*#,.,$:%&+&'&%. I
5-A;%&%.; O?U.,$:%&+&'&%.#,)"(C>@3 P'C>0!& 2 )% 2 6$96)9COc)%0 2 &="4.'0 2 0Iφ)%0 2 N4.#)90 2 1.4147
!'&'4%%0?0C %4)!2-"F%'!!4%!2A C>∪ Oc !n φB 2 E()09 2 ()0 2 !4'& 2 90 2 %4#8.0 2 %$&).09n ∈ NG21$.2'%-)6&'45
#$&="#$&'()02!).290!2%4#8.0!2%$&).09! @
S P'φ0!& 2 )% 2 $,'4#0 2 -*C>C $94.!C>∪Oc!nφ14).2&4)In∈NJ S P'φ0!& 2 )% 2 #0#8.0 2 -*OcC $94.!C>∪Oc!n φ14).2&4)In∈NJ
S P'2%4)!2$/4%!C>∪Oc !mi ψiE$/06mi< nG214).2&4)&0!290!21."#'!!0!ψi- <)%0 2 .K>90 2 - <'%N".0%60 2 -*
C>C $94.!C>∪Oc!nφ14).29$264%69)!'45φ-0 2 60&&0 2 .K>90 2 - <'%N".0%60J
>*#"12+/*n,)"(#N!nO#"1$(#&",&7$*#')#'1"5$*$/#,*#')#0/*$-*=Mh NC>∪Oc !n φO#-*$%#,&/*#7$4&'
*B&(%*6 ,)"(C>*%#;#0)/%&/#,*Oc6 $"*#0/*$-*#,*n.%)0*(#,*φ= ?M@#*%#?Q@#,)"(#')#,.P"&%&1" ?h@ (&5"&P*"%
7$4;#"4&201/%*#7$*''*#.%)0*6 1"#0*$%#:1"(&,./*/#'*(#)B&12*(#*%#'*(#08/)(*(#,*#')#%8.1/&*#:122*#0/1$-.(
?&'(#1"%#$"*#0/*$-*#A ,*#'1"5$*$/#nC@= ?S@#"1$(#0*/2*%#,*#0/1$-*/#$"*#08/)(*#7$&#(4*"($&%#0)/#$"*#/<5'*
,4&"9./*":*#,*#08/)(*(#0/1$-.*(#;#,*(#.%)0*(#)"%./&*$/*(= Y1$(#.:/&-1"(#NC>∪Oc!φO#01$/#,&/*#7$4&' F#)#$"n∈N%*'#7$*C>∪Oc!nφ?7$4&'#F#)#$"*#0/*$-*#,4$"*#:*/%)&"*#'1"5$*$/@=
Mh= E'#"*#(4)5&%#0)(#%1$G1$/(#,*#')#'1"5$*$/#2&"&2)'* I (&#"1$(#)-1"(C>∪Oc .2 p6 0)/#*B*20'*6 "1$(#)$/&1"(#.5)'*2*"%
C>∪Oc.3p6C>∪Oc.4 p*%:= T*%%*#:)/):%./&(%&7$*#:1//*(01",#)$#9)&%#7$*#"1$(#01$-1"(#%1$G1$/(#0/1'1"5*/#,*(#0/*$-*(
*"#/)G1$%)"%#,*(#.%)0*(#($0*/x$*(#?0)/#*B*20'*#,*(#,./&-)%&1"(#,*#Np→pO@= Y1$(#"4)$/&1"(#0)(6 0)/#:1"%/*6C>∪Oc.1p(&
Oc={NpO6 Np→qO}R#0)/:*#7$*#,)"(#:*#:)(3:&#')#0'$(#:1$/%*#0/*$-*#01((&+'*#?0)/#4-)!214%0%!@#)$/)#,*$B#.%)0*(=
N> *3 +#),-&"./()#0%.,#&%12(
q1&:&#$"#*B*20'* I ')#(.7$*":*#,*(#%/1&(#08/)(*(-Np→qO#6 NpO#6 NqO.*(%#$"*#0/*$-*#/*')%&-*#;#$"*
%8.1/&*Oc={Np→qO6 NpO}*%#$"#:)':$'C>7$&#/*:1"")‚%#4-)!214%0%!:122*#/<5'*#,4&"9./*":* I C>∪ {Np→qO, NpO} !0p→q
C>∪ {Np→qO, NpO} !1p C>∪ {Np→qO, NpO} !2q
U)"(#'*(#,*$B#0/*2&</*(#'&5"*(6 "1$(#)00'&7$1"(#'*(#:1",&%&1"(#?M@6 ?Q@#*%#')#,.P"&%&1" ?h@ I Np→qO#*%
NpO#(1"%#'*(#,*$B#2*2+/*(#,*Oc*%#"1$(#01$-1"(#,1":#'*(#0/1$-*/#A 5/)%$&%*2*"%#C= U)"(#')#%/1&(&<2*
'&5"*6 "1$(#/.)'&(1"(#')#:1",&%&1"#?S@ I ')#/<5'*#4-)!214%0%!6 )00'&7$.*#)$B#,*$B#0/*2&</*(#'&5"*(6 "1$(
0*/2*%#,4&"9./*/#NqO=
b"#)#$%&'&(.#,)"(#')#,.P"&%&1"#,*#NC>∪Oc!n φO#$"*#0/1:.,$/*#,*#0/*$-*#%/<(#:122$"*#*"#2.%)3 2)%8.2)%&7$*(#?1$#2.%)'15&7$*@6 ;#()-1&/#$"* 1.0)/0 2 1$. 2 '%-)6&'4% 2 E#$&="#$&'()0G= •"*#0/*$-*#0)/
&",$:%&1"#*B0'1&%*#'*#9)&%#7$*#'*(#"12+/*(#")%$/*'(N91/2*"%#$"*#0/15/*((&1" I 1"#0/1$-*6 0)/#&",$:3
%&1"6 7$*#%1$%#"12+/*n∈N)#$"*#:*/%)&"*#0/10/&.%.F*"#21"%/)"%#7$*#'*#"12+/*#n#)#:*%%*#0/10/&.%.
*%#7$*6 (&#$"#"12+/*n'4)6 )'1/(#(1"#($::*((*$/n+ 1'4)#)$((&#b"#)#,1":#21"%/.#0)/#'*(#,*$B#0/*2&</*(
:1",&%&1"(#7$*C>∪Oc!0 φ(&φ*(%#$"#)B&12*#1$#$"#2*2+/*#,*Oc*%#7$*#("#)C>∪Oc!n ψi
01$/#%1$%*(#'*(#0/.2&((*(ψi,4$"*#&"9./*":*#-)'&,*6 1"#)C>∪Oc!n+1φ01$/#()#:1":'$(&1"φ=Qn b"#-1&%#7$*#'*(#"1%&1"(#,*#N :)':$' O6 N )B&12* O6 N %8.1/<2* O#*%#N 0/*$-* O#(1"%#,*(#"1%&1"(#0$/*2*"%
(F"%)B&7$*( I *''*(#(4)00'&7$*"%#;#,*(#91/2$'*(#0/101(&%&1""*''*(#$"&7$*2*"%#*"#-*/%$#,*#'*$/(#91/2*(
*%#&",.0*",)22*"%#,*#'*$/(#(&5"&P:)%&1"(#1$#-)'*$/(#,*#-./&%.=
*3J F;)6#8628)$.2')8#)8.@%12()$'.$.9%&%.;;(88(
Y1$(#)''1"(#2)&"%*")"%#:1"(&,./*/#$"*#)B&12)%&()%&1"#0)/%&:$'&</*#,*#')#'15&7$*#0/101(&%&1""*''*=
T*%%*#)B&12)%&()%&1"#:1"(&(%*#*"#$"*#&"P"&%.#,4)B&12*(#R#8*$/*$(*2*"%6 +*)$:1$0#,*#:*(#)B&12*(
(1"%#,*#')#2W2*#91/2*= T4*(%#01$/7$1&#"1$(#,1""1"(#'*(#)B&12*(#:122*!6="#$!6 :*#7$&#-*$%#,&/*
7$*#%1$%*(#'*(#91/2$'*(#0/101(&%&1""*''*(#,*L)F)"%#')#2W2*#91/2*#7$*#'*(#91/2$'*(#7$41"#."$2</*
,)"(#')#($&%*#(1"%#,*(#)B&12*(#,*#"1%/*#:)':$'C>=
5-A;%&%.; 4>?C>@3 ;0 2 6$96)9C>$264##02$,'4#0!2&4)&0!290!2N4.#)90!2-*L()' 2 4%& 2 9$ 2 N4.#0 2 -<)% 2 -0!
!6="#$!2!)'/$%&! @
Qn= Y1$(#/*":1"%/*/1"(#*":1/*#7$*'7$*(#0/*$-*(#0)/#&",$:%&1"#2)%8.2)%&7$* I *''*(#1"%#%1$%*(#*"#:122$"#7$4*''*#0/1$-*"%
M= 7$4$"#:*/%)&"#:)/):%./&(%&7$*#*(%#01((.,.#0)/#$"#,*(#2*2+/*(#,*#')#0/15/*((&1"#?:*%%*#.%)0*#,*#')#0/*$-*#*(%#)00*'.*
N +)(*#,*#'4&",$:%&1" O@ J
Q= 7$*#'*#:)/):%./&(%&7$*#*"#7$*(%&1"#*(%#A 8./&%.C 0)/#'*(#2*2+/*(#($::*((&9(#,)"(#')#0/15/*((&1" I (&#'*n3&<2*#2*2+/*
'*#01((<,*6 )'1/(#'*(n+ 1)3&<2*#'*#01((<,*#)$((&#?:*#7$&#*(%#)00*'.#'*#N 0)(#,*#'4&",$:%&1" O@= U)"(#:*%%*#0/*$-*6 "1$(
($001(1"(#7$*#')#:1":'$(&1"#-1$'$*#*(%#-/)&*#,*n?N 8F01%8<(*#,*#'4&",$:%&1" O@#*%#')#0/1$-1"(#01$/n+ 1=
