.7"nia
?
Aom.recKur
e ocHoBbr
rrocTpoeHr4tr
rJnQpoBbrx aBToMaToB
Ocnoay
aro6oro
Ar,rcKperHoro
BhlqucllrTerrbHoro
ycrpottcraa
co-
craBlflror
3AeMeHTapHbIe
lroruqecKl4e
cxeMhl
Pa6ora
gTLIx
cxeM oc-
HOBaHa Ha 3aKOHaX
I{ npaBHAaX a.rrre6pu oTHKI{,
KoTopaff onepHpyer
AByIltfl
II OHff THff
Mll : I4CTI{HHO CTIII
H AO)I(HOCTH
BHCKa3bIBaHIiIt.
\
A^re 6
p
a Ao
ruxu
-
pa3Ael
MareMarl4Ku,
n
syrarculnti
Br,IcKa3hIBaHI'It,
paccMarpueaeMhre
co cropoHbr
rlx orl{qecKlrx
3HaqeHuli
(uctnuHocrvtvt
A
rroxcrocrra)
H Aorr{qecKllx onepaqufr
HaA HI,tMr.I.
Bucxasuaanue
-
HeKoropoe
rrpe,A4orKeHue,
B orl{ourennn Koroporo
MO)KHO OAiHO3HaqHO
CKa3arb,
I,rC'rIdHHO OHO
rtJlH AO)|(HO.
Annapar a-,rre6prr
orI4KIiI
(6yteaoit
a,rrre6pu) co3AaH
a 1854 r.
AX.
Byaelr KaK
[o[bITKa
Ll3freHrrg orI4Kr4
MbIur eHI,It
MareMarlrqecKuMlrr
MeroAiaMr{.
Buepaue
npaKTuqecKoe
npl{MeHeH}re 6yaenoli
a.rrre6pu 6nuro
c.die aHo
K. Llleusosornr
s
1938 r.
44-a
aHalldsa
r'r
paspa6orKl{ pelefrHblx
nepeKllotrarelbHbrx
ceteli,
pe3ylbraroM
rrero
rBI{Aacb
paspa6orra i're-
ToA,a
rrpeAcraBleHrrs
aro6oft cerl{, cocroxulefi
Ne coBoKy[Hocrl4
rlepe-
x,,rro'rareaefi
r4
pe^e,
MaTeMaTI4arecKlIMI4
BbIpiDKeHHtML
r4 UpIAHqHIIOB
]rX
npeo6pasoeanr{r
Ha ocHoBe
rrpaBLI 6ylenori
a.ue6prr
[1].
Bru4y na,ul-
qrrf,
aHirlorfl
r:r uex4y
pe,'reincll'Ili z
coBpeMeHHbIMtr
g,reKTpoHHhIMla
cxe-
MaMlr
aflnapar
6yaenorl
a,,rre6pu
HaIrIeA lulrpoKoe
npHMeHeHI4e
44.n
HX
crpyKrypno-
Qynrquoua.rrrHoro
orrucaHllfl
,
aHa
lt3a r{ [poeKTHpoBaHI,Is.
Llcuoassosanue
6yaeeofi
a.,rre6pu
[o3Bo .aer
He ro
bKo 6orree
YAo6uo
olepupoBarr
c 6yaeaul'ru
BbIpiDKeHHarru
(orrucuBaroull4Mtil Te UaH I{HbIe
3IeKTpoHHbIe
ysau),
qeM
co
cxeMaMI,I
I4An ,torHqecKHMlI
AuarpiIMMaMH,
Ho
H Ha
Sopr'ramHoM
ypoBHe
rryreM
gKBI.IBiIAeHTnux
npeo6pagosauui
z
6aeoam<
TeopeM
)mpoularb
lrx,
AaBarI
Bo3Mo)Kuocrb
co3AaBarb 3KoHo-
MuqecKu
u rexHr{qecKu
6oaee coBeprueHHble
SIeKTpoHHbre
ycrporicrea
ruo6oro
Ha3HarreHrlff
. Ouepaqnn 6yrreaofi
aare6pu
uacro Bcrpeqarorcr
H
B
nporpaMMHolr
o6ecueqesl,rn
Bbrtll4clrilTelbutor
ycrpofi
crB,
rAe onu
vtc-
nolb3yrorcfl
4a-ff
3aMeHbI
annaparnofi
rrorllKl/t
Ha
flporpaMMrryro.
Annapar
6yrreaori
alre6psr,
rar
rn
nro6aff
Apyrafl
$opruaannax
ua-
TeMarl.rqecKafl
cI{cTeMa
cocToHT
r.I3 Tpex
MHox(ecTB: 3 eMeHTOB,
O[e-
paquli
HaL HIIMI,T
I4 aKcI4oM.
116
9leuentrr.
Cxeuu
BbrrruclrarelbHbrx
ycrporlcra
Mox(Ho
ycAoBHo
paSAelJtTb
Ha
Tpr,r rpynnbl:
HcrroAHLrTeIbHbIe, raH$opr"raquoHHble
I,r
yn
po
B JIroque.
Ilepaue npor43BoMr o6pa6orry
ux$oprvraqurr, rrpeA-
ctas,AeHHori
n
6unapnoi
$opn'te;
Brophle
cly)r(ar
44.fi
repeAa'ru
6u-
ttopHoli
$opuu
uHQopuaqlll{
;
Tperbl{ Bblrro,rxfl ror
yrpaBl.Eroulue
drynxqnu,
reHeprapyfl coorBercrBytoqlre
cnrnarrbl
Bo ecex
clfratx
B
TOX
XAH
rrHbrx TOqKaX AOTUqeCKI,IX
CXeM CHTHa./IbI
AByX
pa3^lrrrHblx
ylloaHeri Moryr [peAcraBlflrucn
6uHapHbIMLt cHMBolaMr{
{0,I}
urrlr
AorHqecKHMr4
snarreHuffrurn
{I,IcruHa
(True),
Aoxr
(False)
},
Ilosrouy
MuoxecrBo
grreMeHToB
6yaeaoti arrre6pu
eu6upaercr 6nHapHrrr'r
11
-
{0,
1}
,
a caMa alre6pa
uasuaaetcx 6uHapHoir,
uwr rtepeKlrot{are.lrb-
ttoft,
Ee
oIeMeHTbI
Ha3blBalorcl KoHcraHTaMH,
H H
rroruqecKlllnlu
0 H
l, xoroprru
B
pqAe
clfraeB coorBercrBytor
6unapHue
qnQpu,
B
Apy-
r[tt x
c.rrfranx
--
AoruqecKl,te 3uaqeul4fl
,
coorBercrBenno lo)r(b
(
F al se
)
n
[ltc[trrunc
(True).
B
4aarrrerirueM
AAr
o6o3Ha.reHl,Ix
6yaerux
nepeMen-
xutx
6yAer'r
ucrrolb3oBarr
6yreu arrlHcKoro arr$aalrra
-
x,
y,2.,,
,
lla6op
nepeMeHHbrX
x,
y,
z.,.Mo)Ker
paccMarpuBarbcff
KaK n-pa3psA-
ttt
rft
Asou.rnrrfi
r<oA,
pa3pflAaMu
Koroporo sBl.Erorcfl
gTrr
rlepeMeHHbIe.
Onepaqnu.
O cnosHbuvr
vr, vrtvl 6a3onrtlttt, ouepaqllfl
Mra 6yrreaofi
mre6pu
cly)r(ar
(ra6a.
4.1):
I4
(AND),
I,IAI{
(OR)
u HE
(NOT).
Onepa-
qun
V
Ha3brBdercfl AorlrrrecKr,rM
yMHolKeHI,IeM
r{,ru roHr'roHxqueli r,t
o6<r
gua.raercfl
3HaKoM
yMHo)KeHrrfi
{',
a
}
. Onep aqun
14}\14 Ha3hlBaer-
ril
AorHrrecKr{M
cAox(eHI,IeM
UAH
ALr
3ttouxqnetl
tE
o6osHa.raerig
gnaxornt
(:AoxeHHr
{
+
,
v}.
Ouepaqua
HE Ha:Hsaercfl Aorl{rrecKrrM orpHIIaHI{-
eM n
H uunepcueli
(4ouolrrenueu)
r o6osnarraercfl
snaxou
{',
-}.
Tafutuqa
4.1
basonrre AoruqecKfie
onepaquu
Ilpu aunoaueHl4u
onepaqnfr
upuuenrlorcr
orl{oureHlle
SKBIaBaI
eH-
'r'r(x:TH
((:
))
u cro6xra
((
)D,
Koropble onpeAe^-firor
flopflAoK
BbIIIoAHe-
Onepauur
HarsaHlre
oneDa[]l.l 06o:na.reHre
onepauxH
H
(AND)
Jlorlrqccroe
yMHoxenue
-
KOHbIOHKUI{'
hJril
(oR) "Ilorlrqecroe cJ'roxeHne
-
Au3broHKul{t
f
HE
(NOT)
Jloru.{ecroe orpnrlagl4e
-
rrHBepcl{t
l17