diff --git a/logic/notes.pdf b/logic/notes.pdf
index c344e92..418963c 100644
--- a/logic/notes.pdf
+++ b/logic/notes.pdf
@@ -5591,17 +5591,25 @@ endobj
 
 406 0 obj
 <<
-  /Length 2210
+  /Length 2194
   /Filter /FlateDecode
 >>
 stream
-xœÅ\M�Ç
½Ï¯hÇA!1Uü&Ã@$ûà
-hoq–	"!‘õÿTïHû!nW[[Ó¾¨·G;µ¯_‘¯È*²Ÿ¾üïÏï–o¿=-ËÓÏü~i§ï¾[ž}ÿüô¿.miË7¸xƒ0CY\ÒÃdyýöôôu[^ÿrjË/¯ß�ž]�ÚrõþôôM[Ð@—«77ßï—«·§üñ§ÖÚO�ðúÚèúŠ~¾×;Ÿ¿:ÿöõÝûó?ùçrõ×ÓW§¿Ÿ~xñüôôþàæ°€j˜n<àëþÏïÏÐíYÎðÚùó!L*`"7 Ý8éAœy¶'ËÕ¿70p…ALpW�‰õúæÎÝÍ”¯÷|Ÿ¼~=3ÚVcY-Ãör+Ås‘#° Ú$n}À­VB€Ü‘/Êí'žîÙæùó·�ë6Õ«‡}rÁÇV=_ƒ$§´ÅAŠl
-Åãí×ì¡F1Ã«‚(t�´H“I,Œ,-+Á3�ž‚àÍàïcµd$C¶°9Þ�Tš��u„ñ4`©è˜`î“<bd�Xz7¤<È)±R_TÇY>1´ÈJ|Ñ�3}È#•Bb0pLÑp¢’HLN•£d+•$D`eÏc<£Ibáu9>D!¨J’„T?Ä3¨RJ2v‹C´š*™$W0š„`ìTé$…�1f•Lr@ÅI29r
-ªd’I�XRªd’…“�‰_¨#5Á��ŽqŠJ!ÙÂfAØá•F²„eOq®4’Ó€#&-X#·àJ#Äñ(…âJ%…Ä}–B
w*•QÖƒ9®DRŒ T'ÅÔ#×äJ$Å°Í‚°Ã*‘” @D9J©¹ÒIÉ„fyL¶ÍeºM
Py–B�ç¢’Ie\“ÍƒTR*•T	0�CS*�T3htT†%´µÕkÞÀÙŒó­^áÍ½Þ=@d-#¦Êœ\\I|‚±Å”9¹) SLA0Rr)rgš„ Qa(óñhàš�3@|5BPi(fg÷×CL¡LÆQ!PrŽ5ŽÅCËdœšM14-ÓqF�†9Å&7BP¦ã�M‚1-³q3`Rä£Ì¡>3PŸblõ¡B"ÍY(¾!(�uÒA3çäØÊt5>d¡Ð2'ò�ð‘NY$Z·EÐ»œ(X­�.ÞÃ…Gègý#¥4
-�`ÚF®`¥2j6�AÂ(Ý±R=³Å”Y A(e1¬eš.oŠåec@$¤Cf¡Ü $L�å£œÓJMdj-m†QÔh¥$j_™rŠ$õò„†rÒt„‘ x¹5é–:ÉG¢è¥(’�Fx.†¸nÎ]4RòRûÓ·~¤8ÃpqðR•Ýûâðx£ÁKaì ¸zäãŒtÉë`Ñ¡¥L¡`¼:x-2(öÅák,•±°¬±ÒóPG‹BÙ×‡l±FÎyŒÅ9JqT�†1ÇF,D¥�ld“Œõ9hS—t­ÿ³ËzDð¦2MÀ0,Š“-ešAÂP™B·”é˜y°Me:b|S™& úd©�¬`>	ÁŸ,“i7P•ŽAû¡j»ðQE–u$pxLÁ02†,å[?Õîæ8ÂÈ’6�’
8ù’æ˜¥4öŠaG¤E›@Zÿéb1YJ£
-ˆ´˜`ÇR�¥6Zö”:§€%õiÕ_¡ú,†eÓuä(ÐxÕçh¨#ÇFýDj
#yÌ:xT ~€;	Ä°Lµ•á£PfNA1Êî±ÕŽ‚°¯Õò("†uìí¡=GBl6ÃX°ÕûŽýo3Í1®žní<:šê$*†5ýíÁíG¶ðÃ¸°‡ŽD´g4s¸	¶:œLpÒITìŠR3{‹#ä¤e@©ž½–\¬A´þÓ%^ÊxÒ9¦@Ø¡eÛ
yG/�›‚bìeß
%aÎ™�:QvÞp0N£Ã¨(kÊ©�ªÍ¢b(eóÍPPˆF…mÛ&8·;©oZæ{,3¶-sŠÓ‘[©Ÿ �­%œQöß|ªäèYX/öøòzÁ?Ÿg…Ë’ÁsÏ-ßëÓý¼ ðóo-÷Ú¦?~õúþÉ4Ø„z«Ùúî^¯þÇþO
ÝvçÿßÝþÖ¹€’ÖÞâ?Ýÿ›½%”X6.ÝÌ�!˜ë¦�æn ž¹¡»,Ÿ1ÿá:µ»ø/ï?üëÍÏ¯?,Ï^Ü«¬3ð†¾¶´°ëMhòüå©-/Ÿÿí$Ë‹Sÿí·§¶ôª'M]þsz9™zki“ŒÌ Îó‡îtÐ51™A8¡-í×�ÝSè¦7ÍõÇ¦Î�5»ÄÐ}OÕ¾€’ÏÝ¥Šžm‘ô.Aó7º°î±#9Ûìãì8À²É®×W6bÂcx(wÛ¤—§ê"†Í¯e�]ßñÓ¤°9“1NÝÊ>;Šš!ÇÌE<…4äYF9�ë>»ÆÐß2Ç"v„éu£�ÆaþY¶ÚõÚ*s':Ê0Ëf»õ”ª÷²a˜e«÷scË6Å7v¼;¢L]€”8Ž¡¡LÃUÙŽòÏ²ÙŽ5îFÙ=õVðëËwÙäC§È½ðò ±ÉD¯L¿°|Š÷C¹IÄ;˜(î"ûÙòZáá²Y[2~™ûÃéÞšF}uMØGÈkr7	Ûân.óê·Ì‡É^Ù](¨�)({èž°6•Ý…B½�l×œ?VË¾Aá„ÈH›AÃpQ(û^Íà`—ï=Ô��½vâˆy¨»¯¢×áO±Æá¢T6J
-¤÷Ô{ÊLŒA”ëAßY6Zˆ[Gsé˜±î4iá“PŒ�²nì¯]C™bh•uïàúÞµ¦2…‡¡<”ÝƒŒœÇ°ÀÔ¸EôÚ969tŒ²{�Y€÷NÅ8F¡; þ¨Œ=
+xœÅ\M�Ç
½Ï¯hÇA!1Å¯"«Ã@$û�
+`hoqÖ$ˆ„DÖÿGP»#í‡8Í–‡Ó¾h0»;­×¯_‘Õä<ýßŸß-ß~{X–ç¯^þõûß}·¼øþåáZpÁåZ¡›‘.Þ:ï¦ËõÛÃók\®9àòËõ»Ã‹«.WïÏop!ƒ¶\ÝÜ~¾\½=üã�?!âOÈt÷Š|÷J~|ßýüÍñ¯ïÞ½?¾“gÿ\®þvøáêðãá‡W/ÏŸÞ­Þ€(´Ö­­Ü%7ðõüç÷Gèv„¬Gxxüy
+“˜$¼'ŸÄù‘g{¶\ý{ƒD”Á”Š¸šLÜ¾Þ<zw¿ä·ïå)yóõÈ(ÞŠåV¶•[
î‹�@”ÈŠ¸õ„Ûaè
+ìNrQn?ñôD›ÇŸx\©¾�°O!˜qlÑý5dž÷‡CuÕ(Î×¯‡ë,0:ª—`x“ è‚ÑM¼±�)m„Z—¢•¸IP´iˆ  Š¶ï2´ªGë¬h]Š<�]¡)©W`ÈäHrB�ÆÚkHÈb’tUŽR5¶U5V°@’aˆí‘ Ñ�¾Xséga@Ê0„öh�µ{	†\
¡AúíÂ\�!
‰Ð¡™5«a!3ý‘:`o½D
YLpd�"
K‚Ì ™×#BLÎÜ*Ó�`Y‰
+¹Âô´# êŒ‰YPph‘H@ìMŠxÈ¼�m=*
+@¤aáëaQ!�‹Ð!ÕÉL#‚!h—Ý*x¬gO Ò¸\OŸ
+@dq!´š?í²¥ �	V-Ez0ù¤°@ëÝ¸Dšæ‘J€ØG�²Ð”¶š­`¾´Öëì
+¹Öëìi\®×Ùû¬DœH �¢…ÈRq5,0dQ©´•,¤µ•òÚ	o›±A«©ì>¼*«'¼p&T-O‘ƒ’:xã¶gÈÕ(Yrî2×È=É”k c!2OêÞF§_e"ï¤ÑAÆÌl÷�A˜]RƒN:M£`RÓharÉ
+hUR)´0»Erü] ¬ÁµÃ@í¼‡Z\€·™Îì"…øñ�Bó*¹âÇCƒ¸dsø:æ•Ã¡�Q¢Å\
+aíM
�QöØZ?‘M±o@gFcl‹dS†¬ÐýœT*ûÿ-¶DWŸùÁÙæýCh‰Ê 4f‰u6†,,>–ì@èÚ*HÈj-ÑÐÀ^²
+¬„øD²�á˜yÒå¥ŸG
+1ñ.«F²�VY…i§N#qX†,U´ÐÛÜ•F‰%Í&„CXf›A«��‚‡5¶;ØhEá˜™¢‡¦È6Ë|‹'7¾h–ä¡1J‡†M­Dº=xè�M€ÜMJ@dY‚‡Þhópe„Ì›<Nph
	ùáq¾(Ðˆû^’ý
DgÆ´ËRÄ9£ƒòPßG�¡AÊ(d!wéºdÓ™2é!ã¡‡G‘ÆÀV!·êÎëåxÛæwÙ¸è²nQ Ò>8]µ¨
+R‹êmÕ¢öY
+[·¨=–Â×-ªBš¡KJó*B3,¯Ý 5� TçAø…õ0Â»�î½C&‡Ú$!¨ÓTd„LƒW“Ì›É%„)Ý‰x‘AÀ:Û/ö0f„ÙT±WØ°i�Ð mÌ*{”€Èêüf‘ÝÀ¨y
i¿tœF* L�Þƒ†8‹D0žÏ¥jhÈüqÄydž½ÚE ÒUI5à1F	Š¬à'ŒÏ '_dÈí#Ûv¯ã©cH&B+Á�ûa|ÉÐ»p
ˆ¼sOF:YkET¤­üxòDR¬ûn\Ä-’
°I«’Ef„qF9À¹Q±Á(BÏT—¹ƒï¤q—$��9Ó%ê€}\C8jÃ&à$½ÂŸˆ‡m¼ƒô6M»Eñ¸ÍÜ0hÔ¬ÆŸ'n;˜ãÝ¨›%y–YVEEj'æn0wm»QaëÚäHLí¢Aê«Ê,€°E™}]™(6,ÇX«ýdNJ£ËáÎß|êdGpv:£cðÏÇE‘°ið8k+Oæs?o)üüSË“qé�½{ÿìWþ~X…ú`ÈúîÉŒþÇÙýOƒÜöè÷ï~êØBÉ·3Åzxýo¶6QR8¸t¿tê0š¯Š8[;¸‡zä†³|Äü‡»Êî	à¿¼ÿð¯›Ÿ¯?,/^=i°3p$_˜;X»W×Ë×\^¿üûA—W‡ùÇo¸Ì¨6ÚòŸÃëìÂLl¶]W_XF‡æÒ{ù•'ü‘Z¿0#Cw&[ðË.�½Ï3÷úkSWèÊ÷Ãú•×6žé£}ù¥?•0B:ê�è1Aõg\�×±{>‚
O(¯daÚ‡‡xpd>;­•‘Ž½†Óuó°¯
îV³yÕØÍYÇ6ºî³ñèˆ@C’*Q¦¹q8`7�æw€Ô(bC†NØÍ‰Kn}·øgìf§•¹3ï%ÌxÊn>¢ê¼�YÆ3vóÑ±
,‰�
_Ö�®À�¥ïCCX5vjMl¯øŒÇìP€q~Oõñ8øònàM¢<õd‚döaî…¢¯saþ(cù Þ§Æ:çCØÀC8m7Ü†’Ì_²Ÿù
Nâ§k½Ûê«;Â>b¾­AW`k—x\È¼ù-ËÅ´ÒG•Œ¡¤›ø.Ø�ÂáÂùˆZ‰mÛªŸëˆáà Ê€>ú°"Ò�!œTC�KXØ€ÑÖ N0fóÄ.Km:ËÁÙ›_#Éto
+'u(ŸxÍbä(Â]a~ä@žGžÀíâ¹c<Ih
»¡ÈuÏº�’–€HuO��Ø´„‡Ô"ÂaB!…ÑeìÃ‚œètë}>£­Ñdá8¡ˆ‚l]Š<WáG þ�ä;†
 endstream
 endobj
 
@@ -5648,8 +5656,8 @@ endobj
 409 0 obj
 <<
   /Creator (Typst 0.14.1)
-  /ModDate (D:20251211091111+03'00)
-  /CreationDate (D:20251211091111+03'00)
+  /ModDate (D:20251211091233+03'00)
+  /CreationDate (D:20251211091233+03'00)
 >>
 endobj
 
@@ -5660,7 +5668,7 @@ endobj
   /Subtype /XML
 >>
 stream
-<?xpacket begin="ï»¿" id="W5M0MpCehiHzreSzNTczkc9d"?><x:xmpmeta xmlns:x="adobe:ns:meta/" x:xmptk="xmp-writer"><rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><rdf:Description rdf:about="" xmlns:dc="http://purl.org/dc/elements/1.1/"  xmlns:xmp="http://ns.adobe.com/xap/1.0/"  xmlns:xmpMM="http://ns.adobe.com/xap/1.0/mm/"  xmlns:xmpTPg="http://ns.adobe.com/xap/1.0/t/pg/"  xmlns:pdf="http://ns.adobe.com/pdf/1.3/" ><xmp:CreatorTool>Typst 0.14.1</xmp:CreatorTool><dc:language><rdf:Bag><rdf:li>en</rdf:li></rdf:Bag></dc:language><xmp:ModifyDate>2025-12-11T09:11:11+03:00</xmp:ModifyDate><xmp:CreateDate>2025-12-11T09:11:11+03:00</xmp:CreateDate><xmpTPg:NPages>6</xmpTPg:NPages><dc:format>application/pdf</dc:format><xmpMM:InstanceID>vFtJfSJ8wf0e8uQsDPKIfg==</xmpMM:InstanceID><xmpMM:DocumentID>vFtJfSJ8wf0e8uQsDPKIfg==</xmpMM:DocumentID><xmpMM:RenditionClass>proof</xmpMM:RenditionClass><pdf:PDFVersion>1.7</pdf:PDFVersion></rdf:Description></rdf:RDF></x:xmpmeta><?xpacket end="r"?>
+<?xpacket begin="ï»¿" id="W5M0MpCehiHzreSzNTczkc9d"?><x:xmpmeta xmlns:x="adobe:ns:meta/" x:xmptk="xmp-writer"><rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><rdf:Description rdf:about="" xmlns:dc="http://purl.org/dc/elements/1.1/"  xmlns:xmp="http://ns.adobe.com/xap/1.0/"  xmlns:xmpMM="http://ns.adobe.com/xap/1.0/mm/"  xmlns:xmpTPg="http://ns.adobe.com/xap/1.0/t/pg/"  xmlns:pdf="http://ns.adobe.com/pdf/1.3/" ><xmp:CreatorTool>Typst 0.14.1</xmp:CreatorTool><dc:language><rdf:Bag><rdf:li>en</rdf:li></rdf:Bag></dc:language><xmp:ModifyDate>2025-12-11T09:12:33+03:00</xmp:ModifyDate><xmp:CreateDate>2025-12-11T09:12:33+03:00</xmp:CreateDate><xmpTPg:NPages>6</xmpTPg:NPages><dc:format>application/pdf</dc:format><xmpMM:InstanceID>y/uukyzt9H543frmJ5zYIQ==</xmpMM:InstanceID><xmpMM:DocumentID>y/uukyzt9H543frmJ5zYIQ==</xmpMM:DocumentID><xmpMM:RenditionClass>proof</xmpMM:RenditionClass><pdf:PDFVersion>1.7</pdf:PDFVersion></rdf:Description></rdf:RDF></x:xmpmeta><?xpacket end="r"?>
 endstream
 endobj
 
@@ -6091,18 +6099,18 @@ xref
 0000088133 00000 n
 0000090958 00000 n
 0000091268 00000 n
-0000093558 00000 n
-0000093850 00000 n
-0000095510 00000 n
-0000095637 00000 n
-0000096723 00000 n
+0000093542 00000 n
+0000093834 00000 n
+0000095494 00000 n
+0000095621 00000 n
+0000096707 00000 n
 trailer
 <<
   /Size 412
   /Root 411 0 R
   /Info 409 0 R
-  /ID [(vFtJfSJ8wf0e8uQsDPKIfg==) (vFtJfSJ8wf0e8uQsDPKIfg==)]
+  /ID [(y/uukyzt9H543frmJ5zYIQ==) (y/uukyzt9H543frmJ5zYIQ==)]
 >>
 startxref
-96960
+96944
 %%EOF
\ No newline at end of file
diff --git a/logic/notes.typ b/logic/notes.typ
index 67c0b86..bd4cf26 100644
--- a/logic/notes.typ
+++ b/logic/notes.typ
@@ -184,11 +184,11 @@ $
 ÐŸÑƒÑ�Ñ‚ÑŒ $A$ - Ð»Ð¾Ð¶ÑŒ (0), $B$ - Ð¸Ñ�Ñ‚Ð¸Ð½Ð° (1).
 
 $
-A arrow B eq 1 
-B arrow A eq 0 
-not A arrow B eq 1  
-not B arrow A eq 1 
-not B arrow not A eq 1  
+A arrow B eq 1  \
+B arrow A eq 0  \
+not A arrow B eq 1 \  
+not B arrow A eq 1 \
+not B arrow not A eq 1 \  
 not A arrow not B eq 0
 $
 
