Logičko projektovanje

Bulova algebra
Uvodna napomena
 U ovom, prvom, predavanju kursa iz
Logičkog projektovanja biće data
matematička osnova premeta.
 Oblast deluje izdvojeno iz celine kursa, što
na određeni način i jeste tako; i ne treba
očekivati da se veza utvrdi odmah nakon
prvog čitanja.
 Studentu se savetuje da ovu oblast pročita
informativno kako bi bio "u toku", i da nakon
toga krene na izučavanje ostatka kursa uz
vraćanje na ovu oblast po potrebi.
Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje
Binarna operacija
 Def: Binarna operacija nad skupom S je
bilo koje preslikavanje skupa SxS na S
(u oznaci "•").
 Ovaj znak se naziva operator.
 Osobine koje se definišu za binarnu
operaciju (osobine koje jedna binarna
operacija može imati) date su na
sledećem slajdu.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Osobine binarne operacije "●"
 asocijativnost:
a, b, c  S  (a  b)  c  a  (b  c)

 komutativnost

a, b  S  a  b  b  a

 neutralni element

a  S e  S ae  ea  a

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Osobine bin. oper. "●" (nastavak)
 regularni element
• levi regular
a, b, c  S a b  a c  b  c
• desni regular
a, b, c  S ba  ca  b  c
• regularni element (sama definicija): a je regularni
element skupa S ako je on istovremeno i levi i desni
regularni element.
 inverzni element
a  S a  S a  a  a  a  e

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Algebarske strukture (definicije)
 Biće definisane sledeće algebarske
strukture:
• grupoid,
• semigrupa (polugrupa),
• grupa,
• Abelova grupa,
• prsten,
• telo i
• polje.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

AS: o grupoidu
 Grupoid je skup (obeležimo ga na primer sa
S) na kome je definisana binarna operacija
(označimo je sa "•" i nazovimo je operacija
"tačka").
 Dakle grupoid je samo osnovni, uvodni pojam
u algebarske strukture. On služi da razgraniči
pojam skupa od pojma algebarske strukture –
jer ovaj drugi je podskup prvog, odnosno
struktura je skup na kome je definisana
operacija... neka operacija. Ona nema ni jednu
od pobrojanih osobina.
 Dalje algebarske strukture su restriktivnije,
odnosno definišu se u odnosu na osobine koje
binarna operacija na njima ima.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

AS: semigrupa i grupa
 Naredne strukture biće definisane
nabrajanjem osobina koje binarna
operacija nad njima ima.
 Semigrupa:
• asocijativnost.
 Grupa:
• asocijativnost,
• neutralni element,
• inverzni element.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

AS: Abelova grupa...
 Abelova grupa: komutativna grupa!
• osobine grupe:
• asocijativnost,
• neutralni i
• inverzni element, i još
• komutativnost.
 Naredne strukture podrazumevaju
postojanje 2 binarne operacije.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

AS: strukture sa 2 operacije
 Prsten:
• struktura je oblika (S,*,·), pri čemu je
• struktura (S,*) – Abelova grupa, a
• struktura (S, ·) – semigrupa, i uz to je
• operacija · distributivna prema *.
 Telo:
• struktura je oblika (S,*,·), pri čemu
• je (S,*,·) prsten, a
•(S\{e*},·) je grupa
• gde je e* neutralni element za operaciju *.
Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje
AS sa 2 operacije: polje
 Polje:
• struktura je oblika (S,*,·)
•(S,*,·) je prsten
•(S\{e*},·) je Abelova grupa
• gde je e* neutralni element za operaciju *.
 U nastavku izlaganja biće definisane
strukture od posebnog značaja za ovu
oblast:
• Bulova algebra,
• Bulov prsten i
• Galoaovo polje reda 2, u oznaci GF(2).
Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje
Bulova algebra - uvod
 Bulova algebra predstavlja matematičku
osnovu prekidačke teorije, a samim tim i
logičkog projektovanja.
 Prekidačka algebra je poseban slučaj
dvodimenzionalne Bulove algebre.
 Bulovu algebru možemo definisati preko
Hunting-ovog skupa aksioma.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Bulova algebra - definicija
 Bulova algebra je algebarski sistem
(B,+,·,',0,1) koji čine:
• skup B, čiji su elementi 0 i 1,
• binarne operacije + i ·
• i unarna operacija '
• ukoliko važe sledeće aksiome:
1. Iz a,bB sleduje da su i a+b, ab, a' takođe iz B
2. Za svako a,bB važi ab=ba i a+b=b+a
3. Za svako a,b,cB važi: a(b+c)=ab+ac i
a+bc=(a+b)(a+c)
4. Za svako aB važi a·1=a i a+a=a
5. Za svako aB važi aa'=0 i a+a'=1
6. 01
Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje
Bulova algebra – dodatne napomene
 Treba naglasiti osobinu dualnosti
operacija + i · u naverenom skupu
aksioma:
• skup aksioma je invarijantan na međusobnu
zamenu ovih operacija ukoliko se istovremeno
međusobno zamene elementi 0 i 1 koji se
nazivaju nula i jedinica Bulove algebre,
redom.
• Odavde sledi da se svakoj teoremi koja se
može izvesti iz ovog skupa aksioma može
pridružiti i dualna teorema dobijena zamenom
elemenata na gore opisani način.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Bulova algebra – utvrđivanje
 Da bi se proverilo da li je data algebra
Bulova, dovoljno je proveriti sledeća 4
postulata:
• distributivnost,
• komutativnost,
• komplemente (a+a=1 i aa=0) i
• identitete (a+0=a i a·1=a).

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Bulov prsten
 Struktura (B,,·,1,0) je Bulov prsten
ukoliko važi:
1. iz a,bB sledi abB i a·bB
2. za svako a,b,cB važi:
1. a(bc)=(ab)c i
2. a·(b·c)=(a·b)·c
3. za svako a,bB važi ab=ba
4. postoje dva različita elementa 0 i 1 skupa B
takva da za  aB važi a0=a i a·1=1·a=a
5. za svako aB postoji bB takav da ab=0
6. za  a,b,cB važi: a·(bc)=(a·b)(a·c)
Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje
Bulov prsten (nastavak)
 Na ovaj način, polazeći od Bulove
algebre (B,+,·,',0,1) dolazi se do
Bulovog prstena sa operacijom  kao
sabiranjem i operacijom · kao
množenjem.
 Prsten je Bulov prsten ako i samo ako
važi a·a=a za  aR.
 Bulova algebra definiše Bulov prsten i
obrnuto.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Galoaovo polje reda 2 – GF(2)
 Ako za Bulov prsten važi:
• za x0 postoji y takvo da je xy=yx=1
 onda ovaj algebarski sistem zadovoljava
osobine polja.
 Ovakvo polje nosi naziv Galoaovo polje
reda dva, u oznaci GF(2).

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje

Kraj izlaganja o Bulovoj algebri

Pripremio
predmetni asistent
Dipl. ing. Martin Jovanović.
Elektronski fakultet u Nišu, marta 2004.

Elektronski fakultet u Nišu - Katedra za računarsku tehniku i informatiku - Logičko projektovanje