2.

Bulovaiprekidakaalgebra

2.1.DefinicijaiosobineoptihBulovihalgebri

Definicija.NekajeBneprazanskup,+, binarneoperacijenaB,

unarnaoperacijanaBiu,1 e Brazliite
konstante. Izraz x y krae emo zapisivati kao xy. Algebarska struktura (B, +,,

, u,1) je Bulova algebra
akozadovoljavasledeezakone:
1. Komutativnost: x + y = y +x,xy = yx
2. Komplement: x + x = 1,xx = u.
3. Distributivnost: x(y +z) = xy + xz,x + yz = (x + y)(x + z)
4. Neutralnielementi: x + u = u + x = x,x 1 = 1 x = x

Nadalje emo podrazumevati da je (B, +,,

, u,1) Bulova algebra i tu predpostavku neemo eksplicitno
navoditiprilikomformulacijateoremaidefinicija.Sledeuteoremuneemodokazivati.

Teorema.Operacije+isuasocijativne,tj.vaisledeizakon:
5. Asocijativnost: x + (y + z) = (x + y) +z,(xy)z = x(yz)

Zadatak1.DokazatisledeaosnovnasvojstvaBulovihalgebri:
a) Idempotentnost: x + x = x,xx = x
b) Ogranienost: x + 1 = 1,x u = u
c) Absorbcija: x(x + y) = x,x +xy = x

Zadatak2.Pokazatidaukolikozastrukturu(B, +,,

, u,1)vaezakoni13izdefinicijeBulovealgebreivai
zakona)izpredhodnogzadatka,datadavaiizakon4,tjdajeodgovarajuastrukturaBulovaalgebra.

Zadatak3.DokazatidausvakojBulovojalgebrivaesledeasvojstva:
a) Jedinstvenostinverznogelementa: x + o = 1 A xo = u = o = x
b) Involutivnost: x = x
c) Demorganovizakoni: x + y = x + y,xy = x +y
d) UopteniDemorganovizakoni: x
1
+ x
2
+ + x
n
= x
1
x
2
x
n
,
x
1
x
2
x
n
= x
1
+x
2
++ x
n

e) Saimanje: xy + xy = x,(x +y)(x + y) = x

Zadatak 4. Neka je B = {u,1], operacije + i redom maksimum i minimum a x = 1 - x. Dokazati da je

odgovarajuastrukturaBulovaalgebra.

Napomena: Bulova algebra iz predhodnog zadatka se naziva prekidaka algebra predstavlja osnovu za rad
digitalnihelektronskihkolaaujednoiraunara.

Zadatak 5. Neka je A proizvoljan neprazan skup. Posmatrajmo strukturu (P(A),U,r,

c
, , A) gde je sa P(A)
oznaen partitivni skup skupa A a sa
c
operacija komplementiranja. Dokazati da je ova struktura Bulova
algebra.
2 2.Bulovaiprekidakaalgebra

Zadatak 6. Neka je (I, ) linearno uredjenje (svaka dva elementa su uporediva). Neka je |x, y) =
{c e I |o c < b] poluotvoreni interval. Skupove {c e I | c x] i {c e I | x c] takodje emo smatrati
poluotvorenim intervalima. Dokazati da je B(I) = {A L I |A je konana unija poluotvoienih inteivala]
Bulovaalgebrasaistimoperacijamakaoupredhodnomzadatku.

Definicija. Bulov izraz je korektan izraz koji se sastoji od konstanti u i 1, promenljivih x, y, z, o, b, c, kao i
operacija+,i

.Formalno,bulovizrazmoesedefinisatinasledeinain:
1. Buloviizrazisukonstanteu, 1kaoipromenljivex, y, z, o, b, c, .OznaimoskupovihizrazasaE
0
.
2. RekurzivnodefiniemonizskupovaE
n
pomou
E
n
= E
n-1
U {A + B | A, B e E
n-1
] U {A B | A, B e E
n-1
] U {A

| A e E
n-1
].
3. SkupsvihBulovihizrazajeE = E

+
=0
.

Definicija.NekajeBulovizraz.Dualniizrazizraza,uoznaci
-
definiemokaoizrazkojisedobijakadase
u izrazu svako pojavljivanje operacije + zameni sa i obratno, i kada se svako pojavljivanje konstante 1
zamenikonstantomuiobratno.

Zadatak 7. Dati formalnu definiciju dualnog Bulovog izraza na slian nain kao to je formalno definisan
pojamBulovogizraza.

Zadatak 8. Dokazati da ukoliko su dva Bulova izraza jednaka (za svaku kombinaciju vrednosti promenljivih
imajuistevrednosti),istovaiizanjihovedualneBuloveizraze.

Zadatak9.DokazatigeneralisanuDemorganovuteoremu
(x
1
, x
2
, , x
n
) =
-
(x
1
, x
2
, , x
n
)

Definicija.Operacijax y = xy + x ynazivasesimerinarazlika.

Zadatak10.Dokazatisledeeosobinesimetrinerazlike
a) x = yakkovaix y = u,
b) x (y z) = (x y) z,
c) x(y z) = xy xz.

Zadatak11.UprostitisledeiBulovizraz
o b

+ c + (o +b)c .

Zadatak12. b = cdokazatidajeo c = b.

Zadatak13.Proveritisledeujednakost
obc = o(b

+ c ) + bc + oc

Teorema. (Hangtington) Neka je B neprazan skup a +,

redom binarna i unarna operacija na B. Ukoliko
vaesledeetriaksiome:
1. Asocijativnost: x + (y + z) = (x + y) +z
2. Komutativnost: x + y = y +x
3. Hangtingtonovaaksioma: x + y + x +y = x
Ako definiemo x y = x +y, 1 = x +x i xx = u tada je odgovarajua struktura (B, +,,

, u,1) Bulova
algebra.
Uvoduraunarstvoidigitalnalogikakola 3
Teorema. (Robins)
1
Predhodna teorema vai i ako se umesto Hangtingtonove aksiome uvede dualna
(Robinsovaaksioma):x + y + x +y = x.

2.2.Prekidakefunkcije

U nastavku emo predpostaviti da je (B, +,,

, u,1) Bulova algebra iz zadatka 4, tj da je B = {u,1] a
operacije+,,

odgovarajuredomdisjunkciji,konjunkcijiinegaciji.

Definicija.Prekidakafunkcijaodnpromenljivihjesvakafunkcija: B
n
- B.

Zadatak11.Kolikoimaukupnoprekidakihfunkcijaodnpromenljivih?Kolikoimaprekidakihfunkcijaodn
promenljivihkojeeksplicitnozaviseodsvihsvojihpromenljivih?Funkcijaeksplicitnozavisiodpromenljive
x

ako postoji barem jedan vektor (x

1
, , x
-1
, x
+1
, , x
n
) e B
n-1
tako da (x
1
, , x
-1
, u, x
+1
, , x
n
) =
(x
1
, , x
-1
, 1, x
+1
, , x
n
).

ToDo:

Naini predstavljanja prekidakih funkcija. Vektor istinitosti. Skupovi decimalnih indeksa. Brojni indeks.
Nepotpunodefinisaneprekidakefunkcije.PDNF,DNF,PKNF,KNF,PPNF,karakteristinipolinom.enonova
teoremarazvoja.Fiktivnepromenljive.Potpuniskupoviprekidakihfunkcija.Postovateorema.

1
OvuteoremusudokazaliW.McCuneiG.Kolata1996.godinepomoukompjuterskogprogramaEQP