Пайсон Б.Д. Математическая логика

JO

I,Inr,rlrn r:.roeirl,ru, )eo

cm,eeu,tr,oti

rc

$op*tyne

I 6gdent,

$op","r,g-

./t,o,,

n,on'y\eHH,aa 'ua

q

no"xl1oli sa'rutex,od onepaUuL "'tiouztottxt4ua"

u

"

dtnatonxqtt a" x,a deottcm,eennrle c

corpoHetlu,e , npetrcuezo nopa}-

r:o. dr:il,crna'utt. flpn r:rorr rcHo,

.ITo

ABoilcrBeHHoii

x

$opruy.ne

a*

flB.Irrorcr <}lopr'rv,na

qr

To ecrb

(lt")-

:

g.

B

aanlnet"tnterl

B\Iecro

(a*)*

6y4err uucatr z**.

flpnnaep 4,! Qopu,gna et urdee,Dt. txtd: A

A

(B

V e AD). Tozda

q-:AV

B^AVD.

l,Irter:r

rrec'ro o6o6ulenne ::]aKorroB

Ae

Moprarra

(7)

n (8);

l'eopeua 4.L Ilycrnu

lt(Al, A2, . ..,.{,,) rltoTtt r,y"n

a, codeptr:uugaa.

6 rtt,0'L|Locln,1!,

6Ce 6w,cKa3blaant,c..LbtttJiir.

nepe^L4eltnot e Ay, A2, . . .

,

A,,.

t

,,,di

;(4. A2*, aJ =

?r-(Ar,.4, . .

,A;)

j{r,riiu:arc.nsmno

nltoBeAct'r

tluAyxunoil no locrpoenrrK)

$oplry.n

(l

V(l('Totrl O1'(:VTCTBI.IS B

IIIIX UIIIIJ'IIIKaqLIU.

l.

flla

o.nelrcurtrpHlrx

$o1rl,rv.'r

yrBep]KAeHrro

cnpaBellJrrrBo no

n. I"

onpe.4encuua

4.1

2. flycrr yrBepN(Acrruc

(:nlraBe.AirrrRo

4na

rlopr'ry,r

z1 u 12. flo-

xl)*icr\r

cro

(:npaRe.JlJ,'TrlBocrb

4.na

droltrry.n

z1Ae2,

atVq2 n

ql.

2.1

)

t(-41.,.1r, . ., A,,)

:

ql(4r,.42,

. . .,,1,,)

na2(,.{1, Az,. . ., A").

,,'"

I

|

.

L-

-

l,

J

=

u

r

l.,l

r.

{; . . .

[l

^

ar{.1

r. &-

-

4,,-)

:

=

"ti."t@-

flo rpe4no.noxeHuro

rln.:lvKl1llrr

rri\reeu lrl

(41,

-42,

. . .,

-4")

=

qi(4,

E, ,I;)

n

'lr@;A-r;-

AJ

=

qi({,,1r,.

.,;;)

flo:ryvaerr,

-rro

r(-.{1.,42,...,.4")

=

ui({,4,

,;1=")

v ari(4,6,...,A;).

fltx:.nt

rrxa tfoprrry.na

ecTb He

qTo

'rHoe

xaK

,{-(4,,4,

,4)

2.2)

q(.Ar,

Az, .. .,4,,)

:

2(1(.{1,,42, . ..,

-4,,)va2(,.41,

Az,

,.4")

j]oxa:retre;u,<:reo

aua.norrr.rno

n. 2.1).

).:i)

'l(

11..{2.....

A,,)

:

;i1i.Ir-

-4,).

Tor,ra

r(.11.

A2,. ..,4,,)

:

z;(A1,A2,....-,1,)

=

qi(4,-

,.. ,A;)

(no

fl]x'.lnoJ'roNieurno

urrllt/Krlnrt

n reopelre 4.

I

),

21

ll,,'rrpcne.renrrroa.r.

e,;(4.

Ar-I;)

=

(!,'(4.

i;-.--{,;

)'.

Il,x.;r1,,1gxr

<fopr,ly-aa ecrb

et-(4,4,

. . .

,4)

N[r,r

pacclrorpeln Bce Bo3Mo]K]rbIe

cryr{ar locrpoe]Ivt

Oop\ty-

.lt,t ?l n coorBercrBr{u

c oul)eAe;Ienuelr

2.1

(c. l2); no Bcex

cJry.Iasx

rrrn

cl)ccyrcqee Hac

yrBep)KAeHLIe BepHo. C,re4oearc.nr,xo,

oHo BeP-

trr

;1nr

,lr:6oit

(roprnry.nu,

I{

TeopoMa

AoKi)3iIHa.

tr

llIrrrrriqcrrrr0t'.:(ol(ilrl

tcitt,c'lRo

rII)(i.'le!il,ttilr'lc'r'cofioii

ttrlrtrxl

,;tol(;llill(:jtlnilll{'

rrttllytt4ru

tt ttt noHIIpI)(ruLlo

(rlxr1;rry:rr'r). fJlrt r'rrrxo6

ytlrrlullilrt(rl llo(.,1('

()tll\L

1'.

rlrrurt 2.1.

'I'rxrpeuil

4.1 no3so,lset

B

ptAe

cryalaeB

yrlpocrurb upeo6lltulo-

rnrrne

<fopt'ty:r.

llpnrr.rep

4.2 l[ocmpournr

ompltllaHu

e rfoytuynut

(.-lvB)

^c^(DvA).

Pt,lrtenlte.

O6or;rraqtnr

ncxo4tryto

tfoprty;ry t(,4,

B, C,

D). flo

reopcrrc

4.1,

:nl,E,e

,4

=

a-

(A,B,e

,D).

lloc:r.4run

$opr'ry.ta

nN{eer

BIrA

'l

n B v d v

D

AA

(c yqeroM 3aKOIri]

ABoihloro

orpnlaxux

(13)).

9ro n ecrl

tpe6yelrr,rii

pe3y.[brar,

KoroPbIIl

6r'r"l

nolyueu

roplt^:-

,r1o

6r,tcrpee,.rell

rlpu rocileAoBirreJrbHolu

npurtetlerrr'tl{

3i][KorroB

Ac

Mopraua.

Teoperra

4,2

(sarou

ABofic.rBeHHocru)

Ecnu

t

=

t,

tno 2t'

=

8'

.

;II,o

x a:: arel actno.

flycrs t

:

s(Ar,

. . .

,

A,,); B:ls(Ar,

...,4")

|Io

ycrronnro,

q(Ar,.

. .,,4,,)

:

cB(Ar,

. ..

,

A,,),

'rorAa

Lr

q(4,

...,T)

= r8(4,...,-4)

(cnr.:ane.ranue 3.3);

ro reope\{e 3.1,

z({,...,-4)

= rB(4,

,4)

T

^7

ffo rcopeue 4.1

uuecu: s(4,

. .

,4)

=

s-(

T

22

,,-(4..

.fr)

=

r'14i..

,[,,):to

ecro

z*(.4r, . . .,

A'")

=

r'(A1,.

. .

,

A,,).

tr

.{orasan

3aKorr

ABoiicrBeHnocrr{r

tr{o)KHo, roo6nle ronopl,

:ano-

IIIIHaTL TOpa3AO

IIeHbIIIe 3aKOHOB JIO|I,IKI,T:

AJIff

TeX CJ'ryqaeB,

KOrAa

e

$opr,ly,rax

Her r{rrrrJlrrKarlrru,

.{ocfarorrno

3arrouur.rrr,

o/'IHy

pzrB-

HocrIJ'IbIIocrb

rr aBTorlarlrqecKII 3aorrcarlr

B c,ryqae ueo6xo4nltocrra

paBHocllJ'Ir,Hocrb

7'lBofi

crBeHHbrx

rpoprrl

l.

{

5 Hoprnransnr,re rf opr'rlr r[roplry.a

arrrr:6plr

Br,rcKas],rBaHuir

I{e.xr, aroro naparpa$a

-

ollrcarrr

ABa

crraHAaprrr,rx

BriAa. K

Koropbrr{ nprmo.{trrcq.nrcl6an

d;oplry,ra

a"nre6psr BbrcKagHBaI

rrl.

llpe4napNre.lruo nprrAercr

p;rccrrorpert

AoBo-'rbno

o6urnpnrrfi

ruaTepIIaJt.

Onpe4e,renue

5.1 Qop.uy.ny aa,ze6pu a bLcc,aa

uaaHuti 6ydeu naaw-

so,rnb

pe?A.napHo1i,

eclllt s smoti

$oTsatyte

Hern ui4nJntnaUuli,

a ont-

pIl,UAHUfl,,

eC"'LU OtlU ecfnbr OIn?tOCAmCfl,

mOJXbKO K Sr.Lell,etTmApHUM

$opaayna",ut

(eu,cxasu,eam,enuuu,.u,

nepe*ten nutu,

).

Z: onptyoreurrx cJreAyer,

qro

l)eryr.xpnar{

$oplryla

ruoxe'r

Bo-

o6ure xe

rrrue.Tr, orpr,tqaulrfi. B

uacrnocrt,

rro6aq

gr'rcxagblsatcrt-

Ha s

fi epcNcH

Has

rra.rser(-r peryr

spuoft

Qopnry,rof,

.

flprrnaep 5.L QopuyLta AAB

-,

C AD u

paenocu,trnaa

e

$op",,,ty-

no, A nB

v

C n D

lr"e.

alJlanmca

pezlJnapHbLJ\,tu,

nmK Ko,tt nepaaa

co-

deptcu,m u,vrLtlunollrilo1 a ao 6'mopo iL 3r1aK ompu.4aH.ua

omlncurnca

n nod(topu,yne A A B, a rre K Jne^rctTnlupnun

tfopttynau,. Ilpodo",t-

ucua npeo6pasoeanuflr nong\u,M.

,ltop"uyay

AvEv

C AD, xornoparl

y

tr

e

6y dern

?

ez!1nfl

,ptloli.

Teopeua 5.L

Bcarcyn

$op*ryny

anze6'put aucKa3brnaHuti hrotx:t7o

c

notl ot

4bm,paallocuJl'b11bLl:

npeo6pas

o

eanuti npltaecmu

K

pezE'xaImo-

r'vIA

auoy.

'

-

'

I\"'*".'

.I"l'"'r',1!

Mv.nofi.jrannoro

nl{la- B,-l:rjrrnrcil|lrc\r lror ropM'tn

6\'icr rrcno.rrjosarr,cr

6cr

cncnn;rrr,rrrrx

2i

/

(ox:r:are.nr'crno.

llpore,4er..r

r{HAyKrlrro

no nocrpoeHllro

rf opt'Iy.nr'l:

l Bcsxas

::nelreutapuaa <foprry,ra

ulteer

PeryJrt{pnblfI

DuA,

K:rK

yx(o oTtrerrzlJlocb.

2. flycr,

$oprry;rrr

q

x

ls npIrBeAeI{bI,

(ioorBercrBellno,

K

l)erv-

,ntplty

BI.IAJ

ql

u

'9l-

floxaxer'l,.ITo

d)opl\Iyn'I

q,

qn

A,qV9S,

qt

-+

E

TaKxe nPIlBoAJ{Tct

K

PeryrtlpHoiily

BIrAy.

2.1)

Ilycrs

$oprrynsr

lt u u

I

coAepx{ar

Bt'IcKaBbIBi}TeJIbIIbIe

ne-

l)crreHnL,re

At, Az,

. ..

,

4,,. llo npeArroiro)KeHl{ro

lr]r,I{yrllrtrrl

44!4!...4i=

\(Ar,A2,...,A");

no

reopcr'rarr

3.1

rr 4.1,

a(A1,

A2,.

. ., 4,,)

=

qr(Ar,

42,..

., A")

=

il.i(At,

42,. .

.,

4,,)

flocne,gnrra

$oprnry.na,

KaK

JrerKo BIrAerb,

tBJlterct

peryJrtpuoil

(r'to>xer

6nnr,,

c

yqeTorl

3tlKoHa

ABoIiHoto

otpnqanlrx).

2.2) flo

npe4no.no)Kerll{Io,

N(A1, A2,.

. ., A")

=

e(r(41,

42, . . .

.

-4,,)

v t(A1,

A2,.

.

,

A")

= let(Ar, Az,.

. .

,1,,).

Toraa no

reoptrtrtc

3.1

noJlyqurr:

,z(A1,

A2,

,-4")

A

rB(A1, A2,

. . .,

-4,,)

=

qt(At,

Az, ..,.4',) A a1(Al,

A2,..., A,,)

u

'l'(At,

A2,..

.,

A") V a(Al,.42,.

,

-4',)

=

a1(A1,

A2,. . ., A,,) V

rsr(/r, A2..

. .

,

A,,).

Tax xax o

npeAno,rroxenulo

Hn.4yKLuIr

lrl tt t3l -

peryJrtplrble

dloprrry.nr,l,

To) or{eBrrAHo,

ltl A Bt

r{ lrl V ,Br

-

T;rK)Ke

peryJrtpllbtc

$opr'ryru.

2.3) Tax KaK

q

-+

t9

=

!t V

9s, To

AoxirJil.Te.rrl>(:Teo

g.nl

dloPrtlt-

Jrr,r !r

-+

,8

cBoArrrcr

K rrPI{rueHc}IlIIo

nn. 1) u 2).

tr4u4yxrgrl 3aBep

reHa, rr reoperla

AoKa3aHa.

tr

Oupege.'rexrre

5.2 ?teuenmalulloll

KoHamHffilrcd utt^Jueo'ern,ca

t*'t-

cva3alarne&buo,ta

nepe.MeHHa&, nt'6o

ee ompuqanue,

nu6o

$opny

na,

u erculatl

eu) rconanxnquu,

rcaucdw&

^r,xeH

Kornopotr

sbLcKuS bt,G.r'

fneJl'llHaa nepemelltlAfl

'LIJLU ee OnLpuUdHUe.

z+

Onpe2le.nenue

5.3

i)"neLv,etnn,ultnoti

dulxton't;quctl Hal?,Laaemca

abl-

(:

^:o,u

bt,ou'nt,e/Lb?1u^fl, rt,epeu,eHlldJt

,

,.Lu,6o ee oTnyu,?1uttut:, ,,nt6o

$op*tE",t"a,

rlM,c'rcutjo,;L

au,d duaatont;:t4uu,

x,a:ttcdu,fi

\tr,IeH

Kom,opol't

-

B,blarie"3bLla,

tt l,a.ttriH.As7'lt,epe.Mct

t,TLA..fl,

IIJIU ee OntpuqLlt u,e.

Irl:r orlrcllc;renuri

5.1,

5.2

tr

5.3

cle.4ye'r,

rrro

rro6ar :lJ're\rcrrraprraq

Kon'blonKtlfi x

tr rlo6at 3.llelrer{Tirpnirr

IIr3.brcHKIl,ut

r{rucror

pery-

.irr[)rir,IrI

RH,{.

flpnrr.rep

5.2 Qo\',u

q.aa

A.

T.

AABAC'AD. Xr

AX2A.Y3A{

.

).4.(.M,C| t,f

n,ol)|{,'br, ta k,o116to11,xj,qu,l

t

:

,fiult.u

u.rtr,t

A,

-T,

AVitVCVD,

\V-\2v.\iv-E

rrrelrc|trl,o,ptlbLc

I

Jt t,,

.6k)H,'lt:

lllLl!,

:

ln4t.rt|tt.tr,r,r,

-{vBve

vD.

-Yr

A trl v.\3 vTt

xe aarLaTonlc,fl

H.u

).,t.t,\t,t)ttln.UI)tt,rtl,.M,l!,

^:On6lOTIhiu,lln.MU,

17lL ll,eM'eH,nlLptnrU,tt,tt,

]UaAtOntt-

Olrpt'.4e,reHlre

5.4 Kot t

atott,r:rnl!,uHo ti

n o'p"M,a,,Lbu,on rfio.p.uo,n (

K

H

tD

)

lxiTt,uu,itt't,

et

t1e3r,!.6aef

rLcfl

@op.ny.na,

I,aBTloc?t,,Lt,t7aa

q

u u.M,eter4atL

ot t.t )

h ot{.61 01 t h:?l,u,\

t, ::t.r,e A4,eHm.(rpt

t,rlr

0t

t

t xtou rcqu .

Olpe-Ae,'Iellue

5.5

llt,:txrortnm,uoxoi,

n,op.na,,n,t

n ti

$op"r'toil

(!H@)

rfiqtny.at,t,

at

Lre3r't(]o"ern.cfl

tfop"M,yLt,Q,, pasHoclrltl,bT]on

\ u,lllte?out1oa

rt

t

)

dtt:tr,xn,nL\ttu,:)./l.e.M,etLIn.o[),t1,b1|L,liotLz,lo,tl\4u?'|

flparaep

5.3 llpueecrmt,,n

KHID u x

lHQ

$opa41,,t

y

Ave.-B^(rlvD).

Pr: rl c n l.rr: .

l.

flprreelcrr

$oprrvny

K

1xrfyirfipHorry

Brr.qy:

JrrC -+

B^(AvD)

=.4',/c

vB^(_.lvD)

=

A^CvB^(AvD).

?.

j{.al

npunc4enrrn

x KH(D n

nocre4Heit

$oprryle

pa(:Kpoelr

< rio6rilr

cor.lircno

2-rlr*

;lncrpn6yrl{BHotr)'

3z}KorJy (6), yc:rortro

cvn-

Til r{ KOH'l'IOHKIIIIIO

CJIoXieIIUeII,

it

/IU3.bIOItKrlUIO

ylrnrOXeHUel,t.

!.nR

ri5.nr:rqelltg

rlalr,ucfiuefi

pra6otr,r

no:resno

3alrucarb

llcKoropoe

B('rrotrIofirre.tlI)IIO(]

BLII)iDKetIIre.3:lnreHr.IB

n rfoplry.ire

JTorlIqecKue

25

r,|l('Pitllt{u

Itx aJ'rre6pafi

qecxrrrllr

aHalroraNu,

Ho corpaHua

maxoli

,ttr'.r'

n\padorc

ded.cmeu

,

x,aK a ca 40

$op.t't'yt'e(l).

flony.rr: 'r:

(A+c).(B+A.D).

i)'r'o

nr,rpaxenne

J'IerKo rlpeo6pa3oBarb

rlo xoPolxo

IBBecTHbIM

rIPa-

I Jtiu\r.

B urore urueeru KH@:

(Av B)

^

(cv

B)

^

(Av AvD)^

(CvAvD).

t{

ro6or

npusectu HCxoAHyIo

Oopt\{yJry

K

AHQ,

flpeo6pa3yeNl

rro-

.,ty'lonHblft B fl.1

peryJ'ItPHbIii eu4,

pacxpun cKo6Kn

no l-r'ly

Auc-

1l)lr6yrfiBHoruy

3aKorry

(5).3gecs

y;Ne

c.nox<cHIlel\l

c'r

racrct

Au3'b-

t(,t|t(uHg,

a

yrftIo)Kerrltel\I KoH'bIoIrKIIUq.

T:rX

rXe, xax B npeAbl.qyqerl

(

.lfyrlirc, 3aIIIlleII BCIIOITIO|aTCJII'IIOe

BbIpill|t{eltfiC

C Conpmlellue.M

nO'

pt r;a

defr,crnau

'B

6op"t4!J,,LLL

(!):

A C

+

B

(A+D)

lltr.rrv.inu.II.H@:

A

AC V

B A

-4V

B

AD.

D

Paccuorpennlril

npl{rrep noKa3blBaer

a,'Lzopumrl

I

npnnegeuua

rlxrJrrry:ru x KH@ n

.{H@.

Stot

trJlroprrrlt

cocrI,IT

B c

rreAvlo

IeI\t:

l. llcxoguax

$oprrry,ra

lplrBoAlrrcs

K

pefyJrspnouy BxAy.

2.

Pacxpr,rntrnrcq cKo6K[

c rrplrrIeIteHI{e\I:

AJIS

KHO

-

2-ro

4ncrpu6yruBrlofo

3aKorla

(c.noxernre

-

xoHl-

roHKIIllt,

yIUHO)KeHI{e

-

AII3'bIOIrKrIn'I);

AJrs

AHO

-

1-ro

4ucrpu6yrrlBHoto

3aKoIIa

(c,ro>xenne

-

4lr:s-

IOHKTIT{g,

yrrHo}(e}rHc Korl'brcHKl{rs).

V IIo;rcrtrro

:]i!ur)vrrrn,

(:ilci\]

rorucc Irpl.rrra,Io:

(hr.L:Ttutqua

c,4o)tceltllrr

orqndctautna uo

tlu:nrttut'ro

tloltuul

B

r:tluou.tcirc, rr trprtrtcpc 5.3 lllr/(lro.

'iI'lorrpx

trpurn!(cttutt

r

l(H<D

"<:.;loxr:ttlt-

cu"

c'rarat'Lcn Kortr,toltxr{xtr

(coor'trc'tt-rtrottttt, "l

rttttt>ticttnctt"

i(rrir,rorttttura):

rpu

lpHlc,r(ctrttr t<.llH(D, rrito6oyxn,

"c;torticttlrrrrt"

c'rh1?Lctct

,{n:r'r,torrr<rllrl

(co-

oflrctclRcnr()j "vurrox<ctrrtcrf'

-

xorlr,rorrr<ttra).

A

Ovenr4no,

qro

olruca}lfltlil

aJlroptjT\t l{o)KHo

rI})IrI\IeHIrrb

K,'I1o-

6oit

$opr'ry.ne.

Orcro4a

c;tegyer,

qro

Jlrc6yn

OopI\IyJry

irrlre6Pbl

Br,r-

cKa3brBaHr.rfi r\rolKrro lprrBecr]r

x KHID

u x

7]H@.

Buecre

c

reu, npn

r'lcpuau

"a-rroprlru"

npnMcrirorct

I; 31oM KolrroKclc

vc"rot,rlo

26

l)a3Honr

nopflaKe

BbrrroJrrrcHrlr nJXlo6pitiJoBaHl{ir

rrof yT

oJyrrfi Tbcq

pa:lJrr{t{Hbre

KH(D

n

pasnn-rnrre

.il,H{D IaHHoit

(boprry,'rr,r.

Koneq-

Ho. Bce KHO,{;r}rrroii

(boprt}'Jrbr

paBHocr{Jrr,Hbr

rrex<4y

co6oit n sce

,IH@ aauHolt

clroprrylr,t

r:r,K;'t<e

paRHocr{.n},r

,r

rrc)K.4_v co6ofi.

$

6

llpnlrenerrne

Hoprra,.rbrrbrx

d)oprr

Hoprra.nlnlre

<foprrlr <foplly.lr nllrpoxo

flpurre]rrrcrca n

rure6pe

Br,IcKa3trBaHr.Ifi

Il HeKoropblx ee npu./ro)KeHxgx-

Pacclroltpltr,r

4r:e

uarr6o.nee

Ba)KHLre B

grorl

cr{brc.rre :rarxil,t{u.

I. Pacno3HaeaHne roxiJecrBerr

oii ficruxHoclu

r,r rotr(AecrBerr-

roii,'ro)Kflocrn

(ouno;ruurrocru)

<boprry.n.

B

$

2 orltcva.nocb,

rrro

cocrilBlrellne

ra6.nuq ncrrrxllocru

He Bce-

r,la fl B.rrrerct

rau6o.ilcc

paql{oHa.nbnbr\r

cnoco6olt peureHrrrr

yxa-

3aHriori 3aAarru. Pacclrorpulr

gpyrori

cnoco6, cBr{3aHHrJl"r

c nl)rrtre-

uenuelr

KH@ u

{HO.

3.ror cnoco6 o<:nor:xl

Hir cJreAyrournx

reopc-

I\taX:

Teoperura 6.1 Sn e"tt err,mapt taa,

du;amt tx4ua rrroucdecmeeut

t o uc-

rn.utt?to, rn,ozdo u m,onbKo

nroz)u,, r;oedo,

orn codepucu,m

rotn,a 6u

odn71

au,cr;oauaamtlLlrtLyto n,epehrcrnLl1?o

a ,ecnLe co caio?ti4

ofn,p uL!)e,-

71,ILe.M,.

.{oxasa.re.ilr,<::rno.

1,.

flocmo,rn,ouu,otiTnr).

flycrb l].[elrer]Tirprras

/1ll3.bR)]rKrIHr

coj(lp-

T{IIT BblCKill rIBilTe.[bHyIO rlel)er\rerrryto

-1

tt ce

rrTPr

IilIrIte

-4.

flplr-

trr(:lrff11

:JaKonbr

Ko}\lIIyTirTrIBHocTrr 11

?tccouIIilTI{Br{ocTIr,

/'IilIIHyIo

:J.tre-

NrclrrapHyro

21rr3'r,ronKrrl

o NroxHo npr{Becrrr

K BuAy (-4

v

I) v

l;

.,refKo

yBrr1erl,

rrro

rJ'ril

(boprry.ira

roNi4ccrBerrHo

Lrcrrrrrrra.

tr

2. Heo6roduwoczln,. Tpe6yercx

AoKa3arb:

ecJrll

aJ'rerrerrraprr?lt

ALI3'bIOHKIIIIt

TO)KAeCIBeHHO II(:TLIIIII:I,

TO OHa COAepXIIT

XOT;{ 6bt

oAHy BL'IcKa3blB?ITe.IIbHyIo nepel\Iellllylo

BIueCTe co

CBOUII oTpI{Ua-

nuer'r.

.{orcaxeu

KoHTpalro3r.rquoHrroe

yTBLrpxAeH

e (paBHocn,'rr,Hoe

I:)HIIOT\Iy

IIO l]axOH) xOtrrllanO::UqUU.

)

lly<:1r,

sfleMegTaprrar

,{u3BIonKIIIrt

He coAepN(IIT

Hu oAHoii rle-

ln'u(!nrrofi

BMecre co

cBorrM orpr{qallfielL

Tot4a BcqKas Br{cK:l3tI-

r!/r'to.'tL

irr ncpeMeHHar, BxoAsrqas B

AaHnyIo

9. ctIerlTilpHyrc

/rILr3]'-

r,rKrpro,

.nn6o ur'reer 3rraK orpr{qaHrtt,

.inr6o ne lrueer ero. flpu4a-

.iltttv

xilx4oit BLIcKa3bIBareJIbI{oil

nepeMeHHofi 3Har{ellue

"Jr",

ec.nr'r

ot|n

l]xo.I{HT 6eg

gnaxa

orpuIIaHI-Iq, t{ 3Hitrt]lcHr're

"r", ec.nl oHa Bxo-

.r(tr't

(x)

:rlaKoM

orprrrlaHrrfl. B 3rorr

crv.{ae,laHIIas

grel\IenTaprlirq

,,rllt:

,.i,IoI I KrIIrt fiprlHl{rttrer

3HaqeII[e rVrV...Vr:-{,

cJrelloBi}-

'l(lJll,IIo,

OHa He tBJIfeTCfl TOXAeCTBCHHO

IICTHI]I{Or1.

tr

'l'rt<rpetra

6.2 SaeaaenrnapHas,

Kotllrotlt:u1rn

ntotrcdecmeenno

trt::trt:--

nt nrczda u molrbKo

mozda, xozda oHo

code[munl roma 6r't

odrty

ttttt(?;(t;tbleAmeJl'lr\Alo ne'peJvler717g1o

A.MeCnl,C Co

c6otLM

OrnpuUttl

Ltl e"rt.

.{oraaate.nr,crao

aHaJror[.{r{o

AoKli]are.'rrcrBy

rcopcltr'r 6.

1 <; tu,-

t,tr:trrlt

4u3'uouxqltrt

Ha xoH'brorlKtlnrc

H ilt{it'IeHrlil

"

1,t" ttil

".l".

n

'l'eopelra

6.3 @op*ty.na

motx:t)ecTn,eeu,tto

rlcnt:tn

7u m,ozdo u tnoLtt-

xo tnozda, nozda

xaucdo,a a,neJeteHmap

an Dusanu,xrtu,a cc KHq)

co-

dt:7tttcu,m rotna

6'w oduE aucrcaautaa,men:b1Ll1to

Ilcpe.M,eHrrrlto

Gn!,ecrn,c

t:o c6o71,M ompuqaHueM,.

Teopeua 6,4 @op"vyna

rn,otrcdecnraetnto

.no:tn:tut'

rnozdo u lno./Lbr:o

rrtozda,

xoz)a

xa.trcdaa J,neMeu,mapHaa

xolrltolt'tt'Ltuta ee

!H4t

co)eyt-

ltclfin rotn,n,

6zt odny abLata3bLlam.erlbtllln

n,qrc.Me1L1t'lJto Gt4ecrnc co

(nouJd

ompul,laHLte

,,

9ru'reopelrr,r

JrerKo

AoKa3arL

Hil ocrroBe

rcoperr 6.1 H 6.2.

tr

flpllr"tep

6.L llpoeepu,ma

na mottcde cm,at',rlrryio

ucrnuHlTocfn b

1r

I

r

t oJrclccm

aeHHgm

.uo)t(rLocmt ) (ct wtt.o"ruu.u

oc mr'

),ftt'p"tty.n,1

(A

-+

B) +

(A^C -+

B

^C).

Peuenlre.

1. flpune.4err

<fopr'ry;ry r<

KHO.

!,lx

:r'roro

clirrlillril [l)rrlte.I(]I\t

cfopr'Iy.ny

K

pcryJrtpnor{y BrI,\y:

(A-+

B)

-+

(A^C -+

B

^C)=

-v

Blvf

^Z-

v B

^C

:

:A^BvAvevB^C.

'i5

j]iut'e,

.qt:ftcrn-vl

no npaBrrny n3 [pe,,r'Ir,r/(yurero ua,parpacpa.

npe-

o6par;yerr cfoplry:r5',

c.rlrrag

"

c-qoNeuuelr" xorruorrKr{firo, a

"yMHo-

x(eu!r<:lrl"

-

.drcl,roHKrruro

(nr;nclrttorarc:rsuoe

BbtpirNicnrlc IIrleer

nrrn:

(-4

*

B).4.e.

(B

+

C)).

I

Io.nv.rnrr KH<Ir:

(.1v..lve

vB)^

(Bv.Tve

v

B)

^

(A v;lve vc)

^

(B-vlve

vc).

I(irxi4ar 3.rrerrerrrilprrar,r[r3T,roHKrlur

4anrioii

KH(D

coAeprxnr

xo rq 5br oArry BLr(:Kirr,rBnre.irbrrvlo neper'renu_vlo Bl\te(ire

co

cBoH\I

(rrl)rrlilrrrcrt.

C.ite.,ilOBi)T(].lrr,no.

rrcxojrrrax

<foplry,ra ro)xAecrBerrHo

u(:'tIIItHa.

2. [1puet:4en ucxoAnJ-ro

droprry:ry

x

.{H@.

flpu :.nou B(xjnoJrrr-

'

jv(.rrcs

rroJrvrrcHubrlr B rr.l

pery.lrr{pHtrlr

ru4or'l

$o1xly:rr,r:

.l^Bv:lvavBAC.

l)t:ry;lx1xrr,:r'r

rlr,q

(:pa3y

;1aer !H@

epBoHa.rarbuoit

$opr'ry.nsr,

l,

(r

Vtlic

llepB?l'I :JJTCI\leUTilp]Iil,t{

KOII'IJIOIIKI{II'{ He COACpX(IIT HIt OA-

Iroii aI'IcKililbrIi[rc.]lr,iroit

neperrennoii nrrrccre co cBo]r\r oTpurlaBrr-

t:lr- Orr:rrr1a lr ini.[Iorlilc

NJ

,

vro lrt:xonrrir-* <foprryi]?r, He

roxAccrBeHHO

.:I()i{ilIiI.

'r()

rx'lt'

zlttto.nttullt.

E

3zrue.raulre

6.1 ]Iot;:rt:lae

nt,o:tx:.dcctneernty?o ucmulL1Locrn,b

,uca,od-

tt,rti (to7t"r,,r,yttt't,

.Moir:tto

cpoBA cdutatn,u ctt,tood,

unro otta

rle

rno-

.tttirt:rn,ct.tr,H,o

tt,o:ttctto,. Atto,,ttozll\n!,o,

u3 m.o:xcdecrn,aenno,i.L

,noJrc1lo-

r:tn.tt.

(ktp"+t,'q,n,w,

cyto,sy t:.ncd,qr:nt,

atm,o

otla

ne m,o:trcdecrnaeuHo

.ucrnu?r

tr,l..

Odt t,u,r:o o6po,rtttt,ot'

tlclcpv,o e

o6tut c.nyuuar!

fr:opcnrlr

6.3 rr

6.,1

Aaror

a.rrropltrr\r npoBepKu

$oplry,rr,r

rrzr ro-

)Krcc'fBerrHyIo

II(;TIlHrIOcrr, (ro;tinr:crRcrrItyIo

.noxxor;rr) :

I. Illxeecrrr

dropr'r.r'.;rv

K

KHq)

(i{HO);

2. Ilponcpnrr,,

KaxJlz[tr

.]rrr s.irerreHTirpHarr

4lr:rronr<qrra

(xorrr,-

tonxrltrx)

(iorep)KIrr

flblcKillJbIBiITeJrsHyrc

neperleHnyro

Brlecre

( (xr

OTI)LIr(iulltet\t;

jl.

llc.nrr raxtrg

nilpa co,,1el)i,r(rrrcfl

B K:tx{noii

9,[e]ucrrr:t

l)Horl

Auitl,-

IoIIXUIIfl (

KOII']'I0TIKIIUII

).

.T.o

q)ol)\TyTtI

To)t(AecTB€HHO IICTIII]IIII

('tox,igr:c,tet:nuo

.[o)KrIil,

T.o- lrctstnolntrltr);

ecrfi TilKOfr nitpbr

29

("r'

xors 6lt

a o4noii

sJreI\IcIITapIIoii

AI'I3'l,rcHKlII'Ill

(xonlrcux-

l(rIr{),

To

(boPN(yra

fle ro)KAecrBeHHo

I'IcrItIIHa

(ne ro;N4ecreeH-

ll(r

.,IOXHa,

T.e.

BbIIIOJIHI{IIIa).

l\rrrrt:rlte

q)IrMcpa 6.1

npoxo4H;ro

B IroJlltort

coorBerc'l'tsHl{

c

,

f llnl

iLIIf OPIITI\IOII.

lltrlre.raHue

6.2

,\na

npoaepxu

fiop'uy.'t

u,a mot

cdecmeeHHgm

uc-

nLtt,lnocmb

u moutdecmeeHHElo

rXOJrcHOCmt"

GOO614e

2O6Op&,

docrna-

torno nn,tlt'Ko

KH.D

unu

morxb,Ko

IH@-

grno

c

ne,yem

u3

o\eeud'

r to z o

$arcma:

Sopu'y

na

motrcdecmeenuo

uctnuHva

(moucdecmeen'

tto .,to:ttttm)

rnozda

u monbxo

mozdl,

nozda ee

ompu'I1to'17'Ire

m'otrcde-

(

tn,oct

Lt:,o

"tocnu'o

(motrcde.cInaeHHo

ucrntt'rt'rt'o

)'

V llolrpoc

o'tor1,

cYtlLcc'flJycr.;ll{

c/(lllllnil

iult()l)}lt\l

llJlJ'| l)il(Il(t:JltaRirIlll,l

lo_

,lir(('('r'rJ|llll{)i

I4cfrlnllqclu

dnpvy;t

lur|c6pt,r

l}l'lcKitill'lltil'IItlii,

'llil'cllt'laclllhlll

r'.rt,t;v'rr

116trtcii ttpn6.;tr:rrt'I

tloi(

llil-llliltlho\l

tt'po6tu:no

pu:t1tr:ttntnocrflu

H;ut

rttc

l)

Iri((lltllolo

l]hllllc iL,lt

ol)li t llil

o]Ilil'liIcl,

'll1l

rrp<i6''rclt:t

ptlspcttltt Nlo('l

r{ tiM(:c'l

||

rL,|l

(!6J)C

Bln(:Ki\.lLlllil,llr{i

Iloi()riti

l{lilLlloc

1l:Ittllltltc

Br);ttlc

llo;tJD6tlo

.)6 31ofi

rrprfi;rcrrc

6y.1t:r'

pnccrnr:rrro u

$1'1.

A

II.

llocrpoerlne

<loprrylsr

am'e6pr,I

BI'IcKa3I'rBaIlril

rlo

ra6JII4ue

lI(:.rttHHocTll.

B

$

2

6rrno rIoKzBaHo,

KaK

lrocrpolirb

ra6rl'Iqy

ltcrlrmocrlr

AJIn

n

lx)r{38o,'Ibuoil

tfoprnry.nr,r

aJrc6pL,I

BblcKil3r'IBalrltil

B

I'larelratrqe-

(:Koli

rotuKe

perrraercl

n o6patntrtr

3aAa'Iil:

nocrpontr'

<!oplIy:ry

no

'riL4a,nnoii

ra6nltrt€

lIcrI{IIIrocrIr.

Paccvtotpnlt

pelIeHI'Ie 3:roit

3aAa.{u

na

nplll{epe.

flpNlrep

6.2

llocmpoumt'

$op*t'gttE

allzefubL

sucKa3bLoaHlnT

om

Lpe.Ji

a?,cfia}bL(/arne"LL,lrbLr

Tlepe'i4eH?rwr

A, B,

C,

ec"cu

ee

fna6JLu'

t4o,

ucrnuv?Tocrnu

npu

cmandapmno,+t'

pacn'pe1e'tenuu

ucrnut*rocnl-

u,u:D

sua,reHuli

ala,cn&auoament't7blr

nepe'"\revllt,L:x

u,Meern

eud

(

coep'

x;!/ arLu3):

ult,'ulnrrut

I

.

I

norr ra6,Mrlcri

Hcrunnlocrff

d)opM-r'-rhl

3,r(l(],

morllr

'\nrct

'c

ttroroBr'ri1

cro_r6c(

6ca

trpoMc-

iitlo

ll,rx.

"rl!i,

flmTPoollHt

JO

Peruer*re.

-

''

I cnoco6. Orlrerulr

re crpoKlr ta6-ntrqst,

s xoropsrx <!oplry-

.nil nplrHl{rtaer 3naqeHrle

"u":

9To nepBaq,

BTopat, nlecrag rI ceAb-

rra.a crpoKlr.

flpu cran4aprnort

pac poAeJreIInLI

3Ha'{eHfiit

BbICK:I-

3bIBaTeJIL,HtlX

nepeIleIII{bIX

B 3TIIX CTpOKaX [ePeIUeHHbIIU

npnAa-

rcTc.fi, COOTBeTCTBeHHO

CJIe,AyIOU,lne

na6Opbr 3Ha'IeHI',Iit:

IlUn;

rrt'i..ir',

n*r, JrJrr4- IIo

xuxgolry rr3

AarlHbrx

na6opon nocrporlNl

gJ'reI{eH-

TapHyro

KoHtroHKrruro,

B3tts BbIcKa3LIBareilbIIyrc

nepencuuyro 6e:

ilHaKa,

orpzuzl,Hl{t,

ec.rrlr

er:i e rla6opc lplrAaerct

3na'ienrte "1t", lI co

3H:rKoru

orplrrlaHnt,

ecJILr eii

B

AaIrHoM

lra6ope npu4aercq

3HaqeHIIe

".1". flo;ry.raetu T:lKfie

gJ,'IcNeIITilpHi'Ie

KorI.bIolIKlll,tl'l:

AABAC;

A^B^C: fngne; AnBnC.

fltr.ne

eroro crpout't

clopuy,ry er

xax

llH(D

rI3 srrlx e.IlerlenTill)IIblx

KoH'}'roHK

utri:

g:

A

A B

^CV

AA B AC VA^ B

^EVA^B ^C.

Hcnocpe.{crreunoil

rroAcrilHoBxoi,i

}Ioxllo

y6e.4urr-ca, vto

$op-

nryJ"Ia 2l

npuHlr\IacT 3HZl,qeHIrC

"lr" lpn

Bcex

oT\IeqeHHL'tx

uzr6o-

lrtrx

l;nit'lenltii

Br,lcKil3r,IBrrre.rrblrltx

[€pchI€HIIIIX ,4, B, C

n sna.re-

uttc

".ir"

npu Bcex

ocraBlrluxca

na6opax 3Ha'teHuil arlrx BbrcKil3[,I-

BilTC.frbnr,rx

fi€p€[{eIIII}'Ix.

14nsIlttr c.ronar'rrr,

c}oplry:ra fl ulueer

AaII-

rryro B

yc.iroBuri :a1a'ru

ra6.nuI1v Itcrlrrlrrocrrt.

tr

2 cnoco6.

Orlteqaelr

crpoxrl ra6,nnqll,

B Koropbtx

$oplryla

nl)uHllrracr

3Haqeuqe

".n",

lro ec.rl

rl)erblo,

qerBeprylor

ntr)'x)

rr Bocr,rryro

crporlt. Blrcxa:bIBar€"'rbIIT:IIrI

rlcperleIrHblrt

A, B.C e

3Trrx

(jrpoKax

nplr cTaBAaprHoNI

pa(inpeAe.[eIIlII{

nptrAalorcs,

coor-

BeTCTBeHlrO,

C.rre.AyIOqrIe

ra6opbl

3IraqeHI{Il: fi,,-Ir. nJt.]I, Mrr).Iriril.

Crpoult

alelrenrapHble

Afiilr'IoHKllutt

II3 Bblc'KairbtBirreJr'Ht'lx

tle-

perreHnbrx ,4, B,C

no KaN(AoI\Iy lr:

:tzx u:r6opoa

ilrra'lenufi; fipn

orolr 6epclr

[epe]rleHHyrc

co 3HaKoI\I orplrqarlrrt,

ecJlr{ ora npuHll-

rlaer

B

AaHHONI

lla6olle

:lla.Ietrue

"tr", tt 6ca anttxa orpl

IaI

r,],

ccJrr{

B

,(aHHotr

na6ope

oxa rrpltHlrrlaer 3llaqerrlre

",r". flo.nyvaelr

Av DvC;

JvBvC:

.tvEve; lvItvC.

:ll

ilrtttrr

<:rllourvt

tloplryry

!r KaK

KH@

tr3

gTlrx

sJreIlIeHTapIIbIx

i\u:J'I,-

l

ll K tlHll:

6v

B ve)^

(Av B v c)

^

(AvBv

e)

^

(A

v a v

o).

Moxrro'rarNe

npoBeprlrlr,

vro

<|opt tyrra

q

lnreer ry )Ke

AatI-

yx)

R

ycJloBl{n

SaAa'{Il

Ta6.rrully

rrcTulrHocTtl,

T0 ecrr,

rrplrrlrrlix]T

ttir,t(:ltue ".n"

npn

Bcex

orMerIeEI{tIX

Ha6ol)ax

i}Haqelruil BbIcKa:tbI-

f ltcJlIrlIL,IX

fleperleHllblx

A,B,C

u 3llarteHIIe

"n" npu Bcex

o(]Ti]B-

tttttxt:r

na6opax

3fla.IeHldt

3Tax

Br'IcK?r3IiBareJIblIbIX

nepel\Ier

nIx

V

r'\HO

tr I(lI(D.

rroct

l.rocr

l rt l'ttl lt

rll)llricp(l 62,

uur:xlr

lrillllallt{''

(l{){rl

lr("1_

t'tlt,lttt,

rnoup\rt:tlrttpt

r)ruatottnnv'tttttttt

ltolqttttl'tlllrt

ix\tnu

(CXH@\

tt rttoqt

utt,,l,rulJt

riorllroltt;:rt

lrllttult

t

luprtrurlbtlufl

()ol" u

(Cl<Hqt)

(

illlrD

H CKH(D

urlctol <ircl(vtotlll{(l

()cof)olltloclll:

r t,

CAH@

(CIiHiD)

rrr:r'o,,llrraNr)t!rn\

r-ri

rlr'lt lill'ttln\

hr'rrr'r("ll\llttfi

(J

lo\lflF

1al)lllrIX

itl-l:11'tOIlKIllti'i);

o

Hu

o.rura n-,tcvcrn

?U)ttile Koll-l,totlKllrltl

CjJHtlt

(e;lrlr crrll.plliltl

-rul:11,x)llltl(ltrt

(--lKH(D)

ttc

tr\lccl oltuttil.KotllJx

!rilclloB!

it lilli)li(''ilJtl(arllJllailli'll'llltx

ll('-

l)O!lallrll)lX

tlllcCl

C

(1)

CROIr\{fi

01

1)llllil

llH,l\lll:

r

Ka>r<llit,lr,r,'rctrttttapu?]rKoll't,torrr(rltr,C{H(D(:r.rcrtrltr'r'a,pllilt.(tlll)l()llliltrlrl

CIiHilr)

co,lrpNur'l(:c

trr'rcKirlhr

ri:lil

tlil l,r I In(! ltclxrrl{rlllll,tc.ttti'xl

6rtt:Jttax'rtr

([l)nrlalrnt!

;rr6o

co ]rt

autt olpxltillltlt.

Itlox<rto;lora:rur-r,,'fr'{)

BctKil,t ttc

l or(,:fi(l

l}(t l llo ttl:ttrtttttt,n

r}x.i1lrt1;tir ttrtlrr'

r,,rlrr('rRerrrt)'l(, CKHtD,

r rlcrt(tlt

ttc ft)il(,(cc'rllclrl(,

ilo,lilla,l

(lDptl)itil

tt\ll\'1'

rlllrclBcrrtr)lo C;LH(D.

To>x.'ltlc l ucltllo

ll(r'r!iltlll'l{r

dnprr.v.;rr'r

lttl

vclol

CI(Hq) ir

'r))K.rlccr'Berrrrl)

,Io><trt,rc

droprty;tr,I

rrc trrlrrrrl

(lflH<D

Corcprtrotttrt,tc

tlol)tlaJtLlttnc

drrtprtt,t

tt:rxo,la

t

tt6rttnpttrxr

IIJ)Ilrlcllcllllo

riil

l< ll

t|rutc\rrltlt,rccr(oii

jt()rt'rKc:1i1K

tr lr cc lll)rl.iI()ri(rlll{rx

Hlrxlr't

{)1rt'lrl

rll

Jlllx Ill)ll

lo-

x('rtltil 6)tl)l'

I)il((

rtr)'ll)clllJ

lr KiltlccLlnr

J

llP.r(lrcllxii

A

,ttl

r) P^RvPnEvQARvFnQAR;

,r)

A

^

B

v

((Av B)

^

(,

vB));

t)A-na-+lvA^(BvC);

,n)

((C

-+

-1)

-+

B-ne)

-+A;

:;)

(P

-+

Q)

n

(O -+

P)

A

P

v

Q;

rr).\nYvYAYVXnY;

n) PnQ--@

vQ-+P);

,r)

(.Y

A i' A Z

-+X

v

)')

-+

\' nZ;

rr)

(A -+

B)A

(Av

B)

-+

B

nC.

(i.

I},rpirslrre

cJreAyroql.re

cpoplry.nbr cHarrara B

crrcrerue o[epa-

rlnri

{n,

V,

-},

r, 3areru

n xaiNg,orl r{3 crrcrel{

onepaqnft

12.

'{n,

-},

{v,

-},

{-+,

-};

npr.rBeAr{Te norryqenubre

$oprry-

.irbr

K

pefy.irr{pHoruy

BrrAy:

,,)

(-Y

-+

)/) nO--+10

-+

X

v

)';

6) (x

-)

l')

n

(Y

-+

x) *

@;n;

r) ((X

-+

l')

-+

Z)

-+

(X

+ Z);

'

)

((-Y

+

)')

n

F-r-

-+

D)

-+

(-y

v

y)

^

(T

v

l');

.r)

(-{

-+

(}'

-+

Z))

-+

i(X

-+

l')

-+

Z).

i.

{oxtrNnre?

qro

c.rreAyrou{rle

c}rcrerurrr

ouep:rqlrfi :

a)

{A.

V,

-+}

;6)

{n,

v}; n)

{n,

-+};

r)

{v,

-+}

IIe

flBJITIIOTC'

IIOJaHF,II{II.

o

!,ox:uxnre?

qro

rle fB.rlgercg

no.nnort

HI{KaKag

cllcret\Ia

ofre-

lrnqrait,

cocror{qas

u: o4uoli

onepaqrrrr

n,

V,

-+

uJrw

-

.

t'

flycrs.{lB

o:uirvaer

TvB;

A

I

B

o3Haqaer AnB.

,J.oxzuNlrte,rrro

c rroNroulbro

o4uoit

olepaqrrr

"

1"

(urrpux

iU",lr-

cpepa)

Lr c rrorrorqnro

o4nofi

onepar{uu

"

}

"

(crpe"rrr<a

fhapca)

\rox(Ho

Bbrpil3r4Tb

.nro6yrc

<poprryny

a.ure6pu

etrcxa3trnauzft

,

To

€lcrb

(jncrer\rF,r

ouepaqraft

{l}

"

{J}

sB.flsrorcs

noJrubrhrr{.

37

*

[oxaN<rare,

qro

rirrpux

[Ue$$epa ]r crpeJlKa llupca

frBJrfl-

rorcs eArrHc'rBeIIrrbIIuI4 6Ianapusrltr

olepaq[rllvIl{,

Ka)KAas u3

Koropbrx

o6paayer rroJIHyIo cl{crel'Iy.

flprEae4rre

Kax(AyIo us

$oprrryn

K KoH'r'IoHKtusnoft

vr

Ar43'b-

ronxrr.rnnoft Hopr\'{aJIbHbIlt

$oprrralt:

a)

XnZ

A

(x

-+ v);

6)

(x

-+

Y) nz-TT;

n)XVYAZAXvZ

")

((x

-+

Y)

-+

(z

-+X))

-+

(Y

+ z);

A)

(x

+

(v

-+

z))

-+

((x

-+

z)

-+

(x

-+

Y)).

flponeplre cJreAyroqfi

e

$opl.ry.nsl

Ha

ro r'I(AecrBeIrHyIo

I{crIrH-

Hocrb I4 Ha rolKAecrBerrHyto

-rlo)Kllocrb

(nr,tuo,rnultocrs) :

a) XnY

-+XvT

VXA)/;

6)

(X

vv

-+

X v Z)

-+

X

v

Q',

-+

Z);

B)

(x

-+

),) nx-nTlT nZ;

")

(,4

AC

-+

B AC)

-+

(A + B);

A)(AAC-+A^B)-+BnC;

e)

(x

^Y^

z

-+

x n z)

-+X-17

v

z;

*)

(8-+R)

-+

(PvQ

+Pvrt);

3)

(A -+

B n C) nEve

-+A;

v)

(A-+ (B

-+

c))

-+

((A

-+O)

-+

(A

+

B));

x) An(BvC)-+AnBvC;

")

(A-+B)

-+(B^e v(A+C));

u)

((A

-+

B)

-+

(C

-+

Z))

-+

(B

-+e);

")

(AY

B -+ B) -+

(AnBv

B);

o)

(A

A B

-+

C)

-+

(A

-+

(B

-+

C)).

10.

I1.

.11

'I

l0

Hil

.rc1.r'r'cx<Ax

r(olllilK'r'rn o6cl:ln,ra,roLcr circr\yrontnrr ofip:r.tcrrr

_Yr

o---"€o-.#

21. IlocrportTe

KoHT:lKTHyro

cxeNry,

peamlsyrou{yx-r

$oprrv.ntr:

a) xA(\.AzvxVY);

6) (Xvi/)

^(YAZ

vX) vUnZ;

")

(X

-+

Y)

-+

(X

n

(\'v

Z));

r)

(X

-+

(l-

-+

Z)) + (Y

+

X);

.r{)

(X

-+

(}'

-+

Z)) v

(X

A \'

-+

Z).

,ly''x:a,aa,u,u"e. B un.

e),r) lr

4)

npuee4l.rre

OopNrynr,r

K

peryJrflp-

HONIy BlrAy..

Ilo<;rpol"lre

Harr6o.rTee

[po(]TEre KoHTil,KTr{bre

cxer{br

rr3 Tpex

r{oFrTi}KTOB I]O

C.neAyIOtq[NI

yC:.rIOBIIgNr:

ir)

qenr,

:Jil\rKrryra,

TOrAa r.r

roirbKo rorAa,

KoryIa BCe rpr{

KoH-

lilKTII

p?):loNrKHyrbr,

Jrrr6o

pa3olrKnyr

roJrbKo nropoft

KoHTaKT;

r)/

qerrb

:JaNfKHyTit

TofA:I lr ToJrbKo

TotEa, KofAa

Bce KoHTaKTbI

I)ailo\rKHy1'bl,

lr[6c)

pa3o]\rKrryT

To.iILKo rpeTl4it

KOHTaKT,

J'IIr60

:]r],IrKHy'r

ToJIbKo

nepBblll KOHTaKT;

r)

qenr,

3ilr\rKnyra

rorA?]

r.r roJrbKo

ror.{a, KorAir

pa3oruKHyu,r

BCe KOIrTaK',rL,r,

.[I{60

3aI\IKHyT TOJIbKO

nepnttft

KOHTaKT,

JII{-

6o

sarrxuyr ro.rrbKo

nropoft

KoHTaKT,

.nlr6o

paeouKrryr

roJrE,Ko

rrepBbllvl

KorITaKT.

Vr,as uu,u,e.

K:rx4r'rfi

!r3 K0HTaKTOB

r\ro)KHo

rrcrroJrb3oBarb

cKoJrr,-

K()

yroArro

Pa3.

llanuurnre

cpoprry"ur'r,

KoropbrNr[r pea,irr43yro.rcfl

c.]re.Ayroq[e

KorrrrlKTHbre

cxeN{Er, rr

ynpocrnre

Ka)KAyro

cxeNrv)

npeo6pa-

:r()BirR

('oorBer(:TByrouyru

dlollnryny:

1)

22.

3)

5)

ZY

XY

X

2:1.

{vl-[xHz]-[x Y-z]-

24.

Kax<x'tit us tpex

q.IIeHoB

KoMlrrera

roJlocyer

tt3at',

Hax<nlt{aff

Ha

orAeJIbHyIo

KHonKy. Peruenue

rprlnuNlaercs

6onrnruHCTBoI\I

roilocoB. Ilocrpofite

rro Bo3I\.Io)KHocrrr

6o.nee

[pocryro

cxeN{y'

qto6rr

B cJryqae

flpr{Hgrlitfl

perrleHrrs 3zDKLIraJIacE

cl4rHaJrbHafl

JIAMIIOqKA.

25. Kolrurer

cocror{'r

I43 ns'rll

rrenoBeK.

Ka>x4r'tft

pI3 gJreHoB

KolvII4-

Tera

ro,'Iocyer

"3att,

Hax(IrtrI?Ifl Ha

OTAeJIbI{yro

KHonKy.

Perrie-

rrr{e Bblrrocnrcx

6onnrurrHc'rBo\{

roJlocoB.

Ecnu

npe4ceAa'reJlb

roJlocyer

"[pornBtt,

To

pe[rexl{e

He

rIpI4HHMaercx.

floctpoft-

Te [o

Bo3lvlox(Hocrr

6olee [pocrylo

cxeluy,

tlro6st

B

c.[yqi],e

np]l1i:frfl'I:fl

peIIIeHIlg

3aX(UrZL[aCE,

CIIrH

i]JIbHat{

IaIInOqX

a'

A

X_*Y

_z

y_z

v_z

"_f

1t

fJIABA II. JIOfLIKA NPtrtr'lKATOB

$

7 llpe.4r.rrarr,r rr onepaqurr HaA

Hulr{rd

flongrue [pe..ql{Kara, 3a

r{a,Hr{oro

Ha HeKoropor r r\ rHox{ecrtse

7

orrrr-

cbrBaeTcfl cre/:\ymqr.rNr o6pasorr:

n,

-.M,ecTnHblu,

n,pedurcarn.o"rtt, sa)aurlbt,M ?1e" Lrt,rto)rcecmee

M, 6y

d e Lw

w,

a s orc ama np

e

d n

o

crc e Hu

e, u

c

rnuJ-tu,

o crnb K o Tn otr) o z o a a

6

1r

cutn o rn

3H,ay,euuil n n,epe,M,eHHbt"r, npuHe,M, arnu BHaHeHu,fl,

6epymcn'tl,a

"t4rro-

ttcecmea M.

[3 o6ulertr Br4Ae

rr-]vrecrHEre npeAEKarEr o6o:rra.rarrrcs

P(r1,12,...,T,r),

Q(:r1,12,...,rrr')

rr

r.

n.

flycrr, a,lte2t...,ar.

e

M. flpu erlrx

3Haqenr{fix

nepeNreHHbrx

ilpe/{rrKar

P(r1,:r2,...,r,r) craHoBr{Tcfl r{crurrrrbll\I rrJTIt

.rIoN(HEIr\{

BbrcKaSErBaHI{eIU) TO eCTb npulluMlern, OdttO U3 3?7lvevu'.fi

"tlCTt4HA"

u.[u

"ro)Kbtt.

O6o3Ha-raK)T

coorBercrBeHl{o:

[P(ot,o,2t...,arr)]:

H

rrrrrr

[P(ot,e2t...,4,,)]

:

r.

flpulrep 7.L a)

Ha

,u,rtocrcecznere

N

aadauo npednouceuue

P(r) :

"r,

-

npoctnoe Hu,c.no", IIpu cmo,u,

tP(3)]

:

u;

lP(I4)l:

n,...

Ilped-

.nocrcenue

P(r)

.fl,a,/t,.fl,erncir odxo,uecrnnu""u npeduxarnoJvt,

TLa ll?to?rce-

c'm,ee N.

6)

Ha rvHoJrcecm,ae

R npe)nolrceHue

Qlr;a)

'.

"

tr

<

y"

nlnaemcst,

0 a'g,u, e c m,u,u L.hn

np e dr rnam,o,u. H an

p

u, Jvt ef)

/

[Q(3'

5;

7)]:

'''

lQ?";

-2r)l:

1'

e) Ha J\4nocrcecrnae

]l[

mov,eri

npa.,vtutr, npednotrcenue

S(r;y;

z)

:

"r

tleuctltrt,

.u,ecrcdy

y 'lt

z"

-

m,per,Mecm,u"'ttttt, npedunam,.

B uacm-

Hocmu, ec.nu

pacnollo'Jtcurnb

u,a nTla"tt,ori Tno\LKI"t A, B

,

C

,

D

no

a.n$o,aurny,

m,o

IS(A;

B;

C)l

:

Lr,;

[S(B;

A; C)l:

I

;

[S(B;

,4; D)]

:

7;

3aue.laurae

7.L Boo6u4e zoaop.fl,, e nqtelu,rcamar

pasJlu\tTrbt(.ltcpc-

,lil,eHHwe A4O?ym np?I?duJ\4qTnb 3?-LQ,ateTLUn U3

pAS,nU1dTdbLr

.MlrOUCeCm.G"

[Tqtut

teporu

.Moucem

cJLAucumb )eyu,eunuutil npedux:a'rn,

"moutx'n,,I:

npunad"tecrcurn npauort,

y

".

Mut ute e da,nrrrteil,tue"v

6yde.u

po,c(lM,o-

mpTl*arnb 6onee npocmo'fr,

ctt,yuafi,:

n,ped'ur,u,m,t,(1 6ce ne-per\.teLttl'ttt"€

Ko-

mopur

np1.Lt1u.^/t&lorr

s?{&4reHua ue od'nozo

,utto:m:ecmea Iu[. trIateu,u,o

n,po

npedurcam rn&Kozo

m,una ?oaotr),n'm,,

"L?rLo

on sadart rra

,lurrt,oJrce-

cmee M.

Onpe4e.ne

lnvte

7

.L

M uo crce cm,a o.M ucmuu,rt o crn,u, n,p edunama

P

{:r),

aadarn

t o z o Ha A,'t,Ho atecme e M, HasbLnuernc

ir .MHo)rcecm,no Gcer

art,u-

qenud

neperveHTlort r

€

M, npu, Kom,opo.^4"

[P(:r)]

:11.

O6oenaqenne:

M,.(P). Tor4a M,,(P):

{r

€

NIIIP(r)l:u}.

flpnvrep

7.2

a)

Ha .nmrotrcec'm,ee lvI

:

{1,2,3,4,5,6,7,8,9.

I0}

sadau n,pedurca,m

P(r)

:

"'r

-

rlpocmne

otllc./Io".

hIr(P)

:

{2,

3. 5. 7}.

Ecttu

cx:e 3m,orn npedunarrt, sadam,tt

u,a 14,?t,o)tccLlrn6e N, nto

!l[.,.(P)

-

STnO .h,t,tlo utecrna o a cer np o cm'u,T ?7o,my

p

Q,,t,b?rblr,

\l,uc

e"4.

6)

Paccuomqtu*t npedttnam

Q(r)

'.

12

-

7:r

*

70

I

0,

zle

r'

€

R.

Tozda It[,(Q):

[2;5].

Mno :Nectn a n crr{HHoc'nl{ rpeAr.rKaron 6o.nr'

ruer-t

N

rec'rrr

o clrr{

o6

p

tr-

3yroTcff

r{3

yrropsA0qeHrrrJx

rrap, TpoeK r{ T.

,\.

:)ireNreHToB,

R

:l:l.R}r-

C![N{OCTI{

OT I\,ICCTHOCTIUI npeAplKaTa.

tr4g

ugnecrHbrx npeArrKaroB cocraB;rfiro'rcfl 6o.net-- c.[o)KHbre nl)e-

,4,rIKaTr'I

C I]OIVIOTI$,rO JrO|UqeCKr{X OIepaqltfi, :}rraIOflIrrHbIX O[el)a,-

qrrfl\{

HaA BblcKa3blRarrrrflr\rr.{.

Ocnonnr'rlrlf

rr:l Htrx flBJrflK)Tcf Korrb-

IOHKIII{ f

,

ArI3'bIOHKI{I4fl,

r'TIUIIJIIIKi}qlg

pr

OTprrrIaHI{e.

flpuee.4errr

olpeAeJreHr{r

srrrx ouepaqrafi

Anfl

oArro\{ecrHbrx rrpe-

AIIKaTOB,

saAaHlrEIX Ha HeKOTOpON{

\rrIOX(eCrSe h[.

OupegeneHue 7.2

Kou,arcntct4ueil npedu,re,am,oa H,nsbtB&ern,cn, on,e-

par4un,

6

peaArrbr-narne

Kornopori'us n,pe0u,tiom,o6 P(r) u

Q(r)

o6pu-

sAemcfl npedunam P(r) nQ@),

n,p1iltuJvrarcurp;tr,

ama'ueH,ttre

"u,"

np)'u,

mer u Tno"'LbKo metr arlerteHunr tr

e

L[, nptt"

Korn,opbL:D o6o, rrye)'u-

Kama P(r) u

Q@)

npunuhnurcm sr!,aote?L'u,e

"'u".

[s(D;

A; B)]:

'x

.{+

Onpe4e,rerrrae

7.3

fu,aaronnup,e'rt,

npedu,rcanloa Hasbllaenlcfl

o'ne-

'po:qun,

e

pe.rArx'bTrlame

No'rnopott

u"s npeduno,moa

P(:r) u

Q@)

o6pu-

a'Uernln

'n,ped'urcam

P(r) V

Q(r),

rr,pun'uuun'u4uri

a'rro\reHue

"LL"

ny)r-L

Iner

'u

mo.nbto

Tnen

srr&'\eH'ufLtr

:L

€

Nl

,

n'pu

rconlopw,r ro,ma

6ur,

odttrr, tt;t

npedurcam,oa

P(:r) u,nu

Q(r)

n,pllrluu,raern

avaotre?-nJe

"utr".

Oupe4enelarz,e

7.4 l4,mn,nuxar4uefi npedur;atnoa ?taabt

Baemcfl, one-

I)e,'tutrl,,

{t

pea!.tlb:n,{trnc

Ko'm.opori'ua

npe0'unamo6

P(r)u

Q@)

o6pa-

.itlcrn,c.fl"

n,pet)u'rcu,rn,

P(,r)

-+

Q(;x),

npun"u"r,taro,uq'uri

s,t-ta'\,erlLtre

",,1"

'tt,'plr,

ln,er'U, Tll,O,'LttKO

In,e'I 3T10,\,e11'lj,fl,r'J:

€

M, npU KOmOpbLr

I

P(,r)l

:

u,

LQ(r)l

:

n,.

Us

4zrHuoro

orp€rAe.rrenr{r{

c.re4yer?

rlro

[P(r)

-+

Q@)]:r

rprl

To.\

!r

ro.rrL,Ko

rex

3Ha,\ieHurrx

x:

€

M, nllu Koropblx

[P(r)]

:n

(tr<r:itencurro

or

:rrr?rserrun

Q(r))

r,r.nr

tQ@)l:u

(neganprcr.rrro

or

rrrarrer{Hfl

P(r)).

O u

pege,re

ruue

7 .5

Ompu,u,o,uu,e"u,

np

e O,uxam,a Ha{rbLB

aemca,

uT Lep u-

t1'tl,.'t,, tJ

pe:t'!J,tt,\:\rl{t'rfl,e

Kom,op711

us

n,pe)ttrcama

P(r)

o6pasyem,ca

npe-

iu,x:urn,

P(ir),

n,p1truutt(r?ot4u,,ilt"

a,na,uetrlte

",ttr"

npu

rrlex; u,

mo,/Lbno rnen

;)tt,u,'Lt(;t!,1tn:L

r

€

NI

,

n,pu

n:orrlopttr

[P(t;)l:r.t.

.ilerxo

noKinarb,

rrro

h'[,(P

A

Q)

:

It[,(P)

o

lvI,,(Q);

Iu[,,(P

v

Q)

:

L,t,(p)

U

h't,(e);

M,,(P

-+

Q)

:

C'M,,(P)

u

L'{,,(Q)r;

A,l,(P)

:

CA't,(P).

Ananorr.l.mo

BBoAflTcfl pzlco^{o.rpeHHbre

olepaquu

u

AJrfl

[peArr-

I{ilroB

6o.nrrueit

\.recrrrocr}r.

/{lx

r:rxux

[peAHKaroB

clporrcfl

r.r

co-

()TReTCTByK)UII4e

\,{Ho;KecTB?}

LrcTr{IrrIOCTlr.

|j

B

Knauropr,r.

Ceo6o4uue rr

cBflsirnr{bre

rrepei\,rerrHEre

f7o4

neuumopa,M:u,

o6utrrocm,u, It

cAutlecrnsoao,Hun

fionrr\{irrorcfl,

(:oorBercrBeHrro)

cprruRoJlbr

AByx

BrrAoB:

Vr

(uuraercfl,.."

4.rfl

mo6o-

ro

r.. .")

u 1r

(.nrraercx:

"cyulecrnyer r raxoii,

vro...").

!,eitcrnrle

KBaHTopoB

\{ox(HO npoAeNIoHCTpHpoBarb

lra cJreAyru-

u$lx

npl4luepax.

flycrr'

Ha luHox(ecree

N 3aAilHbI

oixuoNlecrHble

npeAnKarbl,

3a-

BlIcguII{e

or rlepeNleHnotr

r

'.

"'r

-

noJIo)KlITeJIbHoe

qucJlo"

(o6o-

BflaquN{

f

@));

"tr

-

fipocroe'rl4cro"

(o6osna'rrrrl

P("));

"

tr2

:2"

(o6osnavulr

Q(r)).

PaccltorpuilI

npeArlo)Kellr{t

(Vr)?(r)

(",rho6oe

HarypaJlbHoe

rrrrcJro

rroJro)Kr4Teirtuo");

(Vr)P(r)

(".nro6oe HarypaJIF,Hoe

trI{cJIo

npocroe"

)

;

(lr)P(:r)

("

cyrqectnyer

rpocroe

Ha,Typarlbnoe

vucno"

)

;

(lr)Q(r) ("cyrqec:rnyer raKoe HarypaJlbnoe

rrrcro

r

,

AIrfl

Koropo-

ro

n2

:2").

o

rax<4otrl lI3 3TI4x

rIpeAJIoxeHNft

lrorxHo

cKa3aTI'?

I{CTI{rIHO

OHO

r{Jrr{

JIo)KHo.

Tax,

(Vr)"(r)

-

r{crl{Hr{oe

BL,IcKi}3rrIBtl,HIre)

TaK

KaK, Ha

caNrol{

AeJre)

Bcfl Koe

HarypaJlbuoe

qucro

ttoilo)Kr4Te.[tuo

;

(Vr)

P(r)

-

JIO)KHO€

BbICKa3L'IBaHUe'

Til,K

KtlK He

BCflKOe

HaTypaJIbHOe

ql{Cno

npocroe;

BbICKa3bIBaHue

(

3r

)

P(r

)

racrunno,

Iroro\Iy'r'ro

cyqecrBy-

ror

npocrble

Haryparrbllble

yIlcJIa;

(lr)Q@) JIox(Ho,

rIocKo.IIbKy

Ire

cyrrdecrByer

HarypaJlbHofo

ql{cira,

KBi}Apar

Koropolo

6lr"11 6r,r

pa-

nes

2.

Boo6rqe, lycrE,

oAllor'IecrHrtfi

npeguxar

P(:r)

3aAaH

Ha NIHo)Ke-

crne

M.

flpeg"irox<exua

(Yr)P(r)

u

(3r)P(n)

-

ero onpeden'eu,rrbLe

abLcx'n-

abtla?tltrrl,

He aaeucfll.4ue

om nepehreHl{oti

r. flpu

etolt

[(Vr)r(r)]

:I{,

ecrllt

P(r)

lrcrunHo

rpa ncex

r

e

M;

[(Vr)P(r)]

:-q,

ecnr{ P(r)

wc.trnrro

He nplz

Bcex

t

€

M

(:ro ecrr

naft4erca

xors 6lr oAHo

3l{arrenne

r

€

M,

np:r. KoropoN{

[P(r)]

:n);

[(fr)r(r)]

:\rt

ecrrvt

cyulecrByer

xors

6ot ogno

3Har{enr're

r

€

M,

npr,r

Koropoiir

[P(r)]

:n;

[(rr)P(r)]

:rI'

ecrllz

He cyq'ecrByer

rtr'Koro

3lr?rqeglrs

r

€

M,

rppl Koroporr

[P(r)j:u

(ro

ecrr,

[p(")]:.II

1IPH

Bcex

r

e

h'I')

'

C-1

1

o:rra.racr.

.;Ioro,trrolrrc :uuoxccrna. r11.

Пайсон Б.Д. Математическая логика

Подождите немного. Документ загружается.