From cb347134e5c4a3c74ee9513b39d39f3a0262f0ef Mon Sep 17 00:00:00 2001 From: fYmious Date: Thu, 11 Dec 2025 09:12:37 +0300 Subject: [PATCH] upd --- logic/notes.pdf | 44 ++++++++++++++++++++++++++------------------ logic/notes.typ | 10 +++++----- 2 files changed, 31 insertions(+), 23 deletions(-) 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 ϯhA!1U&@$ -hoq "!TH!nW[[ӾG;_*o=-~i[}.mi7x0CY\dyu[^rj/ߝ]rM[@77O~;:?rW~xjn< Y!L*`"78Ay'տ70pALpW͔|~=3VcY-r+s# $n}VBܑ/'6ի}rV=_$Al - F1ë(tHI,,-+3cd$C9ލTu4``1J|3}#Bb0pLpHLNd+$D`ec<Ibu9>D!JT?3RJ2vC*$W0`T$1f Lr@I29r -dIXRd_ #5qJ!fAFeOq 4Ӏ#&-X#J#(J%}B w*Qփ9DR T'#J$͂* @D9JIɄfyLeM PyB碒Ie\̓TR*T 0CS*T3htT%kٌ^ͽ=@d-#ʜ\\I|Ŕ9)SLA0Rr)rgQa(h3@|5BPi(fgCLLQ!Pr5CdM14-qF9&7BPM1-q3`R̡>3PblB"Y(!(uA3t5>d2'NY $ZE(X.ÅGg# 4 -` F`2j6A(ݱR=ŔY A(e1e.oec@$Cfܠ$L JMdj-mQh$j_r$r t x5:G(Fx.n]4RRӷ~8pqRx Ka zt`ѡL`:x-2(k,PGBׇlFy9JqT1F,Dld9hStzD2M0,-eAPByMe:b|S& d`> ,i7PAjQEu$pxL02,[?86 8春4aGE@Zb1YJ -`R6Z:%i_,eu(xh#FDj #y:xT~; İLPfNA1("u=GBl6Xo31n<:$*5GøDg4s :LpITR3{#e@\A%^x9@ءe yG/be %aΙ:Qvp 0Nè(kʩ͢b(ePPFm&8 ;oZ{,3-sӑ[%Q|YX/z?g˒s-o-ڦ?~4؄z ^O vֹ?%X6.̝!n,1:/?ϯ?,^ܫ3Mh-/$ˋS'M]sz9zki t51A8-׍S7Ǧ΍5}Oվݥ m.A7#98ɮW6bcx(wۤ"ͯe]Ӥ91N>;!E<4YF9 >2"vuaY*s':0faesc67v;L]8LUَϲَ5F=VwCȽ DL|C I ;("ZY[2~ޚF}uMGkr7 n.^]()({螰6݅Blל?V˾AHApQ(^`=ԁvyOT6J -{LAAY6Z[Gs阱4iPn]Cbhu޵2<݃ǰԸE969t{YN8F; = +x\M ϯhA!1ů"@$ +`hoq $DGP#8͖Ӿh0;ׯ_<ߟ-~{X^}ZpZ.: k\9Ë.Wop!\~\=?!Ot|J~|޽?g\vW/ϟހ(֭%7GvGxxy +$'g{\{DLܾ*'p&T-O:xg(Yr2=k c!2OF _e"AlA]RN:M`Rhar +hUR)0Er] @Z\"B* Cds:áQ\ +aM QZ?Mo@gFcldST*-DW Chʠ4fu6,,>@*Hj -^ +DyG +1.FV YiN#qX,UܕF%& CXfA5;hEᘙ6|'7h1JMD=xMMJ@dYhpe̛8] +RmբY +[=-BKJ*B3,ݠ5 TA0C&$!TdLW̛%)݉xA:/0fTWذi m*{fy itF*Lރ8D0ϥjhqydE U I51F ' '_d# vcH&B+a|лp sOF:YkETxDRn\- IEfqF9Q(BTq$9%}\C8j&$m6ME0hԬ'n; ݨ%yYVEEj'n0wmQaHLA,E}](6,XdNJ|dGpv:cEi8k+Os?o)S˓q{W ~X`ɌO~Bɷ3zxo6QR8tt08[;z| ࿼𯛟?,/^=i3p$_;XW\^AWo6Ll]W_XF{' Z0#Cw&[.3kSW6}?0B:1Ag\ױ{> O(daڇxpd>;u VyY6@C*Qq8`7w(bCN͉Kn} gf3%xn>꼏Y3vѱ , _֍CCX5vjMlPq~O8nMbAW`kx\ȼ-Ŵ G .؝Zm۪ʀ>"ҍ!TCKX֠N0f.Km :ٛ_#to +'u( xb(]a~@Gcd8l]> endobj @@ -5660,7 +5668,7 @@ endobj /Subtype /XML >> stream -Typst 0.14.1en2025-12-11T09:11:11+03:002025-12-11T09:11:11+03:006application/pdfvFtJfSJ8wf0e8uQsDPKIfg==vFtJfSJ8wf0e8uQsDPKIfg==proof1.7 +Typst 0.14.1en2025-12-11T09:12:33+03:002025-12-11T09:12:33+03:006application/pdfy/uukyzt9H543frmJ5zYIQ==y/uukyzt9H543frmJ5zYIQ==proof1.7 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 $