Professional Documents
Culture Documents
Materjal PDF
Materjal PDF
Materjal PDF
heselt
" kui palka ei tsteta vi taega ei vhendata, siis algab streik "
" lemus on kohal ainult siis, kui tema auto on maja ees"
(snonmid)
"
Jreldumine :
Samavrsus (ekvivalents):
"
"
Inversioon
&
'
(
)
__
A A A'
+
loogiline
(
"
siis
ja samal ajal ka
Lausearvutusvalemid
on samavrne
"
Q
(
selgitus
loogiline
(
ja
loogiline
(
&
nimi
loogiline
(
loogiline
tehte
"P
tehtemrk
__
Loogikatehted lausearvutuses
formaalne thistus
"
verbaalne esitus
tlgendatav (loetav).
"mitteformaalne" "verbaalne"
definitsioon:
Lihtlause
0 1
formaalne this
on
valem
(niteks:
ja
ksik tevrtuskonstant
__
Kui
Kui
AB
|___________________________________________________________________________________|
Kui sulgudega pole tehete jrjekord avaldises mratud teisiti, siis mrab
tehete teostusjrjekorra loogikatehete prioriteedijrjestus :
nited:
Olgu antud
M
H
tene , ei
tesete lausetega.
__
__
L
__
V
|___________________________________________________________________________________|
eelised:
__
unaarset
binaarset
he operandiga
kahe operandiga
Formaalse esituse
__
__
tevrtused
__
Loogikatehete definitsioonid
__
__
nited:
__
(vited):
on suvi
vljas on soe
vihma sajab
vljas on pime
pikesevarjutus kestab
pike on loojunud
Ferrari on kiirem kui McLaren
__
\
jrgnevad lihtlaused
__
0
0
1
1
0
1
0
1
___
O =
L =
__
L
P )
( 0
__
1 )
tene]
__
(M
__
(M
__
H)
(V
H)
__
(V
H)
__
H)
__
[vale]
|___________________________________________________________________________________|
Tautoloogia .
Vastuolu
koostislausete
__
A A
Lause on
__
__
nited:
__
( S
[vale]
__
(V
(V
S)
(P
__
O)
(0
(P
0)
A A
__
O
__
(1
1) = 1
tene]
__
predikaat on he muutujaga:
x)
verbaalselt:
(3)
(3
>
2)
(3
<
4)
ehk
P(3) = 1
ehk
tene
ehk
P(5)
ehk
vale
ja
Predikaadid
on omadus
; tisarvul
pole.
Predikaatlause P x
tidetav ehk kehtestatav :
kui ta on tene ainult osade
muutujavrtuste x korral (ehk on tene osas oma mramispiirkonnas
samaselt tene
tene (kehtiv) kogu mramispiirkonnas;
samaselt vr :
kui ta ei kehti oma mramispiirkonna
mitte mingite muutujavrtuste korral;
(
) vib olla:
);
kui ta on
Kvantorid
. . . . ) korral ehk:
ldsuse kvantorit
ehk ldkujul:
Vrtustades
Predikaatlause)
Predikaat
konstandiga
(
S
(thistada)
x (
x P ( x
....
osalusel . . . .
ldsuse kvantorit
P ( x1 ) P ( x2
P ( x3 ) P ( x4 )
. . . . .
x P ( x )
__
....
....
x
x-i "
Humrgiga eksistentsikvantor ! x vidab seotud muutuja kohta:
"
x
"
Eksistentsikvantorit saab ka "eitada" :
leidub tpselt ks
"ei leidu
. . .
......
Kvantorid
Kvantorid
ja
nide:
x P ( x ) x P ( x )
x y P ( x
,
|___________________________________________________________________________________|
osutub teseks,
siis
nide:
x
Z x x
P x x
H(x x
D(x,y x
x)
"
on naturaalarv "
"
on tisarv "
"
on algarv "
"
jagub
nide:
P(x x
S x x
(
"
"
2.
3.
4.
x [
x)
x [ Z
x)
x y [ Z
nide:
"
P(x,y
x)
jagub
4-ga "
tesuspiirkonna:
(x
on tene, kui:
y)
y)
x) ]
(y
< 0)
(x
on tene, kui:
<
(x >
0)
( y < 0)
__________________________________________________________________________________
( tene )
x > 0)
P(x,y)
P(x,y)
(x
> 0)
tene )
y <
P(x,y)
0)
on tene, kui:
x >
0)
(y <
0)
|___________________________________________________________________________________|
)
( tene )
tene )
mrkus:
kui predikaatide mramispiirkonnaks oleks reaalarvude asemel tisarvud , siis
2. ja 3. predikaatvalem lihtsustuksid:
x [ H
x) ]
__
"
P(x,y)
Zx]
__
Hx Hx]
x Z y D x y
x [ P ( x
) =
|___________________________________________________________________________________|
P x,y x 2
y-ga "
S(x) T(x)
. . . . siis:
Q x x
T x
P x Q x
__________________________________________________________________________________
on paarisarv
"
x y P ( x , y )
y)
/
/
= 9
x y [ D
x,y)]
|___________________________________________________________________________________|
Loogikaseadused
Loogikaseadused on kuni kolme operandiga lihtsaimad
definitsioonidest.
A B C
assotsiatiivsus:
ABC
ABC
AB C
AB C
BA
kommutatiivsus
AB
verbaalsel kujul:
AA
neeldumine:
A AB
A AB
A (B C
A BC
(
1A
0
AB AC
AB AC
samaselt tesed
A
A
=
=
A
0
nide:
loogikaavaldised ja vrdused):
A0
A
__
A B) (B A)
ja lauset
olema ka lause
__
tene
, siis vastavalt
kontrapositsiooni seadusele
peab tene
__
A B
ABC
__
__
__
__
__
A B C
__
A B C
vastuolu seadus:
kontrapositsiooni seadus:
__
__
kui ka
|___________________________________________________________________________________|
nide:
__
V
(M
__
ABC
__
__
=
A D on
AB
Kui
_______
__
AB
__
A1
A0
__
A A
AB
AB
___________
__
=
_______
A A
B (B
AB
seadused:
sllogismi seadus:
[
DeMorgani
A
1
BA
A
A
seadused konstantidega 0 ja 1:
=
distributiivsus:
A0
A1
__
__
___________
idempotentsus:
AA
kommutatiivsus:
AB
A BC
A BC
topelteituse seadus:
DeMorgani
topelteituse
AB
______
AB
__
__
A =
=
__ __
BA
__ __
A B
A
__
(M
__
V)
__
__
H
__
H
________
__
__
(M
__
__
(M
KORDAMISKSIMUSED
__
__
V
(M
V)
|___________________________________________________________________________________|
HARJUTUSLESANDED
HULGAD
A B C
{a
( komast vib loobuda, kui iga hulgaelement esitub ksiku themrgi abil )
-2 ,
{
{
0, 1,
-1 ,
0 ,
0 ,
0 ,
1 ,
1 ,
1 ,
2 ,
2 ,
2 ,
3 ,
3 ,
3 , . . . .
. . . .
. . . . , 99
4 ,
6 ,
8 , 10 , . . . .
1 , 3 ,
5 ,
7 ,
9 , 11 , . . . .
3,
thistab tavaliselt
vrdsed ,
5 }
n |
> 1899 )
{ x
{ x
x
x
(n
< 2000 )
mod 2 = 0
mod 2 = 1
(avaldise
naturaalarvude
hulka ja
{ 5
3 }
{ 5
tisarvude
V
dV
e
xA
xB)
AA
AB
B A)
he hulga
Venni diagrammid
Venni diagramm
abcdefghijklmnopqrstuvwxyz}
c d y
a e
f
g
V
h j
u
g
o
h
w
x
b
ei kuulu
m
k
n
l
p
r
q
s
Hulga tiend
__
V ={bcdfghjklmnpqrstvwxyz
on osa universaalhulgast:
vrdsed:
Universaalhulk
on
A=B
AB
hulka.
1 }
mod 2
Osahulk (Alamhulk)
5 , 7 , 11 , 13 , 17 , 19 , 23 , 29 , . . . .
(n
0 , 2 ,
2,
V = {a e i o u }
Z = { . . . . -2 -1 0 1 2 3 . . . . }
= { 0 1 2 3 ....}
Hulgad on
e i o u
on algarv
Hulkade vrdsus
{ a, e, i, o, u, , , , }
{ hulgaelemendi this
ehk
Hulga esitamine
a |
A I:
Kui
I = {ETKRLP}
"
"
ja
A={LP }
siis
__
tiendi
__
A.
A ={ETKR}
"
Hulga
__
A
tiendi
definitsioon:
__
A =
x | xA
AB
Thi hulk
Eksisteerib ksainus
thi hulk
Hulga A tiend A
Thi hulk
I
A
7.15569823426
, ,
1
astmehulk on:
2 }
P ( { 0 , 1 , 2 } ) = { { } {0}
{1}
{2}
{0 1}
{0 2}
{1 2} { 0 1 2 } }
|__________________________________________________________________________________|
osahulka.
. . .
-3
( Hulk on
-2
2A
-1
3 . . .
kui ta pole
ja
0, 1, 2, 3 . . .
(A) =
ehk
hulga
jaoks:
AA)
. power set
7.155698234265
7.15569823427
HULGAD
lplikud
on
loenduv.
naturaalarvude
hulk
ise
ja
tisarvude
hulk
Z
lpmatud ja
hulgad. ( Meenutame, et
on mittenegatiivsed
ehk Z )
Igale tisarvule leidub temast "jrgmine" tisarv, mis teebki loendamise
vimalikuks.
Reaalarvude hulk R on lpmatu ja mitteloenduv.
hegi reaalarvu jaoks ei leidu (vrtuselt) temast "jrgmist" reaalarvu, kuna
mistahes kahe reaalarvu vahel eksisteerib alati veel reaalarve.
on
loenduvad
naturaalarvud
tisarvud
nide:
nited:
lplik )
hulk on alati ka
iga
7.155698234265 :
lpmatud
loenduvad
0, 1, 2, 3 . . .
siis kehtib
. . . 1000000000000000000000000
lpmatu ,
lplik
AA,
A ( A )
<
<
Tegelikult asub nende kahe vaadeldava arvu "vahel" mitte 1 ega 9, vaid
lpmata palju teisi reaalarve. Erinevalt tisarvudest on reaalarvude hulk
seega pidev ja sellest tulenevalt mitteloenduv.
|___________________________________________________________________________________|
on mlemad
Hulga
{ 0
(A) (ingl
)
nimetatakse selle hulga kikide osahulkade hulka.
Astmehulga elementideks on seega samuti hulgad ("hulkade hulk").
Olgu antud hulk
{0 , 1 , 2}
A astmehulgaks
A ( A
Mingi hulga
( ehk kui
Astmehulk
C
Kahe hulga Venni diagramm
mitteloenduvad
Hulgaaritmeetilised tehted
On olemas 1 unaarne
ja binaarset
hulgaaritmeetilist tehet.
Ainus unaarne tehe on eelnevalt vaadeldud hulga tiendi leidmine.
(he operandiga)
(kahe operandiga)
hulkade HED
AB
hulgaaritmeetiline liitmine )
AB
B:
{ x | xA
xB }
A\ B
{ x | xA
xB }
AB
A B
hulkade hend
A AB
HISOSA
B AB
hulgaaritmeetiline korrutamine )
Kahe hulga A ja B hisosasse
A B kuuluvad elemendid , mis
kuuluvad hulka A ja samal ajal ka hulka B :
hulkade
AB
{ x | xA
xB }
I
A
hulkade vahe
"A
Neme, et ldjuhul
Hulga
A\ B B\ A
saab lahutamistehte \ abil esitada:
{ x | (x A x B)
hulkade hisosa
AB A
VAHE
Mittelikuvad
B =
hisosata
ehk
(x
A x B)}
smmeetriline vahe
hulkade
A
{2 3 6}
siis hulgad
ja
mittelikuvad hulgad.
{
hulgad
nide: 1 4 7 }
Kui
AB B
hulgaaritmeetiline lahutamine )
Kahe hulga
A ja B vahe A \ B moodustavad elemendid , mis
kuuluvad hulka A ja samal ajal ei kuulu hulka B :
hulkade
__
A =
AB
Mistahes hulkade korral kehtivad:
"
ja
elemendid :
AB
-ta
SMMEETRILIE VAHE
hulkade
Kahe hulga
__
A
tiendit
ilma B
ja
on
mittelikuvad.
kahe hulga
Venni diagramm:
7
1
ei ole
nelja hulga
Venni diagramm
ei sobi
mittelikuvad hulgad
ja
{ 1 , 4 , 7 }
{ 2 , 3 , 6 }
ja
on mittelikuvad.
AC =
A B C D
AC
B D
AC
B D
B C
A
D =
ja
A B C D
=
Cantori normaalkujud
Hulgaavaldised
hulgathis
A
A
AB
kui
thi hulk
ja
universaalhulk
kui
definitsioon:
ja
on
hulgaavaldised ,
on
__
A
hulgaavaldises pole
hulgaavaldised
ja
ega lejnud
siis on hulgaavaldised ka
A\B
kik
henditehted
kik
thjad hulgad
tehtega
tehtega
( C ) ( A B )
A ( C ) ( A )
A B
A B
A ( C )
B C
( A B )
(
(
C)
thja hulgaga
duaalsed:
AB
Lpliku
arvu .
nide:
hulga
nide:
C
A
Hulga
vimsus
= { a e i o u }
|V| = 9
AB = A
|
A B elementide arv A B
AB = A + B AB
|
|B|
AB =
13
AB
|
AB
elementide arv
+
avaldub
|
ABC
AB
+ A B C
|
AB
A B C
HULGAALGEBRA PHISEOSED
Hulgaalgebra ehk Cantori algebra sisaldab kolme hulgatehet:
tiend
A+B =
ABC = A
B
C
A C B C
__
__
A = A
11
ABC = A
B
C
A C B C
hisosa
AB =
avaldub :
ABC
C)
avaldub :
Grassmanni valemid
Grassmanni valemid esitavad hulkade hisosa vi hendi elementide arvu.
Grassmanni valemite kehtivus on vastaval Venni diagrammil visuaalselt
kergesti kontrollitav.
(A B
)
C
(B
AA
= I
C)
(A
B
)
C)
A vimsuseks
kus
vi
|___________________________________________________________________________________|
Hulga vimsus
(TCNK)
)
C
(
(A
C )
|___________________________________________________________________________________|
AA
=
C)
universaalhulgaga
Jrgnevad 2 avaldist on
(
nide:
AB
nide:
______
A B
kahte hulgatehet:
______
niteks:
Cantori normaalkujul:
hisosatehted
ega
Duaalsed hulgaavaldised
kik
hisosa tiendit
hendi tiendit
|____________________________________________________________________________________|
kik universaalhulgad
C . . . . ) Normaalkujulises
Hulgaavaldise
A = A
hend
duaalsete paaridena.
__
I =
A
__
= I
= A
= I
__
AA =
kleepimine:
__
AA = I
idempotentsus:
AA = A
AB = BA
AB = BA
assotsiatiivsus:
(
(
A B) C = A B C
A B C = A B C
)
AB AC
AB AC
)
A (A B) = A
A (A B) = A
__
A (A B) = A B
__
A (A B) = A B
DeMorgani seadused
(kahe
______ __ __
A B = A B
hulga jaoks):
______ __ __
A B = A B
hulgaavaldis
__
Cantori normaalkujule:
____________
________________________
(A B ) \ C =
__
definitsioonist:
__
__
__
__
__
minimaalne CNK )
__
(A B ) \ C = (A B ) \ (A
___________________________
_______
__
__
__
= (A B ) ( A B ) C =
________
__
__
__
__
minimaalne CNK )
= (A B ) (A B ) C =
C
B
____________
__
__
__
= (A B) (A B ) C
__
_______
__
__
__
__
= (A B) (B A) C =
= ( A B ) (B A)
(A B) (B B) (A A) (B A) C =
= (A B) (B A) C
__
ja
kaudu:
= (A B) (B A) C =
__
Hulgaavaldiste teisendamine
____________________________
__
__
__
________
Hulgatehete prioriteet:
A B ) ( B A) C =
\
A\B = A B
A
(A \ B) (B \ A)
A
(A B) \ (A B)
__
____________
Teisendada
jreldub tehte
neeldumine:
nide:
A = (A B) (A B)
Hulgaaritmeetilised asendusseosed
A (B C =
A B C =
__
A B) (A B)
distributiivsus:
AA = A
kommutatiivsus:
__
C =
A B) (A B ) C
|____________________________________________________________________________________|
A B) A B
(
A = AB AB
(
nide:
__
__
__
(A B) (A B ) C = (A
__
(A
__
C
__
_______
__
(A B C) (A B
A
B =
__
C
__
__
__
__
= (A B C) (A B C ) (ABC)
__ __
__ __
( A B C ) ( A B C ) (A
B
C )
siin:
|____________________________________________________________________________________|
\
_______
B Cantori normaalkujuks:
A
AA
Hulga
otseruut
hulga
otsekorrutis
{ < 1, 1 >
AB
<
1, 2 >
<
2, 1 >
<
2, 2 > }
Kui
,
{ < a, b, c > | a A
{1, 2}
}
C
on
AB
nide:
jrjestatud paaride
{ < a, b > | a A
}
B
A = {1 2 3}
,
B = {a b}
,
= { < 1, a > < 1, b > < 2, a > < 2, b > < 3, a > < 3, b > }
AB
| |
paaride hulk
1845 1918)
B = {a, b}
C = {c, d}
siis
ABC
1834 1923)
a, c > < 1, a, d > < 1, b, c > < 1, b, d > < 2, a, c > < 2, a, d > < 2, b, c > < 2, b, d >}
|____________________________________________________________________________________|
Kolme hulga
ristkorrutis
ingl.
3-tuple)
hulk.
John Venn
nide:
={ <1
BA
Georg Cantor
|____________________________________________________________________________________|
AB
A )
B
AA
{ 1, 2 } , siis
iseendaga:
nide:
Kui
AA
A2 { < a b > | a A b A }
on
= (
A B)
|____________________________________________________________________________________|
( TCNK ).
A )
B
________
A B ) ( B A
)
AB
________
|____________________________________________________________________________________|
__
__
__
__
= ( A B C ) ( A B ) (A B C )
__ __
__
(A B C) (C A B) (C A B)
__ __
__
(C A B) (C A B) =
\ B ) (
A
B \
A) =
= (
A B)
__
normaalkuju
____________________
(C A) C A =
(
_____________________
A B C
hulga
ABC
...
. . . .
= {<a b c
,
ristkorrutis:
, ....
n > aA
|
bB
ingl.
cC
...
n }
Cartesiuse korrutiseks.
1809 1877)
) nimetatakse ka
Grassmann
n-tuple
Descartes
Hermann Gnter
Rene
Rene
Descartes
1596 1650)
HARJUTUSLESANDED
A = {a b c d e}
B = {a b c d e f g h}
A B
A B
A\B
B\A
BA
Mida vib telda hulkade A ja B kohta jrgneval viiel juhul (ehk millistel
On antud hulgad
ja
Leida
A B = A
A B = A
A\B\C
C (A B)
distributiivsusseadused
Esitada A
\B
tehete
ja
Lihtsustada hulgaavaldis:
A\B AB A\C
)
abil
A
=
. . . .
= B
A
vastus:
Lihtsustada hulgaavaldis:
A C B C A C A B C
)
. . . .
. . . .
= A (B C)
vastus:
Lihtsustada hulgaavaldis:
A C\A ABC
(
. . . .
vastus:
. . . .
Lihtsustada hulgaavaldis:
________________
_____
_____
)
. . . .
Joonista hulkadele
3 hulga Venni diagramm ja mrgi sellel igale
piirkonnale (osahulgale) tema elementide (ehk tudengite) arv.
kunstiga ja
kunstiga ja
spordiga ja
kunstiga ja
80
16
27
20
KORDAMISKSIMUSED
K S = 10 )
K M = 5)
S M = 8)
3
( K S M = 3)
|
kunstiga VI spordiga?
kunstiga VI muusikaga
spordiga VI muusikaga
( ehk
( ehk
( ehk
K M =
S M = ?)
K
S|
? )
? )
Mitu tudengit nendest 100-st ei tegele mitte hegagi nendest kolmest huvialast?
48%
koosneb?
(ehk K = 28 )
(ehk M = 30 )
(ehk S = 42 )
spordiga tegelevad 10
(
muusikaga tegelevad 5
(
muusikaga tegelevad 8
(
spordiga ja muusikaga tegelevad
mitu tegelevad
mitu tegelevad
mitu tegelevad
Millest
esitusviisid on olemas?
Millal on hulgad teineteisega vrdsed ?
Kui palju (mitu tk.) vib hte hulgaelementi hulgas sisalduda?
Milliste smbolitega esitatakse elemendi kuulumist vi mittekuulumist hulka?
Millal on mingi hulk teise hulga osahulgaks?
Millal on kaks hulka teineteise osahulkadeks ?
Mis on Venni diagramm?
Milline on kahe hulga Venni diagramm? Kolme hulga Venni diagramm?
Milline on nelja hulga Venni diagramm?
Mis on universaalhulk?
Mis on hulga tiend?
Milline hulk on thi hulk?
Millised hulgad on alati iga hulga osahulkadeks?
Millised hulga
Leida sobiva Grassmani valemi abil, mitu tegelevad nendest 100-st vhemalt hega
nimetatud kolmest huvialast?
osaline vastus:
hulk
vastus:
. . . .
vastus:
=
C A
_____
Testada vrdus:
. . . .
= AC
Testada vrdus:
A\B = A
A B = B A
A\B = B\A
A A B) = A \ B
A\B C\D = A C \ B D
GRAAFID
tippude hulga
b
a
c
d
c
d
c
d
e
thi graaf
e
tielik graaf
paarituid
orienteerimata graaf
graaf
paaristippudeks
c
d
orienteeritud
kaarte hulga
b
a
Kui graafil pole htegi kaart ehk tema kaarte hulk on thi: K = { } , siis
sellist graafi nimetatakse thjaks graafiks. Vastupidine rmus on tielik
graaf (tisgraaf), kus iga tipp on hendatud kikide teiste tippudega:
suunatud
elementaarahel.
Orienteeritud graaf on sidus , kui igast tema tipust leidub tee mistahes teise
tippu.
Orienteeritud graaf on hepoolselt sidus , kui tema mistahes kahe tipu a
ja b korral leidub tee kas tipust a tippu b vi vastupidi: leidub tee tipust b
tippu a.
Mlemal
eelneval nidisel leidub palju "liikumisteid" (
)
mingist tipust samasse tippu tagasi, mis lbib graafi iga kaare tpselt 1 kord.
(Osa tippe lbib Euleri tskkel korduvalt.) Igasse tippu tuleb siseneda ja
sealt vljuda sama arv kordi siit saame tippude paarisarvulise astme
nude.
Kui kanname
miste le
graafile, siis saame
Euleri tskli (kontuuri) eksisteerimise tingimuseks:
graafis leidub Euleri kontuur siis, kui iga tipu
ja
on vrdsed.
Kui graafil on
olemas, siis vib tema algustipuks valida graafi
suvalise tipu (mis osutub samas ka tskli lpptipuks).
Euleri graafi
ahelaid
Euleri tskli
orienteeritud
Orienteeritud
sisendaste
vljundaste
Euleri tskkel
Hamiltoni graaf
Euleri ahel
Euleri graaf
Orienteerimata graaf on
Euleri graaf
, kui ta omab
Euleri tsklit
Hamiltoni
Hamiltoni graaf ei oma sellist lihtsat tunnust, nagu see leidus Euleri graafile.
K
Seega saadakse jkgraaf osade kaarte rajtmisega, kusjuures kik tipud
silivad.
Graafi G = ( T , K ) taandatud graaf on graaf Q = ( D , B ) kus on
ra jetud osad graafi G tipud ja nende tippudega seotud kaared.
Seega B K ja D T
Graaf on mingi graafi alamgraaf , kui ta on selle graafi mingi taandatud
jkgraaf ehk on sellele graafile samaaegselt nii
kui ka
Q
G alamgraafiks
QG
Graafi
Euleri graafid
Euleri graafi tunnus:
paaristipud
graafid
G =
( T , K )
jkgraaf
graafi (suhtes)
graaf
Kui graaf
on graaf
Q =
( T , B )
kus
taandatud
jkgraaf ).
on graafile
Kahealuseline graaf
c
d
kahealuseline graaf G 2
c
d
B = T
kahealuseline graaf G 1
a
a
d
Osadest baasi tippudest leidub tee graafi osade tippudeni ja teistest baasi
tippudest leidub tee muude tippudeni, kuid kigi baasikuuluvate tippude
peale kokku leidub tee graafi iga tipuni. Oluliseks osutub just minimaalne
selline hulk, sest vttes osahulga koosseisu kik graafi tipud:
, on
sellisest "baasist" kik tipud kindlasti saavutatavad.
c
d
e
graaf
G1
Graafi
Graafi
G = ( T , K )
baas on
selline osahulk
e
graaf
B =
ST
{a,c}
Graafi
baas on
G2
B
{d}
on graafi tippude
Tasandiline graaf
Graaf on
, kui ta on paigutatav tasandile selliselt, et ta kaared
(s.t. kaared likuvad ainult tippudes).
tasandiline
ei liku
a, c
b, d
b, c
d, e }
Isomorfsed graafid
Tasandiline graaf G
Orienteeritud graafi
,
on selline minimaalne tippude
osahulk T , kus hulga B tippudest leidub tee selle graafi mistahes
teise tipuni (ehk graafi iga tipp on baasist saavutatav).
G = ( T
K )
baas B
a
d
Puud
Isomorfsed
Puu
on
sidus tskliteta
graafid
Mitteisomorfsed
prdgraaf
2
graaf
4
graafi
Puud
Kromaatiline arv
graafid
orienteerimata graaf.
prdgraaf
raafide
esitusviisid
Visuaalselt parim graafi esitusviis on "graaf ise" ehk graafi joonis. Kik
eelnevad nited graafidest on esitatud ainult graafide joonistena. Joonis on
graafi "vahetu" esitus, mis annab meile temast parima levaate. Kuigi
graafmudelite koostamisel eelistame luua nad algselt joonistena, sobib arvutis
esitada graafe ka tabelisse (maatriksisse) organiseeritud viisidel.
aabrusmaatriks (Lhedusmaatriks)
Vaatleme kige esimeses nites olnud orienteeritud graafi:
1
2
7
3
6
orienteeritud
0
0
1
0
0
1
0
0
0
1
0
0
0
0
1
0
0
0
1
1
0
0
1
0
0
d
e
graaf
graafi G
Knigsbergi sillad
a
a
naabrusmaatriks
Intsidentsusmaatriks
A
B
Knigsbergi sillad
Pstitati ksimus: kas on vimalik letada kik sillad tpselt 1 kord, judes
seejrel tagasi jalutuskigu alguspunkti ?
Kuna sildade arv on vike ja teekonna alguspunktiks on valida ainult 4 kohta, siis
nnestub kikvimalikud variandid lihtsalt lbi proovida, vaadeldes igat
teevarianti ainult seni, kuni jrgmiseks letatavaks sillaks teekonnal tuleb
paratamatult valida mni juba lbitud sild.
Katseliselt sellist teed otsides juame peagi ratundmiseni, et sellist sildade
lbimisjrjestust ei leidu.
Selle probleemi korrektsemaks ksitluseks on sobiv rakendada matemaatilise
mudelina graafi.
Koostame Knigsbergi sildade graafmudeli , vttes sillad graafi kaarteks ja
saared-jekaldad graafi tippudeks:
1
1
1
0
0
0
a
b
c
d
e
2 3 4 5 6
0
0
0
0
1
0
0
0
0
1
1 0 1 1 0
0
0
0
0
1
0 1 1 1 1
graafi G
7
0
0
0
?
0
intsidentsusmaatriks
C
A
D
B
sildade graafmudel
multigraafile vastav
multigraafina
graaf
Kaardi vrvimislesanne
Poliitilisel kaardil on teatavasti riigid erivrvilised, kusjuures phinudeks on
naaberriikide ehk hist piiri omavate territooriumite thistamine erinevate
vrvidega. Kuigi oleme harjunud ngema kaardil palju erinevaid vrve, osutub
graafiteooria abil testatavaks, et erinevate vrvide vajalik ja piisav arv kaardi
vrvimisel on hoopis viksem.
Olgu eesmrgiks vrvida kokkupuutuvad territooriumid kaardil minimaalse arvu
erinevate vrvidega, nii et naaberterritooriumid oleksid erinevat vrvi. (Seejuures
ei loeta hiseks piiriks punkti , mis osutub "piiriks" niteks kahe sirge likumisel
moodustuvatele aladele ehk "hepunktilise" piiriga alad vivad olla
samavrvilised.)
Kaardi vrvimislesannet vaadeldes tasub kaardi jaoks koostada tema
graafmudel, kus ravrvitavad maa-alad (riigid) on graafi tippudeks ja omavahel
on kaarega seotud ainult need tipud, millele vastavad territooriumid omavad
kaardil hist piiri. Selliselt koostatud graafmudel on alati tasandiline graaf
(ehk tema kaared ei liku). Nii saame kaardi vrvimiselt le minna tasandilise
graafi vrvimislesandele, kus ainsaks nudeks on vrvida "naabertipud"
erinevalt, kasutades kogu graafi kohta minimaalset arvu erinevaid vrve.
D
C
A
C
B
4 vrvi hpoteesi
illustreerivad nited
A
B
7
3
vastav
8 piirkonnaga "kaart"
vastav
7
3
mberpaigutatud graaf
tasandiline graaf
(kahealuseline)
Leonhard Euler
1707 1783)
tasandiline graaf
sir
William Rowan
Hamilton
1805 1865)
Augustus De Morgan
1806 1871)
Sndinud Indias, mis oli Inglise koloonia ja kus ta isa teenis ohvitserina.
7-aastaselt asus perekonnaga mber Inglismaale.
Ttas Londoni University College'is matemaatikaprofessorina.
Esitas loogikaseadused, mida hakati nimetama DeMorgani seadusteks.
Vttis kasutusele miste matemaatiline induktsioon.
HARJUTUSLESANDED
Hamiltoni kontuur ?
kas graafil leidub Euleri kontuur ?
leida tippude sisendastmed
leida tippude vljundastmed
koostada graafi naabrusmaatriks
vastus:
on isomorfsed
isomorfsed
f
vastus:
vastus:
ei ole
leida graafi
B
leida maksimaalne sltumatute tippude hulk
leida graafi
baas
kromaatiline arv
isomorfsed
isomorfism vimatu, kuna vasakpoolsel leidub tipp astmega 4, kuid parempoolsel sellist pole)
vastus:
baas
B =
{7}
vastus:
on isomorfsed
KORDAMISKSIMUSED
graaf
orienteeritud
orienteerimata
thi
tielik
tisgraaf ) ?
Mis on tipu vljundaste? Mis on tipu sisendaste?
Mis on orienteerimata graafi tipu aste?
Mis on paaristipp? Mis on paaritu tipp?
Mis on
graaf
Millest
Mis on
graaf ?
Mis on
koosneb?
graaf ja
graaf ?
graaf (
ARVUSSTEEMID
Kik olulised arvussteemid on
neile ettenhtud kindlatel asukohtadel
positsioonilised
. . . .
arvujrkudes
-1
-2
-3
-4
. . . .
Igas jrgus
. . . .
Kui
ssteem numbrimrkidega
, millega saab kll arve
esitada, kuid millega ei saa teha "ksitsi paberil" aritmeetilisi tehteid
kindlate reeglipraste vtetega, nagu on vimalik niteks 10ndssteemis
arvutamisel.
I V X
kaal
Jrgukaalud:
Kui alus
astendades:
. . . . p
p = 10
-1
. . . . 100
10
-3
-4
. . . .
. . . .
....
10 10
-2
- 3
0.01
madalamad jrgud
123.45
= .... + a p + a p + a p + a p + a p + a p + ....
nide:
0
1
10
11
100
101
110
111
1000
1001
1010
1011
1100
1101
1110
1111
.0000120003000
120003
372
10
koos kigi
Kahendssteem
Kahendssteem on lihtsaim vimalik positsiooniline arvussteem:
a
{ 0, 1 }
ssteemi
jrgukaalud
. . . 2
32
16
2
4
kuni
63 ) :
-1
-1
-2
-2
-1
0.5
10
100
10
12310
-2
-3
10000
10001
10010
10011
10100
10101
10110
10111
11000
11001
11010
11011
11100
11101
11110
11111
10
10
10
10
10
10
10
10
10
10
= 10
10
= 11
10
= 12
10
= 13
10
= 14
10
= 15
10
100000
100001
100010
100011
100100
100101
100110
100111
101000
101001
101010
101011
101100
101101
101110
101111
= 16
10
= 17
10
= 18
10
= 19
10
= 20
10
= 21
10
= 22
10
= 23
10
= 24
10
= 25
10
= 26
10
= 27
10
= 28
10
= 29
10
= 30
10
= 31
10
110000
110001
110010
110011
110100
110101
110110
110111
111000
111001
111010
111011
111100
111101
111110
111111
= 32
10
= 33
10
= 34
10
= 35
10
= 36
10
= 37
10
= 38
10
= 39
10
= 40
10
= 41
10
= 42
10
= 43
10
= 44
10
= 45
10
= 46
10
= 47
10
= 48
10
= 49
10
= 50
10
= 51
10
= 52
10
= 53
10
= 54
10
= 55
10
= 56
10
= 57
10
= 58
10
= 59
10
= 60
10
= 61
10
= 62
10
= 63
10
32
+
+
+ 1
43
10
p = 2
123
0000000 . . . . 10
..... 9.
Arvu vrtus
Tvenumbrid
372
vrtus
|____________________________________________________________________________________|
ingl.
. . . . 00000
jrguvrtust.
{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
ehk
10
siis
erinevat numbrimrki
. . . .
murdosa
krgemad jrgud
123.45
p = 10 ,
-1
0.1
tisosa
-2
saab olla
kmnendssteem
. . . . 10 10 10 10 10
, siis on
arvujrgu
. . .
0.25 0.125
(ehk 2ndarvud
nide:
Teisendame 10ndtisarvud
37
10
56
10
109
10
2ndkujule:
: 2
18
9
4
2
1
56
28
14
jagatav
jagatis
krgeim jrk
0
0
0
1
1
1
37
10
37
10
27
jk
13
6
3
1
( 3 2 ) + 1
( 27 2 ) + 0 =
100101
56
10
111000
109
10
2 58 =
16
= 1101101
+ 16
1 2 3
28
8
18
127
10
512
64
-1
-2
-3
. . .
0.125
8
48
28
21
10
60
10
8310
Eelpool toodud seitsme 2ndjrgu abil nnestub esitada arve kuni vrtuseni 127:
32
hexadecimal (hex)
Kuueteistkmnendssteem
....
64
7 4
54
64
. . . 8
|____________________________________________________________________________________|
. . . . . .
{0 1 2 3 4 5 6 7}
4096
4 + 1
8ndssteemi jrgukaalud:
32 +
1
0
1
1
0
1
1
54
1 0 0 1 0 1
p = 8
: 2
109
32
37
jagaja
: 2
madalaim jrk
1
0
1
0
0
1
37
= 1 1 1 1 1 1 12
Kaheksandssteem
8ndssteemi alus on 8 ja seega peab seal olema 8 vimalikku
p = 16
{0 1 2 3 4 5 6 7 8 9 A B C D E F}
16ndssteemi jrgukaalud:
. . . 16
16 16 16 16 16
4096
256
16
16 . . .
-1
-2
0.0625
F = 15
16
13 16
6 16
18
77
F F
16610
10
16
1 0 016 =
255
10
25610
46110
4 D
10
11
12
13
14
15
16nd
0
1
2
3
4
5
6
7
8
9
A
B
C
D
E
F
2nd
0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111
8nd
0
1
2
3
4
5
6
7
10
11
12
13
14
15
16
17
2nd
000
001
010
011
100
101
110
111
16
16
4 16
10 16
1
A 616 =
10
1CD
16
....
nide:
.... 7
00
Seega
1011010 1001112
132478
000
Seega
1011010 1001112
16A716
1011010 1001112
13247
12
18
16A716 =
10
1 163
38
28
6 162
48
10 161
1
+
2
+
78
7 160
5799
10
= 579910
= 579910
|____________________________________________________________________________________|
16ndssteemi thtsus
B7
algarvud
jaguvad ilma
(
726 . 54644783
traditsiooniline this on Z :
= { . . . . -2 , -1 , 0 , 1 , 2 , 3 , . . . . }
Tisarve vib vaadelda murdarvude erijuhuna, kus murdosa kikides
=
1 ,
2 ,
traditsiooniline this
3 ,
on kik
. . . .
ratsionaalarvud
naturaallogaritmi alus
10
182
10
273
10
456
10
2ndkujule
vastus:
10110110
100010001
111001000
182
273
456
10
10
10ndarvud
95
10
182
10
273
10
456
10
8ndkujule
vastus:
95
10
137
182
266
273
421
456
710
10
10
10
Teisendada
10ndarvud
79
10
182
10
273
10
456
10
1001011
75
10
Teisendada
10
HARJUTUSLESANDED
75
3 . 14159 . . . .
2 . 71828 . . . .
KORDAMISKSIMUSED
reaalarvudeks
traditsiooniline this on R
Diskreetne matemaatika ei tegele reaalarvudega.
10ndarvud
ja irratsionaalarvud.
tisarvud, siis osutuvad kik
Reaalarvude hulga
Irratsionaalarvu
on
....
0 .7142857. . . .
jagatisena.
3.00000000 ......
aturaalarvude hulga
100000000
Teisendada
72654644783
0 .714285714285
Tisarvude hulga
).
traditsiooniline this on Q .
osutub iga lpliku murdosaga murdarv ja iga lpmatu
perioodilise murdosaga murdarv.
Kuitahes pika lpliku murdosaga murdarvu saab alati esitada kahe tisarvu
jagatisena:
nide:
on arvude
ja
jagatis.
reaalarvud
Ratsionaalarvuks
Arvude liigid
{0,
Ratsionaalarvude hulga
Kui arvutimlu sisu tuleb kuidagi visuaalselt nidata, siis eelistatakse mlus
tegelikult asuvate 1-de ja 0-de nitamise asemel esitada mlubaitides asuvate
2ndarvudega vrdseid 16ndarve.
(ingl.
jgita)
0516
6A16
FF16
000001012 =
011010102 =
111111112 =
16
E416
FE16
16ndkujule
vastus:
79
10
4F
16
182
B6
273
111
10
10
456
10
16
16
= 1C8
16
15
nide:
00101101
010
11011
10
000101
|____________________________________________________________________________________|
16
1011
1001
nide:
001
010
011
{ 0100
on 2
|____________________________________________________________________________________|
intervalli vektoresitust
smbolitest
, kus intervalli olulised (ehk konstantsed) jrgud on
thistatud nendesamade konstantidega
ja mitteolulised jrgud on
thistatud smboliga
.
le-eelmise nitena toodud intervalli vektoresitus on
:
0 1
{ 000
001
010
011
{ 0100
0110
0 1 0
0 1 0
| {0, 1}
| =
\
3
nide:
|{0, 1}
|____________________________________________________________________________________|
0110
olulist jrku ja
= 3
{ 0
jrku.
nide:
n mitteolulist
Intervallis
olulisteks jrkudeks
000101
intervalli
1 }
| = 2
{ 0
1 }
= 8
{ 0
1 }
hulk:
1-mtmelist, 2-mtmelist
x2
01
{ 0, 1 }
|{0, 1}
| = 2
= 16
|____________________________________________________________________________________|
n-jrguliste 2ndvektorite x1 x
. . . x
{ 0 1 }n
,
y1 y2
ja
x x
1
. . . x
y y
. . . y
{
i
0, 1 . . . n
. . . y
}(x
i
{ 0, 1 }n
x1 x2
0
00
1-mtmeline hperkuup
x1 x2
x1
00000
<
<
0111
10
> 001
00010
01101
<
00110
10
001
101
000
100
x1
Kahendvektorite vrdlemine
<
< 110111
00111
<
01111
<
11111
vrdlemine
010
00101
01001
3-mtmeline hperkuup
<
KORDAMISKSIMUSED
>
100101
> 01000
01
101
x3
110
> 00
Kuid 2ndvektorite
ja
vahele ei saa panna kumbagi vrratusmrki
> ega < .
Nad on mittevrreldavad 2ndvektorid.
Samuti on mittevrreldavad:
ja
;
ja
x3
111
vrdlustehetega
0101
101
011
010
Seega
2-mtmeline hperkuup
x2
10
Moodularvutus
Kui m ja n on naturaalarvud: m, n
n mod
1
2
3
4
5
6
7
8
9
10
11
nide:
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
4
4
4
4
4
4
4
4
4
4
4
(mooduli rakendamine)
siis
{ 0 , 1 , 2 , . . . . . m 1 }
=
=
=
=
=
=
=
=
=
=
=
10
11
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
5
5
5
5
5
5
5
5
5
5
5
=
=
=
=
=
=
=
=
=
=
=
19
15
10
11
12
13
14
15
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
mod
8
6
3
2
2
2
2
2
2
2
2
=
=
=
=
=
=
=
=
=
=
=
3
3
0
0
1
0
0
1
0
1
Kui alusega p arvussteemi mingil arvul jtta alles n madalamat jrku, siis
selline krgemate arvujrkude rajtmine on samavrne mooduli pn
rakendamisega sellele arvule.
15289 mod 102 = 15289 mod 100 = 89
15289 mod 103 = 15289 mod 1000 = 289
15289 mod 104 = 15289 mod 10000 = 5289
nide:
|____________________________________________________________________________________|
nide:
|
|
mod 2 = 0
mod 2 = 1
x
x
mod 2 = 0
....ja teine on
{ x
}
}
paarisarvude hulgaks:
, 2 , 4 , 6 , 8 , 10 , 12 . . . .
1 , 3 , 5 , 7 , 9 , 11 , 13 . . . .
mod 2 = 1
VASTAVUSED
Vastavus (ehk
seos)
mingeid elemente.
Olgu pilaste hulk: A = { Jri Mari Jaan Juhan
ja vimalike hinnete hulk: B = { 0, 1, 2, 3, 4, 5 }
Nende 6 pilase hindamisel luuakse
hulgast
vastavus
Mati }
Kati
hulka B.
Kui
Jaan
Kati
Mati
__
| | = |A B|
Vastavuse
elemente
Kui
nide:
__
(eelneva
3>
<
ehk
< Jaan,
<
1>
a, b >
< Kati,
4> }
siis vib ka
D () = {
: A B muutumispiirkonna R () moodustavad
R =
(
__
:AB
, 3, 4, 5
AB,
a, b >
{1
AB
AB
< a, b > }
__
nidisvastavuse tiendis
sisaldub
31
jrjestatud paari
{ < a, y >
< a, z >
< d, p >
1 seab sihthulga B
Vastavuste kompositsioon on
BA
assotsiatiivne: (1
2 ) =
3 )
siis
1 =
1 : A B
2 : B C kompositsioon
1 2 on vastavus, mis seab hulga A elementidele
ja
Vastavuste liigid
Vastavus
AB
on
ehk
AC
kikjal mratud
a
b
c
d
e
f
kikjal mratud
p
q
d
x
D =A
2 :
, kui
1 :
Vastavuste kompositsioon
Vastavuste
< a, b >
|____________________________________________________________________________________|
liitvastavus
< Juhan,
hulgana :
: A B mramispiirkonna D () moodustavad
nidisvastavuses:
Vastavuse
5>
(eelnevas nidisvastavuses:
prdvastavus
vastavaks
||
:AB
AB
smbol
ei thenda siin implikatsiooni, vaid illustreerib suunda:
hulgast A hulka B" )
A on sellisel juhul vastavuse lhtehulk ja B on vastavuse sihthulk .
Vastavuse matemaatiliseks mudeliks (esituseks) on jrjestatud paaride
hulk.
(
a-le
ab
siis defineeritaksegi
ristkorrutise osahulgana:
on hulk
< Mari,
seab
Vastavuse
"
(eelnevas
diagramm
sihthulga
Vastavuse
Juhan
ja
: AB
Vastavus
thistada:
Mari
vastavuse
lhtehulga
vastavust
Eelnev nitevastavus
2
0
vastavus
AB
on
kikjale mratud
, kui
R () = B
b
g
4
c
Funktsioon
kujutus" , "teisendus" , "operaator" ).
Kui
( samuti:
Kui
( ) , siis sihthulga elementi
nimetatakse (lhtehulga
elemendi ) kujutiseks ja elementi x nimetatakse elemendi
originaaliks.
on funktsioon , siis
funktsiooniks
kikjale mratud
A B on
vastavus
Vastavus
a D
(
hene
4
c
hene
vastavus
R ()
D ()
a,b
( )
(b )]
4
6
3
2
ks-hene
injektsioon
vastavus
Funktsioonide liigid
on
( )
: AB
Injektsiooni
on
injektsioon
, siis
|A|
|B|
srjektsioon:
bB aA [ a
Kui
3
e
ehk
= b
:
4
6
bijektsioon
srjektsioon
nimetatakse ka pealekujutuseks.
Srjektsiooni korral leidub sihthulga igal elemendil (vhemalt 1) originaal.
Srjektsiooni
funktsioon on injektsioon.
korral kujutuvad (teisenduvad) lhtehulga erinevad
elemendid erinevateks elementideks sihthulgas:
4
c
ks-hene
(a)
Injektiivse funktsiooni
ks-hene
kontrapositsiooni seadusest
on
(b )
Kikjale mratud
, kui ta on hene ja
iga element vastab tpselt hele
elemendile:
Mrgime, et
definitsioonikujud vrdvrsed)
{ < b, b > | b B }
: AB
Vastavus
muutumispiirkonna
mramispiirkonna
(ehk
a b D [ a =
D [a
AB )
mramispiirkond
D () = A , siis selle rhutamiseks vib funktsiooni nimetada ka
1
e
hese
: AB
Kui funktsiooni
b
g
injektsioon
D (
)
funktsioon
srjektsiooniks
ega
injektsiooniks
bijektsiooniks .
funktsioonid
: AB
, kus lhtehulk
B on
B = { 0, 1, 2, 3, 4, 5 } .
nitab eksamil saadud hinnet.
Selgita, millistel tingimustel on :
osaliselt mratud funktsioon?
tielikult mratud funktsioon?
srjektsioon?
injektsioon?
bijektsioon?
hinded:
Vastavus
a R b
elatsioonid
Binaarne
sihthulk
Binaarsuhted
ehk
prdvastavus
-1
= { < b, a >
relatsioon
"Relatsioon
M"
mingi binaarsuhe
Relatsioon
"a ja b
a, b > R
<
R}
< a, b >
......
nide:
{ < 1, 2 >
kui ka
< 2, 3 >
< 3, 4 >
< 4, 5 >
< 2, 4 >
1, 4 >
R2
ja
R3
on
< 3, 5 >
< 2, 5 >
|____________________________________________________________________________________|
Graafi
on alushulga { 2, 3, 4, 5, 6 } elemendid ja graafi iga
esitab hte
<a b>
tippudeks
kaar
{ 2 , 3 , 4 , 5 , 6 } millel on mratud
jrjestatud paari
R R
jrjestatud
R =
elatsioonide esitusviisid
R1 = R
lhtehulk
hulgal
, siis teldakse, et
( a
R R
kompositsioon iseendaga:
(kahendsuhted)
R :
a, b >
R
R
i n j e k t s i o o n i d
HARJUTUSLESANDED
On vastavus
<
on binaarne relatsioon ja
funktsioonide liigitumine
M M
bijektsioonid
s r j e k t s i o o n i d
konstantne
Kui
3
e
{ < 2, 2 >
paaride hulgana:
< 3, 3 >
= { < a, b > | a
< 4, 2 >
mod
< 4, 4 >
b = 0
< 5, 5 >
< 6, 2 >
< 6, 3 >
< 6, 6 >
R R R
naabrusmaatriksiga (lhedusmaatriksiga):
2
3
R =
on relatsioonis
b = 0
( orienteeritud ) graafina:
1
0
1
0
1
0
1
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0
0
0
1
hikrelatsioon
E ehk
on binaarsuhe, mis seab
igale alushulga elemendile vastavaks ainult selle elemendi enda:
hikrelatsioon
E =
R:
4
6
relatsiooni esitus
{ < a, b >
{ < 2, 2 >
E =
-1
graafina
MM
Eelneva nidisalushulga
E =
binaarsuhte diagonaal
| a = b
{2, 3, 4, 5, 6}
< 5, 5 > < 6, 6 > }
E| = |M|
jaoks
M
alushulgal M.
Hulk
REL
astmehulk
Kui
ehk
2 (MM
M M ,
REL
R REL(
)
Seega
siis
M M
R:
(M M )
on seega
{}
R 0
Kui
on
refleksiivne, siis
antirefleksiivsus
Relatsioon on
2
R:
) :
a b M [ a
(
< a, b > R
b)
a M ( < a a > R )
) :
refleksiivne,
a M ( < a a > R )
antirefleksiivne,
3. smmeetria 3
2 )
refleksiivseks paariks
niteks
hikrelatsioon
Relatsioonide omadused
1.
Relatsioon on
iseendaga.
relatsioon
refleksiivne
2.
ullrelatsioon
ullrelatsioon
4
6
<b a>R]
,
antirefleksiivne relatsioon
5.
transitiivsus
b cM[ a R b
) :
a,
( b R c)
(a
R c) ]
R:
R:
4
6
5
smmeetriline
Kui
on
R1
smmeetriline, siis
4. antismmeetria ( 4 )
,b
relatsioon
(a
6.
R
transitiivne, siis
antitransitiivsus
a b c M [ a R
b)
6 )
(b
R R
c)
(a
siis
c)]
R
3
R:
4
6
5
antismmeetriline
antismmeetriline,
< b, a >
on
on
R:
Kui
b) < a, b >R
Kui
transitiivne relatsioon
a M [
relatsioon
antitransitiivne relatsioon
nide:
antitransitiivsed :
d (R , 1 )
d (R ,
d(
d (R ,
d (R ,
R 3 )
(R 5 )
2 )
4 )
6 )
antitransitiivne relatsioon
antitransitiivne relatsioon
|____________________________________________________________________________________|
nide:
Alushulgal
R =
{a
b c e
} on mratud relatsioon
{ < a, a > < a, b > < a, c > < b, e > < c, c > < c, e > < e, b > < e, c > < e, e > }
|____________________________________________________________________________________|
Transitiivne sulund
R
^
transitiivseks sulundiks
transitiivse sulundi
refleksiivsed paarid
hikrelatsiooni
Kui alushulgas
^
nimetatakse vhima
paaridearvuga transitiivset relatsiooni, mis sisaldab endas alamhulgana
relatsiooni R .
Mingi relatsiooni
saamiseks tuleb seega lisada talle
need jrjestatud paarid, mis on vajalikud transitiivsuse tekkimiseks.
Relatsiooni
= n
[( R2
siis
transitiivne sulund
on
avaldatav:
Rn1 ) \ E ]
. . .
refleksiivset paari,
transitiivsusele
R:
relatsiooni
tippude koguarv
1)
kaart.
Seega
Kui
nide:
Alushulgal
{ < 1, 3 >
{1
2 3 4 5
< 1, 4 >
< 3, 4 >
R = R
} on mratud relatsioon
< 4, 5 >
< 5, 2 > < 5, 3 > }
R =
{< 1
transitiivse sulundi
,3>
< 1, 4 >
< 3, 4 >
< 4, 5 >
< 1, 5 >
< 1, 2 >
< 4, 3 >
< 4, 2 >
< 5, 2 >
[( R R3
2
R
R3
R4
=
=
=
=
{ < 1, 3 >
{ < 1, 4 >
{ < 1, 2 >
{ < 1, 2 >
< 1, 4 >
< 4, 2 >
< 4, 3 >
< 5, 4 >
< 1, 5 >
< 3, 2 >
< 3, 3 >
< 4, 4 >
< 1, 4 >
< 3, 4 >
< 4, 5 >
< 5, 3 >
< 5, 2 >
hend
moodustab hulga:
< 3, 4 >
< 4, 5 >
< 1, 2 >
< 4, 3 >
< 4, 2 >
R =
< 5, 4 >
< 3, 5 >
13
|____________________________________________________________________________________|
R^
{<
< 3, 3 >
< 5, 2 >
< 5, 3 >
< 4, 4 >
refleksiivsed
< 5, 5 >
paarid
E lahutamine.
transitiivne sulund
1, 3 >
< 1, 4 >
< 3, 4 >
< 4, 5 >
< 1, 5 >
< 1, 2 >
< 4, 3 >
< 4, 2 >
< 5, 2 >
< 3, 5 >
< 1, 4 >
{<
< 4, 5 >
< 1, 3 >
hikrelatsiooni
< 3, 2 >
< 3, 4 >
1, 3 >
Nende 4 hulga
eemaldab
Tulemuseks on
< 5, 3 >
\E]
< 1, 5 >
R:
M
2
( algse
Leiame relatsiooni
vivad sisaldada
R :
nide:
n1
. . . . R
R2 R3
Kuna R astmed
< 5, 3 >
}
< 5, 5 >
< 3, 3 >
< 4, 4 >
< 5, 5 >
< 5, 2 >
< 5, 3 >
< 3, 2 >
< 5, 4 >
< 3, 5 >
13
|____________________________________________________________________________________|
HARJUTUSLESANDED
refleksiivne
1 ) smmeetriline 3
(
) ,
R2 =
R3 =
antitransitiivne ( 6 )
R naabrusmaatriksiga:
On antud relatsioon
R:
R5 =
R6 =
< a, b > |
"
< a, b > |
"
a ja b on kohtunud
< a, b > |
{
{
"
"
a on b-le vlgu
< a, b > |
"
a ja b istuvad krvuti
"
< a, b > |
"
. . . . .
}
viksid nendel relatsioonidel olla?
2
3
1
0
0
0
0
0
1
0
0
0
4
5
1
0
1
0
0
0
0
1
1
0
ja
Leida kaugused
ja
d(R,
"
__
Esitada
R4 =
omadusteni
1 2 3 4 5 6
transitiivne sulund
__
R
R1 omadused
Millised on
, kui
antirefleksiivsete
R = M
relatsioonide
arv
, kui
|M| =
vastus:
vastus:
2
n
arv
, kui
vastus:
|M| =
n
2
n
+n
Ekvivalentsisuhe
Binaarsuhet e. relatsiooni nimetatakse ekvivalentsisuhteks , kui ta on
refleksiivne, smmeetriline ja transitiivne.
nide:
Olgu alushulgal
{a
b c d e
antud relatsioon
jrjestatud paaride
hulgana:
{ < a, b >
< c, c >
< d, d >
< e, b >
< e, a >
< a, a >
< b, b >
{ <1, 2>
R =
<2, 2> <1, 4> <1, 3> <4, 3> < 3, 5> <5, 3> <1, 5> <4, 5>
KORDAMISKSIMUSED
vastavus
Mis on
Mis on vastavuse
Mis on vastavuse
Mis on vastavuse
Mis on vastavuse
Mis on vastavuse
lhtehulk
sihthulk
vastavus
osutub?
mramispiirkond
muutumispiirkond
tiend
c
b
d
ekvivalentsisuhe
|____________________________________________________________________________________|
b c d e
a b e
c d
Tkeldus
jrgnevaks
ingl.
b c d e
ehk
tkelduseks:
{ { a b e } {c d } }
vi thega
R :
....
. . . .
__
a b e
c d
0
0 0
0 1
0 0
0 0
0 1
7
8
0
0 0
0
1
0 1
0 0
0 1
0 1
0 0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
B = )
0
0
0
0
0
0
0
0
0
0
0
0
R :
5
8
tkelduseks
Tkelduse omadused
Hulga
1
1
6
7
0 0
0 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0 0
0 0
0 0
0
0
0
nide:
{ {a b e} {c d} }
{1
4 5 6
7 8
}:
1 2 3 4 5 6 7 8
Hulga
{ 1 2 3 4 5 6 7 8 }
__
____
2 5 8
ks vimalik tkeldus
2 3 4 5 6 7 8
jrgnevad tkeldused
____
__
1 4 6
2 8
Tkelduste korrutamine
nide:
____
____
1 3
2 5 8
4 6 7
__
__
4 6
2 8
2 3 4 5 6 7 8
nide:
4 6 7
____
Tkelduste liitmine
1 3
{ {1 3} {2 5 8} {4 6 7} }
__
|____________________________________________________________________________________|
on:
Tehted tkeldustega
P1 P2
ja
4 6 7
|____________________________________________________________________________________|
2 5 8
P1 + P2
______
____
1 3 4 6 7
2 5 8
2 3 4 5 6 7 8
|____________________________________________________________________________________|
Tkelduste vrdlemine
vi
P 1 < P2
P1 > P2
P1 + P 1
1 +
ehk tkelduste summa on alati suurem mlemast liidetavast tkeldusest.
P
Tkeldused on
....
1<
Bm-1 Bm }
ja
B P D P
P2
= { D1
B P D P
P = P2 )
B=
i
__
____
____
1 3
2 5 8
4 6 7
____
__
1 4 6
2 8
+ P2
.... D
n-1
__
__
4 6
2 8
1 3 4 6 7
1 2 3 4
_
1 2 3 4
Tkeldused
7 8
}:
__
__
12
3 4
__
___
__
a b
c d e
f g
ehk
<
__
__
12
3 4
<
__
__
13
2 4
ja
1 3
2 4
ja
_____
1 2 3 4
on omavahel mittevrreldavad.
korrutis
2
P
2 =
summa
ja
___
___
a b c
e f g
__
ab
+ P2
__
f g
________
abcdefg
KORDAMISKSIMUSED
___________
1 2 3 4 5 6 7 8
__
12
3 4
2 3 4
kahte tkeldust:
_ _
2 3
__
__
1 3
2 4
nulltkeldus:
ehk
1 2 3 4
<
__
_____
<
__
P1 P2
__
nide:
1 =
hiktkeldus:
P1 P2
___________
vastus:
Vaatleme hulga { 1
1 2 3 4 5 6 7
HARJUTUSLESANDED
|____________________________________________________________________________________|
hiktkeldus
2 5 8
1234
_ _ _
_ _ _
_
6
_____
P1 + P2
_
5
_ _ _ _ _ _ _ _
____
1 =
_
4
_
3
_
2
Vime veenduda, et P1 ja P
teisest suurem ega viksem.
Kehtib:
1 2 3 4 5 6 7 8
______
ulltkeldus
ulltkeldus on hulga vikseim vimalik tkeldus. Nulltkelduse kik
ekvivalentsed ?
Jrjestussuhted
Osaline
jrjestussuhe
refleksiivne ,
on jrjestussuhe hulgal
Koostame hulgal
siis ta on
R =
siis "relatsioon
jrjestab hulga
".
R = {
,
|
mod
on samuti (mitterange)
<a b>
b =
, kuna ta on
<a a>
antismmeetriline :
a jagub b-ga ,
transitiivne :
(kui a jagub b-ga
(kui
siis
ei jagu
R)
a-ga:
< a, b > R
< b, a >
< a, b >
< a, b >
< a, b >
igaks
ehk
tielikuks jrjestussuhteks
ingl.
chain)
ehk
ja sellist hulka
lineaarselt jrjestatud
MM
{ < a, b >
| (a
) (a b ) }
b
ja
{3}
{4}
ega
{4}
{3}
ehk
on vaadeldav
mittevrreldavaid elemendipaare ei leidu.
osalise jrjestussuhte
erijuhuna, kus
Tielik jrjestussuhe
jrjestussuhte alternatiiviks on
jrjestussuhe.
Kui hulga mistahes 2 elementi on jrjestatavad
(ehk relatsiooni jrjestuskriteeriumi abil vrreldavad) :
Osalise
tielik
b) (a b) ]
[ (a
Relatsiooni
Hasse diagramm
hulgaks
Tielik jrjestussuhe
{3, 4}
a,b
jrjestussuhteks.
lineaarjrjestuseks
|____________________________________________________________________________________|
.... osutuvad
relatsiooni
osaline jrjestussuhe
refleksiivne
Kui
nide:
kui ( a
ja
krgemale kui
transitiivsust
ja
)
paigutatakse diagrammil
ja nad hendatakse omavahel joonega.
(a
, siis
refleksiivsust
|____________________________________________________________________________________|
nited:
Tisarvude hulk
jrjestatud
Z ;
Hulk { , , , } jrjestuskriteeriumiga
1 2 3 4
jrjestatud hulgaks
lineaarjrjestus.
ja relatsioon
( { 1, 2, 3, 4 } ;
tielikult
< ) on seega
nide:
|____________________________________________________________________________________|
,
jrjestatud
(2
{3, 4}
{3}
{4}
ehk
< { }, {3,
{ }
relatsioonile
< a, b >
asendub
< b, a >-ga )
Hasse diagrammid
Hasse diagramm on osalise jrjestussuhte illustratiivne graafiline esitus.
{ }
4} > R
{3, 4}
Hasse diagramm
paaride hulgana,
R =
{3, 4}
{3,4}
|____________________________________________________________________________________|
nide:
tielikule
ning
jrjestusele
} ;
( {1,2,3,4} ;
<)
{a b}
{a c}
{a}
011
{b c}
001
{c}
{b}
101
010
Hasse diagramm
Hasse diagramm
0111
Hasse diagramm
relatsioonile({1,2,3,4}; <)
011
101
110
001
010
100
nide:
16
18
12
c
e
1
osaliselt jrjestatud hulkade
0101
0001
0110
0010
0100
1010
1100
1000
0000
Hasse diagramm
relatsioonile
1001
{0,1}
Hasse diagramm
<)
relatsioonile
{0,1}
<)
Hasse
Helmut
1898 1979)
Kui jrjestatud hulgas leidub element, mis on viksem igast teisest selle
hulga elemendist, siis see element on vaadeldava hulga vhim ehk esimene
element.
Jrjestatud hulga M vhim element on seega element n mille korral on
tidetud tingimus:
nM mM (n m)
,
Kui jrjestatud hulgas leidub element, mis on suurem igast teisest selle hulga
elemendist, siis see element on vaadeldava hulga suurim ehk viimane
element.
Jrjestatud hulga M suurim element on seega element x , mille korral on
tidetud tingimus:
x mM (m x)
a
b
0011
1110
jrjestab
1101
ehk vrdlustehe
1011
000
osalise jrjestussuhte
esituvad
111
{ 0, 1}
1111
100
000
110
{ }
111
{a b c}
Jrjestatud hulgas saab seega olla tpselt ks vhim element, mis on samas
ka hulga ainus minimaalne element ja samuti saab hulgas olla tpselt ks
suurim element, mis on samas ka hulga ainus maksimaalne element.
Jrjestatud hulgal vivad vhim ja suurim element mlemad ldse
puududa ka siis, kui hulk on lplik.
Hasse diagrammid
ja
|____________________________________________________________________________________|
Kui jrjestatud hulk on lplik , siis peab selles hulgas kindlasti leiduma
vhemalt ks minimaalne element ja vhemalt ks maksimaalne element.
nide:
puudub
maksimaalne element
maksimaalne element
24
maksimaalne element
16
18
12
minimaalne element
minimaalne element
vhim element
Tkked. Rajad
lemtke
f
h
36
, 4, 6
<
, 2>
S M
nide:
\
1, 2, 4, 6, 24, 36
lemraja
24
|____________________________________________________________________________________|
, 4, 6
Olgu hulk
36
M={
} millel on defineeritud jrgneva
diagrammesitusega mingi osaline jrjestussuhe:
24
mM aS ( m < a )
minimaalne element
Olgu endiselt S
Element m
on hulga S alamtke kui m on (kasutatava
jrjestuskriteeriumi mttes) vksem osahulga S mistahes elemendist:
Alamtke
suurim element
maksimaalne element
mM aS ( a < m )
Alamraja
glb
sup
inf
nide:
2 4
sup
36
,4,6
inf
2 4
2 4 6
2
,e,g
sup
inf
d, e, g
|____________________________________________________________________________________|
Vre
Vre
lattice) on (osaline) jrjestussuhe, kus alushulga suvalise kahe
elemendi jaoks leidub alamraja ja lemraja.
(ingl.
nide:
HARJUTUSLESANDED
kas osahulgale
leida kik
kas osahulgale
{ a, b, c } leidub
alamtkked
osahulgale
{ f, g, h } leidub
{ a,
12
18
36
36
12
18
b, c }
vhim lemtke?
{ f,
Vre
g, h }
suurim alamtke?
leidub nii
sup ( S )
kui ka
inf ( S ) .
vre.
on seega
|____________________________________________________________________________________|
vastus:
maksimaalsed elemendid on { l, m }
minimaalsed elemendid on { a, b, c }
suurimat elementi pole
vhimat elementi pole
lemtkked osahulgale { a, b, c } on { k, l, m }
vhim lemtke osahulgale { a, b, c } on k
osahulgale
{ f, g, h } alamtkkeid pole
osahulgale
{ f, g, h } suurimat alamtket pole
ja
Vretehted
a a = a
kommutatiivsus:
a b =
b a
a b = b a
assotsiatiivsus:
b) c =
(a b) c
=
(a
a (b c)
a (b c)
neeldumine:
a a = a
ja
a (a b) = a
a (a b) = a
Vre alushulgaga
osutub
algebraliseks ssteemiks
1 2 3 4 6 9 12 18 36
,)
vreavaldis
Vreavaldiste duaalsus
= 3
ja
3 < 9.
sup (
{ a, b } ) =
inf
korral:
{ a, b } ) =
{a b c}
{a b c}
ja
on olemas kik
Hulgaaritmeetilistel tehetel
omadused, mis peavad olema vre tehetel ja .
; )
vre
Seega algebraline ssteem ( 2
hend
hisosa
{a b c}
on
Distributiivne vre
{a b c}
{a b}
{a c}
{b c}
{a}
{b}
{c}
Hasse diagramm
relatsioonile
Vre
{a b c}
) ja
vrele (2
{a b c}
, )
nide:
distributiivne ,
on
= a
Kui vrel on olemas nii alamtke kui ka lemtke, siis selline vre on
tkestatud.
(a
b) (a c)
b cM
a,
korral kehtib
a b) (a c)
= (a b) (a c)
(
b
0
|____________________________________________________________________________________|
a (b c)
nide:
(
< ) on
sellisel vrel olemas alamtke (naturaalarv 0 ) , kuid puudub lemtke.
Tisarvude tielikult jrjestatud hulgal ( Z , < ) puudub nii alamtke kui ka
lemtke.
kui iga
, kehtivad suvalise
a ( b c)
a ( b c) =
Vre tkked
I =
distributiivsus:
mittedistributiivsed
0
vred
(a
b) (a c)
a (b c) = a 0 = a
(a b) (a c) =
I c = c
kuid
HARJUTUSLESANDED
Millised osalised jrjestussuhted jrgnevast kolmest on
vred
selles nites
|____________________________________________________________________________________|
)
,
tkestatud
nide:
vastus:
|____________________________________________________________________________________|
kik 3 on vred
Koostada
Hasse diagramm
hulga { 1, 2, 3, 4 }
__ __ __ __
= { 1
osalisele jrjestussuhtele
<)
kus alushulk M
___ __ __
12
4 ;
___ __ __
____ __
_____
13
123
1234 }
4 ; . . . . . . . .
M?
M ;
< ) on
vre?
4 ;
on
Boole'i algebrad
nide:
on tkestatud , distributiivsed
ja
tienditega vred.
1 , 2 , 3 , 5 , 6 , 10 , 15 , 30
10
15
{2, 3}
{2, 5}
{3}
10
15
30
vre
tkestatud
jaoks
10 ;
jaoks
. . . . .
|____________________________________________________________________________________|
Aatomid
Osalise jrjestussuhte
KORDAMISKSIMUSED
15
10
15
30
30
nide:
{2 3 5}
{2 3 5}
thi hulk
{ }
hend
ja lemtkkeks on hulk { , , } .
hisosa tehe
ja tehteks
(2
{2 3 5}
)
,
|____________________________________________________________________________________|
ta on
: kik vretunnused on olemas ja kehtivad vre kik seadused
vre on
: alamtke on 1 ja lemtke on 30
vres kehtib distributiivsus
vre on tienditega: a = 3
a =
a=
a =
10
{5}
Boole'i algebra
|____________________________________________________________________________________|
Alamtkkeks on siin
Vre tehteks
{3, 5}
{ }
Boole'i algebrad
on hulkade
{2}
{2, 3, 5}
aatomiteks 2 ,
{2 3 5}
30
nide:
=
/
Boole'i algebrad
George Boole
1815 1864)
Loogikaalgebra
{0 1}
"
{0 1} ;
{0
1}
nide:
w x
= x1 w x x
1
Loogikaavaldiste duaalsus
avaldise kik
avaldise kik
Loogikaalgebra phiseosed
Kuna
loogikaalgebra
on Boole'i algebra
ehk
1.
definitsioon:
loogikamuutuja
ja konstandid 0 1 on loogikaavaldised
__
kui A on loogikaavaldis, siis on avaldised ka A ja A
x
|____________________________________________________________________________________|
tehe
thi hulk
asendada
universaalhulk
0
konstandiga
Kik hulgaalgebra
x'
x
konstandiga
asendada
vi
1 :
x , y, z { 0 1 }
LOOGIKAALGEBRA
PHISEOSED
_
x
seosed konstantidega
__
__
0 = 1
1 = 0
ja
1:
0 1 = 0
x1
= 0
0 =
xw
tehe
1 = 1
(tienditega distributiivne)
isomorfsed.
xw
on
Loogikaalgebra
x0
hulgaalgebra
"
on
"
.... x
asendada
avaldise kik
"
duaalse
"
"
idempotentsus
DeMorgani seadused :
xx
1 = 1
x
(
xx
= 0
xwx
= 1
xwx
______
x w y
____
y
x
neeldumine
x y
x w xy
distributiivsus
x( y w
z) = x y
x w y
x w y
x w x y
x w x
y
x w y
xz
( y z) = (x
y)(x
x w y
x w y
x y w y
x y w y
ning samuti
x w yx
ehk
z)
kleepimine
x y w x y
x w y ) ( x w y
nide:
neeldumisseadusest
niteks avaldises
x1 x
x
2
w x x
x x x
x x
x
1
( x1 x
2 x3 ) [ x4 x5 ]
x x x
|____________________________________________________________________________________|
Loogikatehete asendusseosed
Asendusseosed
__________
w y w z
_____
x y z
x y z
x w y w z
w y w z
____________
x w y) w z
_______
__
x w y) z
w
x y
x y z
=
implikatsioon:
ekvivalents:
summa mooduliga 2:
x w y
...
elementaarsete
y
xy
x
(vlistav "VI" )
loogikatehteid
loogikatehete
kaudu:
w y
x
x y
mitteelementaarseid
asendavad
x y)( y x)
y w x y
x
y w x y
x
= . . . . . . =
x1
x 1 x2
0 1
1 0
1 1
tabeli
tabeli
tabeli
tabeli
1.
3.
1.
2.
ja
ja
ja
ja
2.
4.
3.
4.
reast:
reast:
reast:
reast:
0
0 1
1 0
1 1
0 0
1 0
0 1
1 1
0
w x x
1
w x
w x
x
saab ldistada:
saab ldistada:
saab ldistada:
saab ldistada:
w x
xx
( x1
x w
= 0
w x
)( x
1
w x2 )
x x
w x
x
x
x
w x x
x w x
= 1
w x
x
2
x
x
x x
w x x
2
1
x w y
w x
x w x
2 )
w x
Avaldise
x1
w x
pikk inversioon
|____________________________________________________________________________________|
)( x
1
x w x
y
w x x
x x
2
w x x
x
x
w x1
0 =
___
x1 x x
2
sulgudega
selle
x ( y w z)
nide:
Loogikaavaldiste teisendamine
w x
x
|____________________________________________________________________________________|
1
1
0
1
0 0
1 w x x
x
___
x x x
1
teisendamisel
HARJUTUSLESANDED
tpiline viga:
Kuigi
(x
1
x w x
= 1
kuid
___
x1 x w x1 x
2
meenutame, et
x1 x w x1 x
2
x w x
x
kehtimist
vrdlemise teel.
x w x
1
tevrtustabelite
Lihtsustada avaldist
x w x
x
x
1
w x
loogikaalgebra phiseoste
abil :
. . . . . .
vastus:
. . . . . .
x w x = 1
tuleneb:
x x w x1 x 1
1
x1 x w x x
ei jreldu sellest, et
neeldumisseaduse
Kontrollida
w x
2 ) x
x3
2 )
|____________________________________________________________________________________|
x ) x
1
w x
2
x2
. . . . . .
vastus:
. . . . . .
w x
x
x
x
1
x3
x1 )
. . . . . .
vastus:
=
. . . . . .
x x
x
x )
2
w x
2
. . . . . .
vastus:
=
. . . . . .
x w x x2 w x
x
1
2
x
. . . . . .
vastus:
. . . . . .
2 ( x w x
x
) ( x2
w x
. . . . . .
vastus:
=
. . . . . .
2 x
x
( x1
x2 ) ( x1 x3
x2 )
. . . . . .
vastus:
. . . . . .
x
x
w x x
1
3-muutuja funktsioon
x1 x
....
{ 0, 1 }
) :
{0 1}
loogikavrtuse
vi
x1 x2 ) : { 0 , 1 }
n-
{ 0, 1 }
jrgulisele kahendvektorile
f ( x1 x2 )
{0 1}
000
001
010
011
100
101
110
111
on seega vastavus
{ 0, 1 }
x 1 x2
{ 00 01
10
x1 x2
1 0
1 1
1-de piirkonna
argumentvektorid
Funktsiooni
argumentvektorid
x1 x
. . . x
0-de piirkonna
x1 x
. . . x
{ 0, 1 }
i+1
f ( x1
1 0 1
x 1 0 x +1 ... x
i
. . . x
. . . x
1 1 1
)
n
= 1
=0
...
x 1 1 x +1 ... x
i
i+1
..
x 1 0 x +1 .. x
i
f ( x1
..
x 1 1 x +1 .. x
i
....
....
tevrtustabel
.... x
{ 0, 1 }
x = 0
x = 1
on
(101) = 0
{ 0, 1 }
V0 V1
V
n
{0, 1}
.... x
__
f ( x1
f ( x1
1 1 0
{ 0, 1}
...
1 0 0
( x1 x
) mingi muutuja x on
funktsiooni mitteoluline muutuja , kui lejnud muutujate
x .. x x .. x kikvimalike vrtuste korral kehtib:
2
0 1 1
{0 1}
.... x
0
1
0
0
1
0
1
1
0 1 0
f ( x1 x2 x3 )
0 0 1
vastavuse diagramm
mingile 3-muutuja funktsioonile
0 0 0
Mitteolulised muutujad
n-muutuja loogikafunktsiooni
x1 x2 x3
x = 1
V
n
moodustavad need
V , mille korral f ( x1 x
, n moodustavad need
V0 , mille korral f ( x1 x
Funktsiooni tevrtuspiirkonnad
Funktsiooni
= 8
(x 1 x2 x3 ):
...
0
1
0
0
0 0
Argumentvektor (kahendvektor)
f ( x1 x2 )
0 1
{ 0, 1}
11 }
{ 0, 1}
{ 0, 1}
vastavaks
1.
2-muutuja funktsioon
f
....
f ( x1 x2 x3 ) on 8-elemendilise lhtehulgaga
vastavus:
3
f ( x 1 x2 x 3 )
{0 1}
{0 1}
3-mtmeline Boole'i ruum sisaldab
erinevat 3-jrgulist
kahendvektorit:
, 3 { 000 001 010 011 100 101 110 111 }
Seega on 3-muutuja loogikafunktsiooni tevrtustabel samuti 8-realine.
Jrgnevalt esitame he suvalise 3-muutuja loogikafunktsiooni nii
vastavusdiagrammina kui ka tevrtustabelina :
x 1 x 2 x3
f ( x1 x2 x3 )
0
1
0
1
1
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
= 2
{ 010
x1 x2 x3
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
100 }
f1
f2
f3
f4
0
1
0
0
0
0
1
1
0
1
0
0
1
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
1
0
1
1
1 f2 f3 f4
esitamiseks
f2
f3
f4
esitamiseks.
tevrtustabel
vi
konstant
x x
x
x
x x x
Elementaardisjunktsioon
x x x x
x
1
on ksik
x wx
wx
w x
2
x w x w x
3
vi elementaarkonjunktsioonide disjunktsioon.
Jrgneval kahel real on mlemal ks DNK :
x1 x
x w x
x x
w x x
3
w
x x
x
w x
x w x
x x x
2
1, 6, 7
f ( x1 x2 x3 )
)(
w x
x
w x
1
Jrgneval kolmel real on igal real avaldis, mis on samaaegselt nii DNK kui
ka KNK :
x w x w x
x x
x
x
1
" pii":
2, 4
( 2, 4 )
ehk
tielik DNK :
)(
x wx w x w x
x w x )(x
w
x
w x w x
x
)(
x w x
wx wx
)(
x w x
wx
wx
L [( x1 w x2 ) x3 ]
)(
0, 3, 5 )
x1 x
x x
w x x
x x
x x
x
w x
x x
w x x x
x w x x
x
x x
x
x
ehk
loogikaavaldis
Loogikaavaldise
( 2, 4 )
0, 3, 5
vi elementaardisjunktsioonide konjunktsioon.
w x w x w x
x
( 2, 4 )
f ( x1 x2 x3 )
1, 6, 7 )
vi selle
1 .
f ( x1 x2 x3 )
Tielikud normaalkujud
Tielik DK ( TDK ) on DNK, kus iga elementaarkonjunktsioon
Loogikaavaldiste normaalkujud
inversioon
f ( x1 x2 x3 )
numbriline kmnendesitus
0-de
.... x
Loogikafunktsioonide esituskujud
x1 w x
algtermide arv:
keerukus
L ( x1 x3 w x2 x3 )
L(x 0)
) saadakse funktsiooni
) saadakse funktsiooni
-de piirkonnast.
-de piirkonnast.
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
001 ,
000
111
101
vrtus
= 1
ja
annab
f (x
x x
2
( x1
wx w x
2
) ( x1
wx
w x
2
(x
x x
2
1 x
x
x
w x
x x
w x x
x
w x x x
w x x x
1
)(x
1
wx w x
f (010) = 0
(001)
f (100) = 0
f (110) = 0
f (111) = 0
(000)
(011)
f (101)
, 011
...
V = { 000
0 0 1
1
0
x1 x 2 x 3
=
=
0
0
0
w
w
w
0
0
0
w
w
w
0
0
0
w
w
w
0
0
0
w
w
w
0
0
0
Selliselt saadav KNK osutub tielikuks KK-ks (TKNK), kuna iga tema
elementaardisjunktsioon sisaldab kiki kolme funktsiooni muutujat.
Vaatleme koostatud TKNK-avaldise "kitumist" 0-de piirkonna iga
konkreetse argumentvektori korral:
f
000)
w 0) (0 w 1 w 1) (1 w 0 w 1)
011
(011)
(0
w 1 w 1) (0 w 0 w 0) (1 w 1 w 0)
101
(101)
(1
w 0 w 1) (1 w 1 w 0) (0 w 0 w 0)
110
....
0w
001)
(010)
(100)
(110)
(111)
0w
w 1) (0 w 1 w 0) (1 w 0 w 0)
111
(0
w 1 w 0) (0 w 0 w 1) (1 w 1 w 1)
(1
w 0 w 0) (1 w 1 w 1) (0 w 0 w 1)
(1
w 1 w 0) (1 w 0 w 1) (0 w 1 w 1)
(1
w 1 w 1) (1 w 0 w 0) (0 w 1 w 0)
111
111
111
111
111
0-dest.
HARJUTUSLESANDED
loogikaavaldist:
0
0
1
0
1
0
0
1
1
0
1
1
1
0
1
0
1
1
1
1
vastus:
vastus:
vastus:
vastus:
vastus:
x1 x2
0 0
0 1
1 0
1 1
_________
x x
x
x
x x
________
________________
______
x
x
x x x
x
x
x
x x
Arvutada
tevrtustabel
f
( x1
3-muutuja loogikafunktsioonile:
x2 x3 )
(x
1
)
vastus:
x1 x2 x3
f ( x1 x2 x3 )
1
0
1
1
1
1
0
0
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
KORDAMISKSIMUSED
Mis on loogikaalgebra?
Millest loogikaalgebra koosneb?
Mis on loogikamuutuja?
Kuidas nimetatakse numbrimrkidega 0 ja 1 esitatud loogikavrtusi?
Mis on loogikaavaldis? Loogikaavaldise definitsioon.
Millist loogikatehet thendab tehtemrgi puudumine operandide vahel?
Mitu loogikatehet on olemas? Mitu operandi nendest igahel on?
Millisel tingimusel on kaks loogikaavaldist omavahel vrdsed?
Kuidas saadakse mingi loogikaavaldise jaoks tema duaalne kuju?
Milline seos on omavahel hulgaalgebral ja loogikaalgebral ?
Milleks kasutatakse loogikatehete asendusseoseid? Millistele tehetele on nad olemas?
Mis on n-muutuja loogikafunktsioon?
Mis on argumentvektor ja mida ta esitab?
Mida nitab loogikafunktsiooni tevrtustabel?
Mis on funktsiooni 1-de piirkond? Mis on 0-de piirkond? Kuidas neid thistatakse?
Mis on funktsiooni mitteoluline muutuja?
Millisele kujule on mitteolulis(t)e muutuja(te)ga loogikaavaldis alati teisendatav?
Milline loogikafunktsioon on osaliselt mratud?
Mis on funktsiooni mramatuspiirkond? Kuidas seda thistatakse?
Millega vrdub funktsiooni 1-de piirkonna, 0-de piirkonna ja mramatuspiirkonna hend ?
Millise vrtuse omandab funktsioon oma mramatuspiirkonnas ?
Kuidas esitatakse tevrtustabelis funktsiooni mramatuspiirkonda ?
Mida tehakse funktsiooni mramatuspiirkonnaga ?
Mitu tielikult mratud funktsiooni sobivad esitama funktsiooni, mille | V | = n
esitusviisid
numbriline 10ndesitus
Millised on loogikafunktsioonide
numbrilise 10ndesituse
koosseisus?
Mis on algterm?
Mis on elementaarkonjunktsioon?
Mis on elementaardisjunktsioon?
Mis on disjunktiivne normaalkuju (DNK)?
Mis on konjunktiivne normaalkuju (KNK)?
Esitada nitena avaldisi, mis on samaaegselt nii DK kui ka KK .
Mis on tielik disjunktiivne normaalkuju (TDNK)?
Mis on tielik konjunktiivne normaalkuju (TKNK)?
Mis on loogikaavaldise keerukus?
Mis on minimaalne DK (MDNK) ? Mis on minimaalne KK (MKNK) ?
Millisest loogikafunktsiooni piirkonnast tuleneb DK? Millisest piirkonnast tuleneb KK?
Kuidas kirjutatakse funktsiooni tevrtustabelist vlja funktsiooni TDK vi TKK ?
Mitu erinevat tielikku disjunktiivset normaalkuju ( TDK ) on igal loogikafunktsioonil?
Mitu erinevat tielikku konjunktiivset normaalkuju ( TKK ) on igal loogikafunktsioonil?
Mitu TDK elementaarkonjunktsiooni vrtustub 1-ks suvalise argumentvektori korral?
Mitu TKK elementaardisjunktsiooni vrtustub 0-ks suvalise argumentvektori korral?
Milline loogikafunktsioon ei oma TDNK-d? Milline loogikafunktsioon ei oma TKNK-d?
f ( x1 x2 )
(x) =
inversioon
on vaadeldav he
he muutujaga
x
0
1
x)
x)
f (x)
f (x)
x)
1
=
f (x)
x)
0
=
1
=
f (x)
x1 x2
f (x)
Inversioon
(x)
1 1
x1 x2
f ( x1 x2 )
0 0
. . . . .
0 1
. . . . .
1 0
. . . . .
. . . . .
( x1 x2 )
( x1 x2 )
( x1 x2 )
( x1 x2 )
( x1 x2 )
2-
f2
f3
f4
f5
f6
f7
0
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
x1 x2
________
x1 x2
x1
________
x2 x1
________
x1 x
x2
f13 ( x1 x2 )
f14 ( x1 x2 )
f15 ( x1 x2 )
f15
1
0
0
0
1
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
2
x
x2 x1
1
x
x1 x2
______
konstant
f1 ( x1 x2 )
x1 x2
konjunktsioon
f2 ( x1 x2 )
f3 ( x1 x2 )
x1
___
x1 x
f4 ( x1 x2 )
f5 ( x1 x2 )
konstant
Disjunktsiooni inversiooni
Peirce arrow
")
esitatakse ka mrgiga
("Sheffer stroke")
x1 x2
prdimplikatsiooni inversioon
teine muutuja
x2
x1
ekvivalentsi inversioon
x1
f7 ( x1 x2 )
x1
f8 ( x1 x2 )
x1
f9 ( x1 x2 )
x1
f10 ( x1 x2 )
2
x
f11 ( x1 x2 )
x2
f12 ( x1 x2 )
1
x
"summa
( x1
x2 x3 )
( x1 x2 x3 )
vlistav
VI "
ekvivalents
prdimplikatsioon
65 536
erineval viisil
nide:
f (x
=
=
on selliselt esitatav
1001
ehk
f (x x )
x1
x2
|____________________________________________________________________________________|
1
x x
) =
3
nide:
f (x
10ndarvuna
23
on funktsioon
00010111 .
f (x
x x
000101112
tevrtustabeli
10 )
23
256
erineval viisil:
( x1 x2 x3 )
( x1 x2 x3 )
0 0 0
. . . . .
0 0 1
. . . . .
0 1 0
. . . . .
0 1 1
. . . . .
1 0 0
. . . . .
1 0 1
. . . . .
1 1 0
. . . . .
1 1 1
. . . . .
f0
f1
f2
f254
f255
256
"
disjunktsiooni inversioon
vrtusteveeruga
mooduliga 2"
disjunktsioon
f (x
( x1 x2 x3 )
x2
esimene muutuja
x1 x2
Kolme muutujaga
_________
Konjunktsiooni inversiooni
implikatsiooni inversioon
x1
elja muutuja
konjunktsiooni inversioon
f6 ( x1 x2 )
implikatsioon
x1
x1 x2
__________
x1 x2 x3
f14
f0 ( x1 x2 )
f6 ( x1 x2 )
f1
f13
___________
he muutuja
f0
x1 x
f12
___________
Kik
______
f11
x1 x2 x1 x2
16
f10
___________
1 1
f9
________
1 0
x1
0 0
0 1
f8
x x
2
= x1 x x x x2 x
2
( kontrollida! )
|____________________________________________________________________________________|
("vlistav
VI")
x1 x2
Loogikatehe (
on
ekvivalentsi inversioon:
x1 x
_______
samuti:
_______
x1 x
x1 x2
f6
f9
0
1
1
0
1
0
0
1
0 0
0 1
1 0
1 1
x1 x2
0 0
0 1
1 0
1 1
2
2
2
2
mod
mod
mod
mod
0
1
1
2
=
=
=
=
mod
mod
mod
mod
2
2
2
2
=
=
=
=
Avaldise
XOR
( eXclusive OR
VI
ja
"vlistav
VI"
ja
( OR
"
"
XOR
korral
1 0
1 1
"
vrtusega
tevrtustabelist ilmneb, et
Seega konstandi
inverteerib
Kuna
sest
Kuna
ja samuti
1 1
x 1
= 0 ,
konstante
1 1
1 1 1
1 1 1 1
1
1 :
1 1
1 1
1 1
0
1
1 1
0 0 = 0
ja samuti
= , siis vib ldistada, et liites loogikamuutujale
x tema enda, on tulemuseks alati 0 olenemata x vrtusest:
x x = 0
Kuna
x1 x x x = 0
x1 x x x x x = 0
2
x
x
jne.
x
x
x
x x x
x
0 = 0
00
_
0
01
_
0 = 1
1 = 0
1 = 1
10
_
11
x
x
x
x
= x x x1 x
1
= x
= x
0
0
on ka tehte
x(y
z )
suhtes
z )
x y
x z
distributiivne :
x y
x z
0 0
0 1
0 1
1 0
1 0
1 1
1 1
x x
vastupidiseks.
1
0
0 :
0 1
1 1
x1 x
vastastikku teineteist
Tehte omadused
Tehte
{ 01, 10 }
Eelnevat asendusseost:
11
"
"
nagu "vlistaksid"
0 1
XOR
"
x1 x
x1 x2
0 0
ehk "vlistav
x1 x2
Tehe
vrtustub -ks siis, kui kas esimene vi teine operand
(kuid mitte mlemad korraga) on .
( Mrgime, et praktilises keelekasutuses kasutatakse sidesna VI
justnimelt thenduses
VI ehk igapevane sidesna VI siiski
erineb veidi temale omistatud / defineeritud thendusest lausearvutuses )
Operandivrtused
x x
"vlistav
"vlistav
11
XOR
0
1
1
1
= x1 x x x
VI
ja
) ilmneb
nende sarnasus. Erinevus on ainult argumendivrtuste kombinatsiooni
x1 x
korral.
Vrreldes tehteid
0
1
1
0
0
1
1
0
f7
f6
x(y
0
0
0
0
0
1
1
0
x y
x z
0
0
0
0
0
1
1
0
x ( y z y z
xy
=
x z
xyxz
x z y x z
x
siis
tehtega
x y ) x z x y (x z ) =
x y z
x y x
, kusjuures selliselt
__
x y x z
x y z x y z
abil.
x2 = x1 x x x
x y z x y z
TDNK
nii avaldisele
1 x x
x
x1 x
x
2
TDNK-ga :
nide:
x x x
x x x x x x
1 x x
x
|____________________________________________________________________________________|
kui ka avaldisele
101 , 110 } .
Tehete
Tehete
ja
x1 x
x2 x2
x )
2
x1 x3 ]
x2
[(
0 0 0
[ ( 0
[ ( 0
0 1 0
[ ( 0
0 1 1
[ ( 0
1 0 0
[ ( 1
1 0 1
[ ( 1
1 1 0
[ ( 1
1 1 1
[ ( 1
x2 )
w
w
w
w
w
w
w
w
1
x1 x2
0 )
0 )
1 )
1 )
0 )
0 )
1 )
1 )
w x
1 x3
__
0 0 ]
__
0 1 ]
__
0 0 ]
__
0 1 ]
__
1 0 ]
__
1 1 ]
__
1 0 ]
__
1 1 ]
x2
x ]
x
1
x2 =
x2 =
x2 =
[ ( x1
x2 )
__ __
0 1
__ __
1 0
__ __
1 1
( x1
w x
) x
x2
1 x
x
2
1
[ ( x1
x2 )
w x
1 x3 ] x2 vib seega kikjal asendada
1 x
x
2
DK lihtsustamisvtted
DNK on eelistatuim avaldisekuju. Avaldiste teisendamine viibki prast
mitteelementaarsete loogikatehete asendamist
abil ;
sulgude lahtikorrutamist
abil ;
konjunktsioonide "
"deks korrutumist:
x x .... x ... =
. . . .
asendusseoste
distributiivsusseaduse
. . . . .
__ __
1 1
konstant 0
__ __
1 0
w x
1 x3
) x2
|____________________________________________________________________________________|
__ __
0 1
= 1
__ __
0 0
lihtsama avaldisega
__
0 0
(x
1 w
Avaldise
x1 x2
__
0 0 0
x1 x2 x3
(x
1 w
x1 x2
1 x3 ]
x
DeMorgan'i seadust
________
[ ( x1 x
osutub, et
[(x
ja
= [ x1 w x
ja
tehete
samavrsuse tingimus
x1 x
2 x2 w
Seega
asendamiseks ja samuti
loogikatehete asendusseoseid
Mrgime, et kuigi
x xy = x
neeldumine ei kehti: x x y x
nide:
avaldise tavaliselt
0;
Tekkinud DNK pole tavaliselt MDNK ehk seda saab seljuhul tiendavalt
lihtsustada. Selleks tuleb esmalt tuvastada, kas vahetulemusena saadud
DNK-avaldises leidub neeldumisi :
x xy
vi
x x
y
x y
neeldumine
sulgudesse jb
kujul
x x
)
avaldis kujul
x x y )
nide:
Olgu vaja
loogikaalgebra phiseoste
abil
lihtsustada
etteantud
TDNK
1 x
x
2 x
3 w x
1 x2 x3 w x1 x2 x3 w x1 x2 x3 w x1 x2 x3 w x1 x2 x3 =
neeldumisi
"konstant 0"
ja
1 x
x
3
x1 x2 x3
1 ( x
x
3 w x2 x3 )
1 ( x3 w x2 )
x
1 x
x
3
x1 x2
x1 ( x2 x3 w x2 )
x1 x3
x1
1 2
x1 w
x ) ( x
nide:
x1 x
2 w x
1 x2 x3 =
DNK-
)(
x w x x w
1
KNK-ks
w x x
3
x )x
w x x x
x
x )( x x )( x
w x1 ( x
x3 )
. . . . . .
w x
. . . . . .
= x
x2
w x x
x
1
w x x
w x x
x1 x x w x x
x w x x
x
w x x x
)(
______
x1 x
x
x
1
x
x
x x
x x
x
x
x x
x
x
______
2
w x x
3
w x x
2
):
w x
x
1
1 x x
x
3
x3
x x
______
. . . . . .
x1 x x
1 x
x
-s funktsioon:
x x
. . . . . .
vastus:
MDNK ):
w x
x
DK
Esitada
x x x x
)
. . . . . .
__________
_______
[x
x w x ( x w x ) ] ( x x w x
vastus:
)(
w x x
________________
_______
f ( x1 x2 x3 )
DK
4
. . . . . .
vastus:
x1 x
x
w x3 )
tielikuks:
vastus:
. . . . . .
w x
3 ) ( x1 w x2 )
= ....
nide:
( MDNK
x1 x2 w x1 ) ( x1 x2 w x2 ) ( x1 x2 w x3 ) =
x x x x w x x w x x
. . . . . .
avaldise
vastus 2 (
2 w x
x
1 ) ( x1 w x2 ) ( x1 w x3 ) ( x2 w x3 )
TDK
. . . . . .
HARJUTUSLESANDED
|____________________________________________________________________________________|
|____________________________________________________________________________________|
x1 w x
3 ) ( x1 w x2 ) =
( x1 w x
2 w x
3 ) ( x1 w x2 w x
3 ) ( x1 w x2 w x
3 ) ( x1 w x2 w x3 ) =
= ( x1 w x2 w x3 ) ( x1 w x2 w x3 ) ( x1 w x2 w x3 )
x1 w x2 ) ( x1 w x2 )
= ( x1 w x1 ) ( x2 w x1 ) ( x1 w x2 ) ( x2 w x2 ) ( x1 w x3 ) ( x2 w x3 )
=
w x1 x
x
w x
x x
w x x x
= x x x
1 x
2 x
3 w x1 x
2 x
3 w x
1 x2 x
3 (
)
1 2 3 w x1 x2 x3 w x
|____________________________________________________________________________________|
w x1 x3
x x
....
tielikuks
( TDNK )
tielikuks
= x
1 x
3 w x2 ( x1 w x1 ) w x1 x3 = x1 x3 w x2 w x1 x3
|____________________________________________________________________________________|
x1 x2 w x
3
x1 x2
x1 ( x3 w x2 )
x1 x2
x1 x2 x3 w
= x
1 x
3 ( x
2 w x2 ) w x1 x2 x3 w x1 x2 x3 w x1 x2 ( x3 w x3 ) =
=
nide:
kujul:
x x
x
1
x
x
1
x w x
1
x2
KORDAMISKSIMUSED
KARAUGH' KAARDID
on funktsiooni tevrtustabeli sihiprane
topoloogiline mberpaigutus tasandil vi ruumis.
Tevrtustabeli igale reale vastab kaardil ks ruut.
Karnaugh'
kaart
Karnaugh'
kaartide topoloogia
2 (vi 1 4) ruutu ;
3muutuja Karnaugh' kaart on tabel mtmetega 2 4 = 8 ruutu ;
4muutuja Karnaugh' kaart on tabel mtmetega 4 4 = 16 ruutu ;
2
vi
6 - muutuja
2 - muutuja
Karnaugh'
3 - muutuja
kaart
Karnaugh'
4 - muutuja
kaart
Karnaugh'
kaart
ja
5 - muutuja
6muutuja
Karnaugh'
44
32
ruutu ;
44
64
ruutu ;
x x
4
x x
2
00
01
00
x1
x 1 x2
01
000
100
1
5
001
101
11
10
011
00
010
111
01
110
00
01
0000
0100
0001
0101
11
0110
00
00000
00001
00011
00010
01
00100
00101
00111
00110
11
12
13
15
14
01100
01101
01111
01110
10
11
10
01000
01001
01011
01010
12
13
15
14
10
11
1100
1000
1101
1001
1111
1011
3-muutuja loogikafunktsiooni
tevrtustabel:
x x x
1
( x1 x
= x x
1
0 0
0 1
0 1
1 0
1 0
1 1
1 1
01
10011
10010
21
23
22
10100
10101
10111
10110
11
28
29
31
30
11100
11101
11111
11110
10
24
25
27
26
11000
11001
11011
11010
11
10001
20
x1
10
00
x1
x1
01
0
1
11
( kolmemtmeline ! )
10
00
01
11
10
00
01
11
10
1110
16
17
19
18
48
49
51
50
32
33
35
34
10
01 4
20
21
23
22
52
53
55
54
36
37
39
38
11 12
13
15
14
28
29
31
30
60
61
63
62
44
45
47
46
10 8
11
10
24
25
27
26
56
57
59
58
40
41
43
42
1010
001000
x x
001111 001110
00
010000 010001
011000
011111 011110
01
110000
111000
x x
1
111111 111110
11
100000 100001
101000
101111 101110
10
x x
1
0 0
0 1
0
1
0
1
1
1
0
1
00
10000
01
1 1
0 0
00
x x w x3
1
10
18
00
nide:
5
3
11
19
x x
x x
01
17
x1
00
16
x x
0010
11
naaberruutu ;
naaberruutu ;
naaberruutu ;
naaberruutu ;
naaberruutu ;
x x
10
10
0011
0111
11
x3 x4
x 2 x3
2
3
4
5
6
kaart
kaart
Karnaugh'
01
11
10
x1
|____________________________________________________________________________________|
1 0
Kontuurid
2 2
ehk
x3 x4
x 2 x3
1
1 2
1 4
2 2
2 4
4 4
01
11
01
11
10
1000
1001
1011
1010
10
00
ruutu.
01
00
x 1 x2
00
x1
{ 000
010 }
11
ruutu
{ 0000
{ 100 }
0100
0010
0110 }
ruutu
10
{ 001
ruutu
011
101
111 }
ruutu
{ 1000
ruutu
{ 1101
1
1
1
2
2
2
. .
4
1
2
4
1
2
4
. .
4
ruutu
intervall
ruutu
ruutu
/ !
tpiline viga:
3 ruutu !
00
x 1 x2
00
x1
01
11
01
|____________________________________________________________________________________|
x4
x 1 x2
11
x1
x1
x2
x4
x4
00
01
10
11
x2
10
x2
x1
00
01
x1
x2
11
x2
10
x3
Karnaugh' kaardi
x3
piirkonnad
Loogikafunktsioonide minimeerimine
nide:
x
x
x3 x4
x 2 x3
01
loogikatehete asendusseoseid
x .......... x
x3
x3
Iga piirkond on tpselt "pool kaarti" suur ehk tema koosseisu kuuluvad
(suvalise kaardi korral) tpselt pooled kaardi kikidest ruutudest.
Jrgmisel joonisel on nidatud 3-muutuja kaardi kik 6 piirkonda (igahe
suurus on 4 ruutu) ja
4-muutuja kaardi kik 8 piirkonda (iga piirkond on 8-ruuduline):
x3
10
"kontuurid"
loogikaalgebra phiseoseid
(MDNK)
10
seos intervallidega
valestivalitud
00
11
00
11
x1
01
10
Kontuuride
2ndvektorite hulk
intervalli
ruutu
intervallid
1
1
1
1
1
1
..
4
1001 }
ruutu
(MKNK).
w x x
x
1
samuti:
x
x
w x x
x
1
w x x
2
(
x
x w x
2
x
x
w x x
(
x
x w x x ) w x x =
w x x =
x x
w x
x w x x
x
x
w x (x x
w x ) =
w x ) = x
x
w x x w x x
2
w x
( x1
3
|____________________________________________________________________________________|
nide:
0
Kanname tevrtustabeli Karnaugh' kaardile:
1
1
0
1
1
1
0
1
x 2 x3
01
11
10
f:
x 2 x3
01
11
10
00
01
11
10
x1
x x
1 =
01
11
10
= 0
x 2 x3
00
x1
konstantsed muutujad
00
01
11
10
x1
pole
konstantne
elementaarkonjunktsioon
MDK
x 2 x3
00
1 =
1-de ruudud
tevrtustabel kaardil
x1
= 0
vaadeldavas kontuuris
00
x1
x 2 x3
f ( x1 x
= x x
1
0-de ruudud
0-
2 =
3 =
2 =
(x
x 2 x3
x 2 x3
x1
00
01
11
10
pole
konstantne
konstantsed muutujad
x3 )
x1
00
01
11
10
3 =
elementaardisjunktsioon
= 0
= 1
= 0
MKK
f ( x1 x
x w x
1
) (x
2
1924)
Maurice Karnaugh
w x3)
x = 0 annab
elementaardisjunktsiooni koosseisu vastava otsevrtuses muutuja x
0-de kontuuri ulatuses konstantne muutuja x = 1 annab
elementaardisjunktsiooni koosseisu vastava inversioonis muutuja x
i
( x1 x
x x x
f
0
1
0
1
1
1
0
1
111
|____________________________________________________________________________________|
f ( x1 x
x
x
x w x
x x
w x x
x
w x x
x
w x x x
suurte
x
x
x
1
= 0
= 0
= 0
= 1
x x
x
1
x
x
= 1
= 1
Kuna iga loogikamuutuja saab omada ainult kahte alternatiivset vrtust, siis
osutub muutuja x vrtus ebaoluliseks ja eelneva kahe tingimustekolmiku
asemel osutub piisavaks ksainus lihtsam tingimus:
2
1,
kui
= 0
ja
= 1
x x
1
Selle vrduse kehtimist ei kinnita mitte ainult eelnev arutlus, vaid vrduse
vasak pool on ka teisendatav paremaks pooleks loogikaalgebra phiseoste
x ( y w z ) = x y w xz
x w x = 1
x1 = x
= x x
x x w x x x
x
1
x x
1
x 2 x3
x1
x x ( 1 ) =
x
x
x x x
1
x 2 x3
x1
0
f :
1
01
11
10
00
01
11
10
x1
f :
x x x
1
( x1 x
4
8
16
32
64
n konstantset muutujat ;
(n1) konstantset muutujat ;
(n2) konstantset muutujat ;
(n3) konstantset muutujat ;
(n4) konstantset muutujat ;
(n5) konstantset muutujat ;
(n6) konstantset muutujat ;
x 2 x3
f :
01
11
10
x1
0
01
11
10
(x
x2 x3 )
x x
1
f ( x1 x x
01
11
10
f :
= x x w x x
Muutujad x1 ja x2 osutuvad
seega mitteolulisteks muutujateks ja
vaadeldav funktsioon f on sellest
tulenevalt he muutuja funktsioon:
f ( x3 ) =
x3
x3
tielik
on
KNK-na
tielik
pole.
|____________________________________________________________________________________|
f ( x1 . . . .
4)
(1
x1 x3 x2
4,
5,
9,
11 ,
12 , 13 , 15
)0 (
3 , 14
00
= x x w x x
{ 0011 1110 }
x 2 x3
00
nide:
10
f :
00
11
x 2 x3
x1
01
x x
00
x1
x x x
x 2 x3
00
10
x x
x x x
11
, mille tevrtustabel
01
x 2 x3
00
f :
x x ( x w x ) =
w x
x x
....
11
abil.
Vrduse
{ 0000 0010
00
01
11
10
00
01
11
x x
1
10
piirkonna vahel (
0
ja lejnud hulga
vektorid hulka 1 ).
1
vektoreid hulka
osa
osaliselt mratud
funktsioon
00
01
11
10
00
01
11
10
x x
1
00
01
11
10
00
01
11
10
x x
1
ebaoptimaalne kontuuridevalik
MDNK leidmiseks
optimaalne kontuuridevalik
MDNK leidmiseks
V0
V0
V1
V1
1110
1110
1110
1110
ja
ja
ja
ja
V0
V1
V0
V1
x4
x3
pole
konstantne
x
x1
01
11
10
00
01
11
10
= 0
pole 2
konstantne
x3
= 1
00
x x
00
01
11
10
00
01
11
10
x x
1
konstantsed muutujad
= 1
x1 x3
x1
= 0
elementaarkonjunktsioon
00
01
11
10
00
01
11
10
x x
1
00
01
11
10
00
01
11
10
x x
1
x1 x3
x2 x4
Saadud
fD
x x
2
elementaarkonjunktsioonid
MDNK :
MDNK
fD
vrtustub
fD
( 0011)
fD
= 1
fD
(1110 )
= 0
1110 V0
vaadeldavas kontuuris
duaalsed
ehk:
= 1
x
x x
1
00
01
11
10
01
11
10
00
x4 )
01
x4 )
11
10
00
01
(x
11
(x
10
(x
2
00
x x
x3 )
kontuuridevalik
elementaardisjunktsioonid
x
1
00
00
01
11
10
01
11
x w x
2
)(
x w x
3
)(
x w x
1
MKNK
10
teine samavrne
x x
kolmas samavrne
kontuuridevalik
teisest
kontuuridevalikust:
x w x
2
)(
x w x
2
)(
x w x
x w x
2
)(
x w x
2
)(
x w x
x x
00
01
11
10
00
01
11
x x
2
10
x1
x x
00
01
11
10
00
01
11
10
x x
2
x1
nide:
x1 x2 x3 x4
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
x1 x2 x3 x4
. . . x
f ( x1 . . . . x5 )
(0
. . . . . ja
1
0
1
1
0
0
1
1
1
0
1
0
0
0
0
0
1
0
1
1
0
0
1
1
1
0
1
0
0
0
1
0
1
0
1
0
0
0
1
1
1
0
1
0
0
0
1
0
1
0
1
0
0
0
1
1
1
0
1
0
0
0
0
0
fD
f1
f2
f3
)1 (
3 , 14 , 16 , 18 , 26
x x
11
10
00
01
11
10
x x
2
x1
f3
, 2 , 6 , 7 , 8 , 10 , 24 , 30
01
f2
x x
00
01
11
10
00
01
11
10
x x
2
x1 x2 x4
x2 x4 x5
x3 x5
x1 . . . x
f1
00
fD
= 0
= 1
x1
Leides konstantseid muutujaid sellisel kontuuril, mis asub ainult hel kaardil
(tasandil) kahest, ei tohi unustada, et sellise kontuuri ulatuses on
konstantseks muutujaks ka x1 .
Vaadeldava osaliselt mratud 5-muutuja funktsiooni jaoks leidub ainult ks
parim kontuuridevalik 1-de ruutude katmiseks, mis annab selle funktsiooni
minimaalseimaks disjunktiivseks normaalkujuks:
x1 = 0
MDNK :
ja
x1 = 1
.....
3 x
x
5 w x
1 x
2 x4 w x2 x4 x
5
x x
4
x x
2
00
01
00
11
x x
10
(x
4
x5 )
x x
2
00
01
00
11
(x
3
x4 )
01
11
(x
2
x5 )
11
10
10
(x
1
x1
= 0
x1
= 1
f ( x1 .... x4 )
MKNK:
01
x1
10
MKNK:
MKNK:
f(
....
)1
0, 1, 4, 9, 25, 28
5, 13
)
vastus:
x2 )
x1
f ( x1 .... x5 )
MDNK:
f ( x1 .... x5 )
MKNK:
(x
1
x
x
x
w x
wx
x
)(
w x x
x
x
2
w x x x x
x
x w x
wx
)(
)(
wx wx
x
f(
....
)1
vastus:
MDNK:
22
1 4 2
( x3
w x
)(x
4
w x
)(x
3
w x )(x w x
)(x
wx wx
)(x
wx wx )
leidub mitu erinevat keerukuselt samavrset MKNK-d
5
) ,
Leida
(1 kontuur)
f ( x1 x2 x3 )
ja
funktsioonile
w x x
2
Nagu
vastus:
(x
3
w x
)(x
2
w x
) ( x4
w x
)(x
1
w x
....
3, 4, 7, 12, 14
)1
0, 5, 6, 8, 15
w x
x x
1
x2 x3 w x1 x3 w x1 x2
x x
x x
1 3
1 2
x2
x1
x1
= 0
ja
= 1
ja
= 1
ja
x3
x3
x2
= 1
= 1
= 1
(x
1
w x
x x
w x w x
2
w x
x x
)(x
1
w x w x
f ( x1 x2 x3 )
)(x
1
w x
wx
w x
)(x
1
(x
1
w x x x
w x
x x
KORDAMISKSIMUSED
f ( x1 .... x4 )
w x
x
x
f ( x1 x2 x3 )
TKNK:
vastus:
MDNK:
MKNK:
HARJUTUSLESANDED
Leida MDK ja MKK osaliselt mratud funktsioonidele
x
|____________________________________________________________________________________|
f(
= x
x
x
f ( x1 x2 x3 )
TDNK:
(2 kontuuri)
MKNK:
1 kontuur
f ( x1 .... x6 ) = x
x
x
w x x x x w x x
x x x
f ( x1 .... x6 )
MDNK:
x 2 x3
00
01
11
10
x1
f :
x xy
01
11
10
x x
moodustavad
neeldumisseaduse
x x
00
x1
= x
x x x
1
x x x
1
prast x 2 juurdekleepimist
mlemad neelduvad !
DNK-avaldise lihtsustusvimaluse
tuvastamine
2 x3 w x1 x2
x
w x1 x3 w
x1 x2
2 x3 w x1 x2
x
Olles saanud kaardilt kinnituse nende avaldiste vrdsuse kohta, tasub meil
otsida avaldise teisendusviisi, mis lihtsustaks analsitava DNK
MDNK-ks. Etteantud DNK-s tavapraseid lihtsustamisvimalusi otsides
(neeldumine, hise teguri efektiivne sulgude ette toomine) me neid ei leia.
Antud avaldise tiendavaks lihtsustamiseks tuleb ta korraks teisendada
keerukamaks, lisades (kleepides) liiasele elementaarkonjunktsioonile
juurde he liiase algtermi (muutuja) (siin: x2 )
(Millele juurde kleepida ehk milline DNK liige on liiane, seda neme alati
Karnaugh' kaardilt.)
DNK korral
sobib
x = x y w x y
x
x
2
w x1 x3 w
x1 x2
2 x3 w x x x
x
1
=
1
x x
.....
1 1
nide:
x x x
x x
x x
1 0 0
1 0 1
x x
x x
2
1 1
0 1
w x x
x
1
x x
3
x x x
1
"katavad" 2 muud
x3 x
..... ehk liiasust (katmist) ei phjusta mitte kik muud 4 DNK liiget, vaid
(koostoimel) ainult 2 tk. nendest.
Eelneva vrduse vasaku poole avaldise jaoks peab leiduma ka selline
teisendusvimalus, mis kaotab DNK liiase liikme avaldisest ra.
Kikidel sellistel liiasusjuhtumitel sobib liiast DNK liiget kaotavaks
teisendusvtteks mne puuduva muutuja / algtermi juurdekleepimine
sellele liiasele elementaarkonjunktsioonile, mis viib jrgnevalt
neeldumistele avaldises.
Kesolevas nites on ainus vimalik "juurdekleebitav muutuja x
lejnud muutujad on liiases elementaarkonjunktsioonis juba olemas.
"
Rakendades kleepimisseadust
x x
x
x x
x
x x x
w x x
x x
x x
x x x x
1
, kuna
saame :
x = x y w x y
w x x
3
.....
neeldumise
w xy =
w x3 x
01
11
1 1
1
1 0 1
x1 x2 x3
ehk
on DNK-s liiane
x x
x
x x
x
1
MDNK on seega :
x x
x x
x
x x
x
x
x x
x x
10
00
Analsitava DNK-avaldise
00
x x
11
10
1 0 0
01
x1 x 2
1 1
w x x x
x x
|____________________________________________________________________________________|
ja
x
x
1
x
x
1
ei phjusta
nide:
1.
Grupeerida
1-de pk.
000
001
011
101
110
3
111
1-de pk.
000
00
001
2-sed int.
01
11
11
11
011
101
110
111
1-de pk.
000
00
001
011
2-sed
110
111
4-sed
int.
1
01
11
11
11
101
int.
1-de pk.
000
00
001
011
01
101
11
110
11
111
11
2-sed interv.
4-sed interv.
A2
A1)
1
(A2) 0 0
(A3) 1 1
(
valitud
valitud
valitud
Tabeli igas reas on lahtrisse (veergu) mrgitud 1 , kui selle rea lihtimplikant
A katab sellele veerule vastavat 1-de piirkonna elementi. Meie nite
lihtimplikantide A1 A2 A3 suurusest tulenevalt on esimeses reas 4
"hte" ja lejnud ridades 2 "hte".
Valida tabelist lahendisse vlja minimaalne arv ridu nii, et valitud read
kataksid koos tabeli kik veerud vhemalt he 1-ga
7.
A3
11
6.
4.
5.
00
A1
00
11
index
1de pk
2-sed
vahe
0 - 1
1 - 3
1 - 5
3 - 7
5 - 7
6 - 7
x 1 x 2 w x 1 x 2
vektoresitustest
3
|____________________________________________________________________________________|
1
3.
sama vahe ;
index
1de pk
index
1de pk
2-sed
vahe
4-sed
vahe
0 - 1
1 - 3 - 5 - 7
2,4
1 - 3
1 - 5 - 3 - 7
4,2
1 - 5
3 - 7
5 - 7
6 - 7
5
6
3
2.
5.
index
2-sed
de pk
vahe
A2
0 - 1
1 - 3
1 - 5
4-sed
3 - 7
5 - 7
6 - 7
A3
1 - 3 - 5 - 7
vahe
A1
2,4
lihtimpl. \ 1de pk
A1
A2
A3
See tabel on nii
0
1
1
1
valitud
valitud
valitud
x x x
1
A1
A2
A3
0 0 1
0 0 1
1 1 1
x1 x2 x3
4
A1
A2
A3
X 0
0
X 1
0 0
X
1
X
1
x3
x
x
x x
(
(
A1
A2
A3
24
1
1
,
)
)
1 x
x
2 w x1 x2
001
011
101
111
0
01
11
01
11
Karnaugh
'
kaart
x 2 x3
00
01
11
10
x1
f:
w x
1 x2 w x1 x2
McCluskey
Edward J.
1929)
Quine
1908 2000)
2-sed implik.
01
0 2*
04
0 8*
1 3*
19
2* 3*
4 12*
8* 9
8* 12*
3* 11*
9 11*
12* 14 A6
11* 15*
14 15* A5
4-sed implikandid
0 - 1 - 8* - 9 A1
0 - 1 - 2* - 3* A2
0 - 4 - 8* - 12* A3
1 - 3* - 9 - 11* A4
vahe
1
2
4
8
2
8
1
8
1
4
8
2
2
4
1
A1
A2
A3
A4
A5
A6
2* 3*
1
1
8*
1
1
1
1
1
1
f ( x1
....
(0
x4 )
1 , 4 , 9 , 14 ) 1
(2,
3 , 8 , 11 , 12 , 15
MDK leidmine:
Laiendame 1-de piirkonda kogu mramatuspiirkonnaga ja mrgistame
mramatuspiirkonna arvud ' * '-ga nende eristamiseks 1-de piirkonna
arvudest.
Jaotame
1
sektsioonidesse vastavalt indeksitele ja
kleebime intervallid maksimaalsuurusteni, jlgides numbrilise meetodi kiki
kleepimisreegleid.
Mramatuspiirkonna arve (*-ga mrgistatud) kasutame kleepimisel
samavrselt 1 de piirkonna arvudega:
laiendatud
-de piirkonna
vahe
1, 8
1, 2
4, 8
2, 8
nide:
= A1
A3
A5
valitud
x x x x
1
valitud
valitud
Siin tabelis tuleb vlja valida minimaalne arv ridu selliselt, et 1-de piirkond
(ehk ilma trnita veerud) oleksid "
kaetud vhemalt he valitud rea
poolt.
Kui see nue on tidetud mitme erineva valikukombinatsiooni korral, siis
eelistame valida suuremaid intervalle (ehk selliseid ridu, kus on rohkem 1-sid).
A1
A3
A5
X 0 0 0
0
X
X 0
0
X 0 0
1 1 1
X
1
x2 x
3
3 x
x
4
x1 x2 x3
hega"
MDNK:
f ( x1 . . . . x4 )
x2 x
3 w x
3 x
4 w x1 x2 x3
(0
f ( x1 . . . . x4 )
index
1 , 4 , 9 , 14 ) 1
(2,
3 , 8 , 11 , 12 , 15
(5
x4 )
6 , 7 , 10 , 13 ) 0
2* - 3* - 10 - 11*
8*
2* 6
2* - 3* - 6 - 7
3*
2* 10
3* - 11* - 7 - 15*
5 - 13 - 7 - 15*
3* 7
3* 11*
5 7
11*
5 13
13
(2,
3 , 8 , 11 , 12 , 15
A1
A2
A4
intervall
A1
A2
A3
A4
A5
A6
2* 3*
x w x
3 ) ( x1 w x
2
00
01
10
)(x
2
w x
A2
A4
A6
00
01
11
10
00
01
11
10
A3 A1
lihtimplikantidele vastavad
nide:
0
1
index
....
(4
10 11
12* 13 15*
0
0
valitud
valitud
valitud
1-de pk.
0100
0101
-sed interv.
01 0
01 1
101
011
1 01
-sed interv.
010
A4
0111
intervall
A1)
(A2)
(A3)
(A4)
(
01
A1
A2
A3
101
101
5 , 6 , 7 , 9 , 10 , 13) 1
A1
A3
A4
vastavad kontuurid
10 13
1
1010
x x x x
x4 )
f ( x1
|____________________________________________________________________________________|
A1
kontuurid
1101
A5
8, 2
x x
A4
8, 4
x2 w x3 )
x1 w x3 )
(x
2 w x4 )
10
11
11
01
13 15*
1001
00
1010
8
4
MKNK:
f ( x1 . . . . x4 )
1, 4
11* 15*
0110
0 1 0X
0 0X 1 0X
0X 1 1X 1
1, 8
7 15*
0X
vahe
A1
A2
A3
A4
x x x x
3
intervallid
A5
12* - 13
6 7
10 11*
15*
4-sed
10
A6
8* 12*
8* - 10
12*
f ( x1
15
vahe
2* 3*
2-sed
2*
valitud
valitud
valitud
0 1
1 0 1
1 0 1 0
1 x2
x
x1 x
3 x4
x1 x
2 x3 x
4
MDNK :
f ( x1 . . . . x4 ) =
x1 x2 w x1 x
3 x4 w x1 x
2 x3 x
4
|____________________________________________________________________________________|
HARJUTUSLESANDED
Leida McCluskey' meetodiga MDNK ja MKNK suvalistele eelnevalt vaadeldud
funktsioonidele, millele on juba leitud minimaalsed normaalkujud Karnaugh' kaardiga.
Vrrelda McCluskey' meetodiga ja Karnaugh' kaardiga saadud tulemusi.
KORDAMISKSIMUSED
Taandatud DK
Implikant. Lihtimplikant
Loogikafunktsiooni implikandiks nimetatakse igat tema 1
intervalli
nide:
00
01
11
10
f:
{100 101}
{001 011}
{001 101}
(x
(x
funktsiooni
kigi
lihtimplikantide disjunktsioon
Tpsustame, et lhend TDK on Tielik DK , mitte taandatud DK )
.
x 2 x3
01
11
10
f:
00
01
11
10
x1
f:
MDNK
w x
x
x x
2
x x
f ( x1
x
. . .
x4 )
(4
00
01
11
10
00
01
11
10
x x
1
00
01
11
10
f (x
) :
x2 x 4
nide:
f ( x1
....
x4 )
(0
DNK funktsioonile:
2, 4, 5, 8, 9, 10, 13 ) 1
DNK funktsioonile:
01
11
10
00
01
11
10
kik lihtimplikandid
f ( x1 . . . . x4 )
1 x2 w x1 x4
x
f ( x 1 . . . . x4 )
1 x2 w x1 x4 w x2 x4
x
x
x x
1
00
00
01
11
taandatud
DNK ja
10
01
10
taandatud
taandatud
Taandatud DNK
11
|____________________________________________________________________________________|
DNK-ks:
00
Taandatud DNK
x x
x1 x2
x4
x
x
taandatud
5, 6, 7, 9, 11, 13, 15 ) 1
Taandatud DNK:
vi
x
x
MDNK:
x x
MDNK lihtimplikandid
Taandatud DNK
nide:
x 2 x3
00
x1
|____________________________________________________________________________________|
on
x x
x 2 x3
f
-de piirkonna
ja
1
on kokkulangevad
MDNK
HARJUTUSLESANDED
vastus:
x
x x
1
00
11
00
01
11
10
01
10
x
x x
1
00
01
11
MDNK lihtimplikandid
10
00
01
1
1
11
1
1
1
kik lihtimplikandid
MDNK:
f ( x1 . . . . x4 )
Taandatud
x2 x4 w x1 x2 x3 w x1 x3 x4
DNK:
10
f ( x1 ... x4 )
2 x
x
4 w x
1 x2 x
3 w x1 x3 x4 w x1 x3 x4 w x2 x3 x4 w x1 x
2 x
3
|____________________________________________________________________________________|
Taandatud DNK:
f ( x1 .... x4 )
x
x
w x
x
w x x
w x x
w x x
w x
x
Jkfunktsioon
x1 x2 1)
f(
11
10
funktsiooni
nide:
+1
...
f ( x1
vi
...
x 1 1
+1
...
f ( x1 x2 0 )
jkfunktsiooni
f ( x1 x2 0 )
f (x x x )
f ( x1 x2 )
x1 x
2 w x2 0
f ( x1 x2 1 )
x3 = 1
f ( x1 x2 )
Algse funktsiooni
Jkfunktsiooni
x1 x2 w x2 1
korral )
x1 = 1
tevrtustabel
x3 = 0
x3 = 1
f (0 x2 0 x4 )
x1 x3
x1 = 0
kui
x3 = 1
ja
ja
= 0
= 1
korral
f (1 x2 0 x4 )
f (1 x2 1 x4 )
f(
0 x2 1 x4 ) = x2
01
f(
0 x2 0 x4 ) = x2 x4 x2 x4
11
f(
1 x2 1 x4 ) = 0
10
f(
1 x2 0 x4 ) = x2 x4
x3 = 1
funktsiooni f ( x 1 x 2 x 3 x 4 ) jkfunktsioonid
x1 x3 = 0 1
x1 x3 = 1 0
x1 x3 = 1 1
= 0 0
korral
1 x2 x
x
4 w x
1 x
2 x
3 x4 w x1 x
2 x
3 x
4 w x
1 x2 x3
on loogikaavaldise ks erikuju.
arendus
arendus
Nii disjunktiivsel kui ka konjunktiivsel arendusel on omakorda 2 alaliiki:
= 1 x2 x4 w 1 x2 1 x4 w 0 x21 x4 w 1x2 0 =
= x2 x4 w x2 x4
jkfunktsioon ,
f (0 x2 1 x4 )
x3 = 0
ja
00
Shannoni arendus
10
f (x x x x )
= 0
jkfunktsioonid
f (0 x2 1 x4 )
x3 = 0
kaardipiirkonnas
11
x1 w x2
f ( x1 x2 1 )
x1 = 0
f ( x1 x2 0 )
01
f ( x1 x2 1 )
= 1
00
x x
korral )
f (x x x )
tema jkfunktsiooni
vi
f (0 x2 0 x4 )
x1 x2
x1 x2 0)
nide:
= x1 x2 w x2 x3
(ehk jkfunktsiooni
= 0
f(
|____________________________________________________________________________________|
x 1 0
x x x x
01
x x
00
...
jkfunktsiooniks.
f ( x1
x x
x x
disjunktiivne
konjunktiivne
osaline
= 1 x2 x4 w 1 x2 0 x4 w 0 x2 0 x4 w 1x21 = x2
f (1 x2 0 x4 )
x1 = 1
kui
x3 = 0
ja
Disjunktiivne arendus
= 0 x2 x4 w 0 x21 x4 w 1 x21 x4 w 0 x2 0 = x2 x4
he
muutuja jrgi
jkfunktsioon ,
f (1 x2 1 x4 )
x1 = 1
kui
x3 = 1
ja
= 0 x2 x4 w 0 x2 0 x4 w 1 x2 0 x4 w 0 x21 =
f ( x1
...
...
xn )
|____________________________________________________________________________________|
( x1 ....x4 )
Leida funktsioonile
jkfunktsioonid
f(0
x x x
2
x1
w x
x x
1
f ( x1
...
0 ... xn )
w x
jkfunktsioon
korral
i = 0
x x x
1
f ( 1 x2 x3 x4 )
ja
f(0 x x x
f(1 x x x
2
)
)
= x x
= x w x
3
Leida funktsioonile
f ( x1 ....x4 )
jkfunktsioonid
f ( x1 1 x3 0 )
x1
ja
w x
x x
1
x x x
1
nide:
f ( x1
...
1 ... xn )
jkfunktsioon
korral
i = 1
x1 x
2 x
3 w x3 x4
vastus:
f ( x1 1 x3 0 )
x3
x 01x
x1
f ( x1 0 1 x4 )
f(
vastus:
HARJUTUSLESANDED
)
4
w x
x1 x
2 x
3 w x3 x4 = x
2 ( x1 1 x
3 w x3 x4 ) w x2 ( x1 0 x3 w x3 x4 ) =
= x2 ( x1 x3 w x3 x4 )
w x2 ( x x
3
jkfunktsioonideks
Eelnevas arenduses on
|____________________________________________________________________________________|
nide:
x1 x
2 x
3 w x3 x4
= x3 x1 x2
3 ( x1 x
x
2 ) w x3 ( x4 )
nide:
Teeme funktsioonile f ( x x x
disjunktiivse arenduse muutuja
f (x x x ) =
2 [ ( x
x
1 0 )
1
1
x
x3 ]
Shannoni
x3
w x2 [ ( x
1
x2 ( x1
(x
1
jrgi.
1)
x3 ]
x3 )
x
x
k
f ( x1 ...00... xn )
w x
xk
f ( x1 ...01... xn )
xx
k
f ( x1 ...10... xn )
w x xk
f ( x1 ...11... xn )
11 x
3 w 1 x3 x4 )
w x1 x
Tielik
disjunktiivne arendus
n-muutuja loogikafunktsiooni
w x
1 x
..... x
n-1
n x
x
.....
-1
w x x
. . . . . . .
x1 x
.....
xn x
-1
....
x x
n-1
x x
.....
n-1
....
f (00
xn x
-1
f (11
f(x
x x
2
1 x
x
x
w x
1 x x
[( 1
w x1 x
x
[( 0
[( 0
w x1 x x
[( 1
0)
1) 0]
0) 0]
1) 0]
0]
[( 1
[( 0
w x1 x
x
w
w x
1 x x
[( 1
0)
1) 1] w
0) 1] w
x1 x x [( 0 1 ) 1 ] =
w x
1 x x
w x1 x
x
2
(1)
x1 x
x
(1)
1]
w x1 x x
x2 )
[( 1
x2 )
[( 0
0] w x
1 x
x1 x
0] w
x1 x
x2 )
x2 )
[( 0
[( 1
Shannoni
x3
1] w
1] =
(1)
|____________________________________________________________________________________|
jkfunktsioonid
x
xk x
m f ( x1 ...000... xn ) w
x
x
k xm f ( x1 ...001... xn ) w x
xk x
m f ( x1 ...010... xn ) w
w x xk x
m f ( x1 ...110... xn ) w x xk xm f ( x1 ...111... xn )
. . . . . . . .
nide:
jrgi
x1 x
2 x
3 w x1 x x
3
x
x x
w x x x =
= x1 x x ( 0 ) w x1 x x ( 0 ) w x1 x x ( 0 ) w x1 x x ( 0 ) w
x
(x
) w x1
x x (x
3 w x3 ) w x1 x x
( 0 ) w x1 x x ( x
w x1 x
= x1 x x x w x x x w x1 x2 x4 x3
2
|____________________________________________________________________________________|
2-muutuja funktsiooni
esitamine kujul:
( x1 x )
2
on tema
f ( x1 x )
2
3-muutuja funktsiooni
tema esitamine kujul
f x1 x 2 x 3
f ( x1 x2 x3 )
f (11)
on
he muutuja jrgi
...
...
xn )
x w
f ( x1
...
0 ... xn ) ] [ x
w
i
jkfunktsioon
korral
i = 0
nide:
x1 x
x x
2)
TDNK )
|____________________________________________________________________________________|
...
1 ... xn ) ]
jkfunktsioon
korral
i = 1
2
x
[ x3 w ( x
[ x3 w ( x1
jrgi.
Shannoni
2
x
x ] [ x w x 0 x
x ] [ x w x ]
3
2)
2)
|____________________________________________________________________________________|
Konjunktiivne arendus
f ( x1
Teeme funktsioonile f ( x x x ) =
konjunktiivse arenduse muutuja x
1
(1)
. . . . . .
w x1 x x
(0)
= x x x w x1 x x w x x x w x x x w x x x w x x x
1
= x1 x ( x ) w x1 x ( 1 ) w x x ( x
= x1 x x w x x w x x x w x1 x
f ( x1
= x1 x x ( 0 ) w x1 x x ( 1 ) w x1 x x ( 1 ) w x1 x x ( 1 ) w
2
Konjunktiivne arendus
.... 11)
1 x
x
..... 10)
nide:
x1 x
f ( x1 x
1 0 x
3 w 1 x3 x4 )
1 x ( 0 ) w x
x
1 x ( 0 ) w x1 x ( x w x3 x4 ) w x1 x ( x x
w x1 x
x x x
avaldisele
x
x x
w x x x =
= x1 x ( 0 1 x3 w 0 x3 x4 ) w x1 x ( 0 0 x3 w 0 x3 x4 ) w
1
f(
nide:
Teeme funktsioonile f ( x x x ) = ( x1 x2 )
disjunktiivse arenduse muutujate x1 x3 jrgi.
f ( x1...xi xk...xn )
nide:
kahe
muutuja jrgi
kahe
Shannoni arenduse
|____________________________________________________________________________________|
Disjunktiivne arendus
|____________________________________________________________________________________|
x3 x4
|____________________________________________________________________________________|
= x1 x ( x3 w x4 ) w x1 x ( x3 x4 )
f ( x1
...
xx
i
...
x w xk w
w xk w
x
f ( x1
...
f ( x1
xn )
...
0 0 ... xn ) ] [ x w x
k w
f ( x1
1 0 ... xn ) ] [
x w xk w
f ( x1
0 1 ... xn ) ]
...
1 1 ... xn ) ]
...
[ x1 w
x x
x2 =
[ x1 w
[
[
[
x2 w
(0x
3
1 w x2 w
x
(1x
3
1
1
x x ) = x1 x
x1 x jrgi.
2
) ][
x1 w x2 w
(0x
3
) ][
x1 w x2 w
(1x
3
0
0
1 w x
x
w x w (0) ][ x
1 w x
w x
w (1) ]
( x1
w x w x
2
) ( x1
x1 x
1
1 0
1 1
1 0
x w x w (01
2
x1 w x w x w ( 0
1 w x w x w ( 1
x
1 w x w x w ( 1
x
Teha funktsioonile
Shannoni
Teha funktsioonile
1
0 0
0 1
0 0
f ( x1 .... x4 )
x1 .... x4 )
=
( x2
f ( x1 xn )
=
x
....
w x
x x
Shannoni
f ( x1 .... x4 )
x1
w x
x x
x x x
muutuja x jrgi
disjunktiivne arendus
( x2
w x w x x
(x x )
2
)(
x w x x x w x x
x4
jrgi
jrgi
)(
w x x
(x
(0)
x w x w x
....
xn )
tuletis
xn )
f(
1 2 3
x x x
x1
vastus:
w x x (0)
)(
x w x w x
x1
w x
x x
x (
x wx
jrgi
x3
x x x
kahe muutuja x ja
x
x
(x
2
w x
x (x w x
f ( x1 x2 x3 )
w x x
(0) w x x (
x wx
2
2 x
x
3
2 x
x
3 w x2 x
( x2
tuletis
______________
(x
2 x
3
w x2 x3 )
2 x
x
3 ( x
2 x
3 w x2 x3 ) =
____
2 x
x
3 w x x x
x2 w x3 ) (
x2 x
3 w x 2 x3 )
w x3 ) (
x2 x
3 w x 2 x3 )
____
2 x
x
3 x
2 x
3 x2 x3
2 x
x
3
( x2
w x3 ) ( x
2 w x3 ) =
= x2 x3 w x2 x3 ( x2 x3 w x2 x3 ) = x2 x3
x 1 0 x +1 .. xn )
i
f ( x1
.. x
+1
f ( x1
. .
. .
xn )
muutuja x1 jrgi :
= x2 x3
x )
f ( x1 .... x4 )
disjunktiivne arendus
____
x w x w x x
2
f ( x1 xn )
x
..
|____________________________________________________________________________________|
f ( x1
f ( x1
nide:
Shannoni
Leida funktsiooni
kahe muutuja x ja
kahe muutuja x ja
1
)(
(x x
x
vastus:
Teha funktsioonile
f ( x1 .... x4 )
x x x
on
Teha funktsioonile
)]
f ( x1
..
x 1 1 x +1 .. xn )
i
HARJUTUSLESANDED
x1 w x w x w ( 1
. .
) ][
w x w x
jrgi
ehk
kujul:
(1916 2001)
ppis Massachusettsi Tehnoloogiainstituudis (M. I. T.) ja kaitses
seal nii M.Sc. kraadi (1936) kui ka Ph.D. kraadi (1940)
Hakkas esimesena rakendama loogikaalgebrat digitaalskeemide
koostamisel.
Oli kauaaegne AT&T Bell Laboratories kaasttaja.
Sai oma suure panuse eest arendusts mitmeid akadeemilisi
tunnustusi.
) ]
. .
vi
x1 w x w x w ( 1
....
f ( x1
TKNK
) ][
x x ( 1 ) w x x
n-muutuja funktsiooni
muutuja x
Seega
) ]
Loogikafunktsiooni tuletis
on avaldis
x1 w x w x w ( 0
) ][
muutuja x jrgi
konjunktiivne arendus
f ( x1 .... x4 )
disjunktiivne arendus
f(
w x
w x
) ]
) (x
1
x1 w x w x w ( 0 0
= x x
f ( x1 .... x4 )
konjunktiivne arendus
Shannoni
Shannoni
f ( x1 .... x4 )
vastus:
) ][
f ( x1 .... x4 )
w x w x
) (x
1
vastus:
x2 =
[ x1 w
tieliku
disjunktiivne arendus
konjunktiivne arendus
nide:
w x w x
Shannoni
1
Tielik konjunktiivne arendus annab alati TKK
) ]
)]
|____________________________________________________________________________________|
Tielik
(x
3 ) ]
x w x2 ) ( x1 w x2 w x3 ) ( x w x2 w x3 )
|____________________________________________________________________________________|
x1 w x2 w (0) ] [ x1 w x
2 w (1) ] [ x1 w x2 w
1 w x2 w
x
Shannoni
x2
x1 w x
w x
w (1) ][ x
1 w x w x w (1) ][ x
1 w x w x w (0) ]
nide:
=
/
x w x w (0) ][ x1 w x w x
w (0) ][ x1 w x w x w (1) ]
n)
.. x
f ( x1
.. x
+1
n)
.. x
( x1
..
x 1 0 x +1 .. xn )
i
=
f ( x1 .. x 1 1 x +1 .. xn )
i
eelmise nitefunktsiooni
f (x x
muutub x1 muutumisel siis, kui
1
x
x
w x1 x2 x3
vrtus
f
=
x1
x2 x3 = 1
x2
ehk
11
ja
011)
f (
nide:
f (x
Leida funktsiooni
tuletis muutuja x
f
x
x x x
2
= x1 x x
2
= x1 x
x x x
1
x x w x1 ( x2 w x4 )
x
1
w x2 x3 x4
jrgi:
____
x1 x x
x1 x x w x1 x
x x
w x1 x
4
|____________________________________________________________________________________|
HARJUTUSLESANDED
f ( x1 ..... x4 )
Leida funktsioonile
tuletis
muutuja x jrgi
x1
w x x
vastus:
x2
( x1
w x x
( x3 x
4
x x
1
f ( x1 ..... x4 )
Leida funktsioonile
tuletis
muutuja x jrgi
= x x
1
w x x
x x
vastus:
x4
( x1 x
2
w x
( x1 x
2
x x
1
= x x
w x x
x x
1
vastus:
f (111)
muutuja x jrgi
f ( x1 ..... x4 )
Leida funktsioonile
tuletis
muutujad x2 x3
x x w x x x
x3
x1
x x
(x
2
w x
5. XOR-element (Exclusive OR
6. Implikatsioon
realiseeritakse asendusseose
x w x
1
kaudu:
A D
OR XOR
Multipleksorid
Multipleksorid
multiplexer ) on loogikaskeemides kasutatavad
kommutatsioonielemendid.
Kuigi nad ise ei realiseeri htegi loogikatehet, saab neid omavahel sobivalt
hendades ja juhtides realiseerida nende abil suvalist loogikafunktsiooni.
(ingl.
7.
_______
2
x x
1
kaudu:
.
.
.
.
.
.
.
n-
MUX
. . . . .
nide:
Loogikaavaldisele
x1
x2
x3
____________
w x )
x1(x
2
&
vastab loogikaskeem:
|____________________________________________________________________________________|
1-multipleksor
Lihtsaim vimalik multipleksor on 1-multipleksor, millel on 1 juhtsisend
ja 21 = 2 andmesisendit:
idd
ne
si
se
m
dn
a
MUX
juhtsisend
1-multipleksor
vljund
andmesisend
kui
&
andmesisend
kui
idd
ne
si
se
m
dn
a
&
c = 0
vljund
MUX
vljund
. . . . .
juhtsisendid
c = 1
0 0 0
3-multipleksor
c
2-multipleksor
2-multipleksoril on 2 juhtsisendit ja 22 = 4 andmesisendit:
nide:
MUX
vljund
0 0
0 1
1 0
1 1
= x
x
x
w x x x w x x
x w x x x w x x x w x x x
4
Funktsiooni neljast muutujast tuleb vlja valida ks, mille jrgi Shannoni
disjunktiivne arendus toimub. Selle muutuja vib vlja valida vabalt.
Eelistatum on vtta arenduse aluseks selline muutuja, mida avaldises esineb
(algtermidena x ja x ) kige enam.
Selles vaadeldavas avaldises esineb muutujaid x ja x rohkem kui
lejnud muutujaid x ja x .
Teeme disjunktiivse arenduse niteks muutuja x jrgi.
Jkfunktsioone f ( x x x ) arendame omakorda edasi nende he muutuja
jrgi.
Jkfunktsioonide rekursiivne edasiarendus he muutuja jrgi jtkub seni,
kuni jkfunktsioonideks jvad ksikud algtermid x x
i
01
11
10
00
01
11
10
(
x
x [
x w x w x x w x x
3
(1)
w x
w x
x
x
) ]
w x
w x
w x
x ( x
1
w x
( 0 )]
x2
0
) =
x2
0
w x [x w x
4
wx
(0)] )
] )
w x
( 1 )] )
1-
x2 MUX
] )
x [x x
4
vi
x x x w x x w x x
w x [
x x
w x
= x
(
x
wx
x
wx
x
x
w x x
0 :
f = x ( x x
konstandid
00
x x
1
3-multipleksor
3-multipleksoril on 3 juhtsisendit ja 23 = 8 andmesisendit:
disjunktiivse arendusega
2-multipleksor
Shannoni
juhtsisendid
1 1 1
juhtsisend
idd
ne
si
se
m
dn
a
0 0 1
x1
f(
x1 x2 0 x4 )
f(
x1 x2 1 x4 )
1-
1-
MUX
MUX
1-
MUX
x1
1-
MUX
x
1-
MUX
x1
MUX
1-
1-
MUX
x1
0001
korral.
Multipleksorskeem llitub
x x x x =
1
f (0001)
0 0 0 1
= 1
korral
jrgnevalt:
1
1
0
1
0
0
f (0001)
f = x
1 x
x
w x x
x
w x
x
x
w x
x
x
w x x x w x x x
3
f(
korral aktiveerub
korral, kuid kommuteeritud
x
x1 x2 0 x4 )
f(
x1 x2 0 1)
f (0101)
f
f
x2 )
x2 )
01
11
10
00
01
x2 )
x2 )
1
x2
x2 )
x2
11
x2 )
10
funktsiooni
00
x x
x1 x2 x3 x4
kik
x2 )
x2 )
jkfunktsiooni
x2
x2
x2 )
11
10
00
01
11
10
f(
x1 x2 1 x4 )
f(
x1 x2 1 0)
f(
x1 x2 1 1)
f(
x1 x2 x3 x4 )
kik jkfunktsioonid
f(
x1 x2 x4 )
x1 x2 )
f(
ja
nide:
f = x
1 x
x
w x x
x
w x
x
x
w x
x
x
w x x x w x x x
3
x
x
w x w x x
x
w x x
= x
x
x
x
[1]
w x x
[0] )
w x x
x
x
[0]
w
x x
x w x
[0]
w
x x
w x x
[1]
[0]
x
x
w x x
[0] )
w x x
w x x
w
x x
[1]
[1]
x
x
w x x
x
x
x
x
[1]
w
x x
w
x x
3
w x
x
w x x
funktsiooni
= 0
|____________________________________________________________________________________|
0 .
01
f ( x1 x2 0 0)
0001
korral
0 1 0 1
00
x x
Mrgime, et ka argumentvektori
multipleksorskeemis sama "tee" mis
sisendil on x x x x
Karnaugh' kaarti:
[0]
[1]
w x x
w x x
[0]
[1]
w x x
1
w x x
1
[0] )
[1] )
1
1
1
0
x1 x2
1
0
0
0
2-
2-
2-
x x
MUX
2-
1
1
1
0
1
0
0
0
f
0
1
01
= 0 1
11
x3 x4
1 0
x3 x4
1 1
x x x x
1
1 0 0 1
f (1001)
= 0.
1
0
0
0
00
MUX
2
x3 x4
Olgu selleks
x1 x
10
= 0 0
konstandid
MUX
x1 x
11
10
0
1
1
1
x3 x4
MUX
x1 x
1
0
0
0
01
MUX
00
x x
2-
(1001) =
0
1
1
1
1001
korral
|____________________________________________________________________________________|
x x
3
0 1
1 0
ja
x x
1
klassid
Loogikafunktsioonide
K0
K
K
Km
K
l
pratavad funktsioonid
monotoonsed funktsioonid
lineaarsed funktsioonid
(ehk
pratavate
Kp
__
f ( x ....
1
f (x
) |
n
....
)
n
f (x
....
nide:
K0
f (x
.... x )
f (0
0 ...... 0 ) = 0
x1 x2 x3
Funktsioon on
kui ta kikide muutujate vrtustamisel 0-ks
vrtustub funktsioon ise samuti 0-ks.
Funktsiooni kuuluvus klassi K0 on nha ta tevrtustabeli esimesest
reast.
Eelpool vaadeldud 2-muutuja funktsioonidest f 0 f
nulli
nulli silitav,
. . . .
silitavad:
K0
on
15
f (x
f (1
) |
n
....
pratav
1 ...... 1 ) = 1
Funktsioon on
kui ta kikide muutujate vrtustamisel 1-ks
vrtustub funktsioon ise samuti 1-ks.
Funktsiooni kuuluvus klassi K1 on nha ta tevrtustabeli viimasest
reast.
Eelpool vaadeldud 2-muutuja funktsioonidest f 0 f
hte
1
1
1
0
1
0
0
0
( 0 0 1 )
argumentide
inverteerimisel
1
funktsioon
inverteerub
( 1 1 0 )
funktsioon
hte silitav,
. . . .
silitavad:
f 1 , f 3 , f 5 , f 7 , f 9 , f 11 , f 13 , f 15
monotoonsete
Km
{ f(x
...
on
15
K1
<z z
1
...
f 3 , f 5 , f 10 , f 12
Monotoonsuse tunnus
funktsioonide klass:
) | (x1 x2 ... xn
[ f ( x1 x2 ... xn )
f(z
z ...z
2
)]
nide:
Kp
tevrtustabeli jrgi
< 0111
101
> 001
00000
<
10
01101
> 00
100101
Omavahel
010
ja
pole vrreldavad
001
x1 x2 x3
Monotoonseks
<
< 110111
<
01111
ja
1101
ja
11010
0
0
1
1
0
1
0
1
0 0 1
0 1 1
1 0 0
00111
pratavad:
f ( x1 x2 x3 )
0 0 0
11111
1 1 0
0011
Monotoonsuse tunnus
<
on
ehk kas
> 01000
00110
f 15
1 0 1
<
00010
. . . .
0 1 0
0101
f0
1 1 1
01011
normaalkuju jrgi
....
111
soovitav kontrollida
nide:
x x
2
x w x w x
1
)(
x w x
1
101
110
001
010
100
000
011
Hasse diagramm
3-jrgulistele
argumentvektoritele
)
|____________________________________________________________________________________|
{0,1}
<)
f(111) =
f(011) =
f(101) =
f(110) =
f(001) =
f(010) =
f(100) =
f(000) =
jrgi
f(011) =
f(111) =
000
<
001
<
011
<
111
000
<
001
<
101
<
111
000
<
010
<
011
<
111
000
<
010
<
110
<
111
000
<
100
<
101
<
111
000
<
100
<
110
<
111
f(010) =
....
kasvamisel
ei vhene
funktsiooni vrtus
f(111) =
f(011) =
f(001) =
kasvamisel
000
ei vhene
funktsiooni vrtus
f(000) =
< 001
< 011
-muutuja loogikafunktsioon on
< 111
f(001) =
....
0
1
monotoonsust
000
110
<
111
....
konstant
".
Km
, c1 , c2 . . . . cn
=
=
=
=
. . .
= c0
x
1
c
c
on
x ....
2
x }
n
f(100...0)
f(000...0)
f(000...0)
f(000...1)
f(100...0)
f(000...0)
f(010...0)
f(000...0)
f(001...0)
f(000...1)
f(010...0)
f(001...0)
korral.
,c ,
...
{ 0 1 } mistahes funktsioonile, kuid see ei thenda, et iga
loogikafunktsioon on
.
Kuigi meil on prast konstantide c leidmist mingi avaldis
.....
c leidmine
x
1
x ....
2
lineaarne
x
1
x
2
osutuda vaadeldavat
....
c x
n
n-muutuja funktsiooni
f(
mitteesitavaks.
x1 x2 .... xn )
. . . . 0
1 0 0 . . . . 0
0 1 0 . . . . 0
0 0 1 . . . . 0
000
0 0 0 . . . . 1
1 0 0 . . . . 0
. . . .
0 1 0 . . . . 0
=
=
f(01...0) =
f(00...0)
f(10...0)
. . .
f(00...1)
c
c
c
c
c
c
....
....
....
=
=
0 =
cn 0
cn
0 0 1 . . . . 0
0 0 0 . . . . 1
{ 0 1}
f(000...0)
c
15
<
. . . . . . . .
peab lineaarse
funktsiooni korral kehtima kikide argumentvektorite korral, siis peab ta
kehtima ka jrgnevate korral:
Kuna avaldis
010
onstantide
f EI OLE monotoonne
f 0 , f 1 , f 3 , f 5 , f 7 , f 15
konstant 0
.... )
Lineaarsele
cn x n
vheneb:
|____________________________________________________________________________________|
{ 0 1}
<
kuid
lineaarne,
ei riku
f(000) =
monotoonsust
ei riku
f(101) =
f(000) =
argumentvektori
f(111) =
f(010) =
f(110) =
ei riku monotoonsust
f(000) =
argumentvektori
f(111) =
c1
c2
....
cn 1
konstandid
cn
jrgnevalt:
0 0 . . . .
1 1 1 . . . . 1
tevrtustabelite ulatuses.
Kui ilmneb vhemalt ks argumentvektor
f ( x1 x2 .... xn )
siis vaadeldav
f(
funktsioon
f ( x1 x2 .... xn )
x x
1
....
x x
1
xn )
.....
pole
, mille korral
.... x
cn x
lineaarne
ehk
kaovad need
cn x n
.....
Konstandid
=
=
=
f ( x1 x2 )
f(00)
f(00)
f(00)
Saadud avaldis
00
0
f(01)
c
c
c
01
f(10)
10
cx
korral:
x
c
c
disjunktsioon:
kus
Kuna ka
kujul
x
f(01)
1 0
f(10)
1 1
(11)
0
1
ehk
1
0
0
1
(11
Ilmneb, et
disjunktsioon)
ekvivalents)
summa mooduliga 2)
x x
x x
0
0
0
1
0
1
1
1
ja
konjunktsioon
f(11)
f(11)
x x
1
avaldis
f(01)
f(10)
x x
1
0
1
1
0
pole
f(11)
______
x = x1 x
2
______
1
x x
1
c c c
0
0 0 0
x
x
0 0 1
0 1 1
x x
1 0 0
1 0 1
1 1 0
1 1 1
x x2
1
0
0
1
disjunktsioon
ekvivalents
ehk
f(00)
summa mooduliga 2
x x2
f(11)
1
1
on
(10)
korral
f(11)
x 1 x2
lineaarseks,
0 1 0
f(01)
) ra jtta.
2 tk.
lineaarsust.
x
x
1
0 1
|____________________________________________________________________________________|
f ( x1 x2 )
(00
(konjunktsioon)
summa mooduliga 2:
f ( x1 x2 )
ekvivalents:
Funktsiooni
f ( x1 x2 )
x x
x x
x
x
x x
f(00)
summa mooduliga 2
f(10) =
ja
0
0
konjunktsioon:
Ekvivalents
f(00)
1
f
f
)
c
f ( x1 x2 )
f ( x1 x2 )
(11
nide:
0 0
tevrtustabelist:
(00)
(01)
(00)
(01)
lineaarsust.
(00)
(10)
f ( x1 x2 )
(00)
Mrgime, et avaldisest c x
muutujad x , mida korrutav tegur
f ( x1 x2 )
kahe olulise
ja
ekvivalents
lineaarsete
on
f 0 , f 3 , f 5 , f 6 , f 9 , f 10 , f 12 , f 15
f0
. . .
f 15
lineaarsed:
tpiline viga:
f (0 0 0)
f(01)
lineaarsuse
f(10)
tingimus on
f(11)
f (0 1 0)
f (0 1 1)
f (1 0 0)
f (1 0 1)
f (1 10) =
f (111)
|____________________________________________________________________________________|
HARJUTUSLESANDED
loogikafunktsiooni
f ( x1 x2 x3 )
, mis . . . . .
( koostatavad funktsioonid
f ( x1 x2 x3 )
KORDAMISKSIMUSED
hulk.
Ssteemi vivad kuuluda lisaks loogikatehetele ka konstandid 0 ja 1 , mis
on vaadeldavad muutujatest mittesltuvate funktsioonidena
(0-muutuja funktsioonidena).
nide:
\
{ &
{1
{ &
}
|____________________________________________________________________________________|
nide:
Avaldis ( x1
x )
|____________________________________________________________________________________|
K0
fi
f1
f6
f7
f8
f9
f 12
f 13
f 14
f 15
2-muutuja funktsioonide
funktsioonide
....
{ f
....
K0 K1
j
osutub
15
....
selliselt, et
eelnevas
17
f0
f1
f2
f6
f7
f8
1)
p)
( f
m)
baasi
x x
f9
f 12
f 13
summa mod 2)
f 14
(disjunktsioon)
f 15
konstant 0)
(konjunktsioon)
______
1
15
x1 x
implikatsiooni inversioon)
x1 x
x w x2
______
x1 w x
1
(disjunktsiooni
x1 x
1
x
(ekvivalents)
(inversioon)
x1 x2 (implikatsioon)
____
x x
1
(konj. inversioon)
(konstant 1)
inversioon)
f5
{
{
}
f14 }
f
=
=
__
{w }
__
{& }
{ f
13 }
13 }
{ f
13 }
12 }
f4
10
__
__
12
f7
{ f
{ f
f6
f6
9}
{ &
15 } =
{ &
12 }
9}
} =
f
f
f
10
11
baas
prdimplikatsioon)
(Peirce'i baas)
baas
(Shefferi baas)
implikatiivne baas)
implikatiivne baas)
}
}
__
__
13 }
JA-EI
12
__
15
11
VI-EI
__
_______
f3
&
w
__
(Boole'i
disjunktiivne baas)
__
15
0 w }
w }
0 &
}
1
egalkini baas
e. Reed-Mulleri baas)
Ilmneb, et
0 . . .
omadused
f
{ f
.... } { 0
15 }
read katavad hiselt mrgiga
. . .
Km
f2
Kp
f0
siis
K1
K0
kahe
konjunktsiooni inversioon
disjunktsiooni inversioon
baas )
konstantfunktsiooni
.... f
0}
fi
. . . .
= 0 ja | vi
{ fi . . . . f k , f
vi
on
tielik, kui
= 1 lisamist ssteemile
f15
15 }
nrgalt
{ fi . . . . f k , f
vi
15
osutub tielikuks.
Loogikafunktsioonide ssteem on nrgalt tielik, kui ta sisaldab hte
mittemonotoonset ja hte mittelineaarset funktsiooni.
nide:
Ssteem
{ &
on nrgalt
tielik,
mittemonotoonne.
on
&
sest
mittelineaarne
on
ja
, lisandub ssteemile
f15 Kp
15
Kp ja samuti
|____________________________________________________________________________________|
Post
Emil Leon
1897 1954)
1839 1914)
ja
tehte
|____________________________________________________________________________________|
Reed-Mulleri polnoom
elementaarkonjunktsioonid x xk xm
1 (mis vib
polnoomis ka puududa).
Reed-Mulleri polnoomis ei sisaldu seega sulge.
Avaldis baasis { & 1 }
Reed-Mulleri polnoomiks
ja
i
tehte
operandideks
ja
.....
on
konstant
teisendub
sulud selles
korduvad
x x
distributiivsusseadusega
operandid
avaldisest
, kui kik
"lahti korrutada"
vlja
lihtsustada
ja
tehte
vastavalt
kik
seosele
paaritu arvu
x1 w x = x
x
(x1
1) (x 1) 1
x1 x x x
1
liites:
x x x
nide:
Teisendame avaldise
1 x2 w x
x
3
baasi
&
1}
_____
x1 x2 w x
3 = (x1 1) x2 w (x 1) =
= (x1 1) x2 (x 1) (x1 1) x2 (x 1) =
= (x
x2 ) x1 x2 x2 x 1 =
1 1) ( x2 x
= x1 x2 x x2 x x1 x x2 x1 x2 x2 x 1 =
= x x2 x x2 x x 1
3
= x 1
x
Disjunktsiooni asendamiseks tuletame leminekuseose, kasutades seose
tuletamisel DeMorgani seadust, distributiivsusseadust ja tehte
eespool vaadeldud omadust 1 1
:
1882 1964)
konjunktsiooni
1}
{&
juurde
x1 (x x
baas
(egalkini baas)
Vaatleme jrgnevalt loogikatehete ssteemi, kuhu kuuluvad tehted
konjunktsioon , summa mooduliga 2 ja konstant 1 :
Reed-Mulleri
nide:
ja nad on
|____________________________________________________________________________________|
......
heks
tielik
paaritu
nide:
x 2 x3
00
01
11
10
x1 x2
x1
x1 x2 x3
x 2 x3
00
01
11
10
x1
x3
x1 x2 x3 x3
x1 x2 x3
x3
f (010)
1 x2 w x3
x
(010) =
010
1 x2 x3
x
disjunktsiooni
asendada
x1 x2 x3
1-de piirkonna
x2 x
ehk
sellises DNK-s
ei tohi
nide:
00
01
11
10
00
01
11
10
x x
1
10
00
01
11
10
optimaalseim kontuuridevalik
1-de piirkonna katmiseks
110
111
ruutu.
1 x2 x3 x
x
3
1 x2 x3 x
x
3
1) x2 x3
(x1
1) =
(x3
(x
x x x
2
= x2 x x
3
x x
x x x
x x
x x
f(x x x x ) =
x2 x
x w x x w x x x
w x x
x
x =
= x2 x3 x4 x3 x x x x x x x x =
= x2 (x3 1) x x x x x (x 1) x1 (x 1) x (x 1) =
= x2 x x x2 x x x x x x x x
( x1 x x x x ) (x 1) =
= x2 x4 x3 x x2 x x1 x x x x x x x x x x x
1
11
mittelikuvate kontuuridega
kaetud 1-de piirkond
100
|____________________________________________________________________________________|
01
011
(x x x )
1 x2 x3 x
x
3
kigi 8 argumentvektori 000 kuni 111 korral sama loogikavrtuse nagu
avaldis x1 x2 x3 w x3 Seega on mlemad avaldised loogiliselt vrdsed:
f
00
x x
101
010
disjunktsiooni
000
001
|____________________________________________________________________________________|
= x1 x2 x
1 x2 x3 w x
x
3
1 x2 x3 w x
x
3
summa mooduliga 2 .
tehtega
f ( x1 x2 x3 )
....
Seega
Lisaks
nide:
x2 x w x x w
= x2 x4 x3 x
= x2 x4 x3 x
= x2 x4 x3 x
4
|____________________________________________________________________________________|
nide:
f ( x1
....
x4 )
(0
= (x1 1) (x 1) x1 x2 (x 1) (x 1) x3 x x x x x =
3
00
01
11
10
00
01
11
10
01
11
10
00
01
11
10
halvem
kontuuridevalik
2
(x1
= x1 x
x x x x x x
1
kontuuridevalik
x x x x
....
ja
vikseim
ja
f ( 11....1 )
....
(x1
konstant hte
Kui f ( 11....1 )
, siis selle funktsiooni polnoomavaldises on
kokku paarisarv liidetavat. Kui f ( 11....1 )
, siis selle funktsiooni
polnoomavaldises on kokku paaritu arv liidetavat. (selgita miks?)
= 0
x x x
(x1
x x x x
1) (x 1) x
2
1) (x 1) (x 1) (x 1) =
2
(x1 x2
x x 1) x
1
x1 x x x x x x x x x x x x x x x x x 1
|____________________________________________________________________________________|
_
Koos
topelteituse seadusega
vimaldab see
DeMorgani seadus teisendada nii DNK kui ka KNK Reed-Mulleri
polnoomiks.
ja
inversiooni asendusseosega
x 1
nide:
topeltinversiooni
) ;
DeMorgani seadust
ja
____________
____________
( ( x1
x
x
x2 x
1) x3 1) ( x2 x3 1) 1
= x1 x2 x
x x
= x1 x2 x
x x3 x
x x
( x1 x3
x3 1) ( x2 x3 1) 1 =
x x
2
= x2 x4 x2 (x x x x 1)
= 0
w y
x2 (x 1) (x 1)
1 x3 w x x
x
______
x2 x4
x x x
= x2 x
f ( x1 .... x4 )
mju polnoomavaldisele
1) (x 1) x1 x2 (x 1) (x 1) x3 x x x x x =
3
x x x
x2 x x2 x x2
2
x x x4 x x4 x x4 x4
xxxx xx x xxx x x
xxx xx x x x
xxx xx xx x
x x x x 1 =
f ( x1 .... x4 )
= x2 x4
ruutu.
Nende kontuuride paigutamiseks "htede" ruutudele on siin aga palju
erinevaid vimalusi, millest iga valik annab lhteavaldiseks erineva DNK.
Teisendame Reed-Mulleri polnoomiks eelnevalt vasakpoolselt kaardilt
saadava DNK (tehted w
2
eelistatuim
(x x x x 1) (x x x x 1) =
00
x x
1 , 3 , 4 , 5 , 7 , 12 , 13 , 15) 1
= x x x x 1 x1 x x x x x x x x x x1 x x x4
x
x x
DeMorgani seadus
Reed-Mulleri polnoomina :
1 x3 w x2 x3 = x1 x2 x3 x1 x3 x3
x
|____________________________________________________________________________________|
nide:
________
(x
1
w x2 ) x3
x 1 ) x3
( x1 x2
x1 x
x1 ( x 1) 1) x3
2
x1 x2 x
x x
1
nide:
inversiooni,
disjunktsiooni
__
__
&
_____
_____
KK
_____
_____
DK
x x
)
3
&
x3
avaldisele
&
x 2 x3
10
x1 x2 x3
MDNK
ja
__
konjunktsioone
koos
inversiooniga
2
x
____
x2 x2
__
______
2 = x2 w
x
esitada:
_________
____ __
f(x
&
x x
2
= x1 x2 x3
1-de piirkond
( x1
w x3 ) ( x
w x
Rakendame KNK-le
x1 x2 x3
{
__
w
f(x
11
10
x1 x3 ) ( x2 x3 )
0-de piirkond
)
3
ja
ja
DeMorgani seadust
_________________
__________________
_________________
_______
( x1
w x3 ) ( x
w x
)
3
______
x w x3 w x
2 w x
__
01
x x
topeltinversiooni
00
x1
.....
&
x 2 x3
____
f ( x1 x2 x3 )
x1
________
11
ja
x1
01
__
{&}
Saadud
00
__
baasides
= x1 x2 w x3 = x1 x2 x3
Topeltinversioon
x2
= x1 x2 w x3
_________
1
f(x
_________
__
x x
|____________________________________________________________________________________|
__
Kuna
konjunktsiooni
f(x
Esitada funktsioon
MKNK
normaalkujudevaheline leminek
Minnes 1-de piirkonnalt le 0-de piirkonnale, saame funktsioonile MKNK:
x1
x3
x2
x3
1
1
x1 x3
x2 x3
|____________________________________________________________________________________|
leminekuseosed baasidesse
f(x
x x
2
x1 x
w x3
x1 w x
implikatiivne baas { 0
x1 w x = x
x x
1
______
= x w x
1
0) x
( x1
_______
( 0))
x
0
= (x 0) x
(x (x 0))
x1 x =
2
x1
x x)
= x
(x
(
x
))
0
( (
x1 )))
))
Reed-Mulleri
{&
baas
)]
1}:
x1 w x
x1 x =
____
x1 w x = x
x = ( x 1) ( x 1)
= x1 x x x 1 1 =
1
x x
1
2
1x
w x3 = x1 ( x
1)
w x3
(x1 x2
w x3 =
On antud
funktsiooni
realiseeriv
x1
x2
x3
x4
x1 x
x1
x2
loogikaskeem
x3 =
f
f
osutub ?
on
nulli silitav ?
kas
on
lineaarne ?
&
x1
x3
&
x2
x3
x1
x3
x1
x2
&
1
&
On antud
realiseeriv
loogikaskeem
esitada
funktsiooni
Reed-Mulleri polnoomina
kas
on
nulli silitav ?
kas
on
hte silitav ?
kas
on
pratav ?
kas
on
baasis
x1
x2
x2
x4
JAEI
&
&
x3
&
monotoonne ?
x2
x3
x4
realiseeriv
kas
HARJUTUSLESANDED
esitada
esitada
funktsiooni
x)
x w x = x x x1 x
2
On antud
esitada
2
x = x 1
1
koostada
koostada
( x x)
= x (x x ) x
(x (x ( x x )))
x1 x
2 w x3 = x1 ( x 0 ) w x3 =
= (( x [( x2 0 ) 0 ] ) 0 ) w x3 =
= ([(( x [( x2 0 ) 0 ] ) 0 )] 0 )
x (x x (x x ) ] x x )
( x x ) x3
[(
(x
= x
x
([(( x1
x3
_______
w x
x
x3
______
x1 x
w x3
__
implikatiivne baas {
}:
2
= x
x1 w x = x
x x
= x
x
2 w x3 = x1 ( x2 0 ) w x3 =
1x
= [( x1 ( ( x
0)
0) )
0 ]
w x3 =
= [ [( x1 ( ( x
0)
0) )
0 ]
0]
x
x1
x2
_______
baas { }
x = x
x w x
_______
2
x1 x
2 w x3 =
= x
x1 x =
} :
= x
x
On antud
MDK
= x1 x2 w x3
teisendada antud
teisendada
MKK
kasutades
leminekuseoseid
abil
polnoomkujule teisendamiseks sobivaima DNK
Karnaugh kaardi
rakendades
rakendades
DeMorgani seadust
DeMorgani seadust
KORDAMISKSIMUSED
15