4. Bulove algebre Flashcards
Šta je Bulova algebra?
Bulova algebra je uređena šestorka (B, +,*,’, 0,1) gde su:
- 0 i 1 različiti elementi skupa B
- + i * binarne operacije nad skupom B
- ‘ je unarna operacija nad skupom B
i za koju baže sledeći aksiomi:
B1 (komutativnost) B2 (distributivnost) B3 (def neutralnog elementa) i B4 (def inverznog elementa)
Koliko ima aksioma koje određuju Bulovu algebru?
4 aksiome
O čemu su, zapravo, te četiri aksiome Bulove algebre?
B1: komutativnost sabiranja i množenja
B2: distributivnost sabiranja nad množenjem i obrnuto
B3: 0 je neutral za sabiranje (a 1 za množenje)
B4: inverzni elementi
Kako glasi aksioma B1?
a + b = b + a
a * b = b * a
Kako glasi aksioma B2?
a(b + c) = (a * b) + (0 * c)
a + (b * c) = (a + b) * (a +c)
Kako glasi aksioma B3?
a + 0 = a
a*1 = a
Kako glasi aksioma B4?
a + a’ = 1
a * a’ = 0
Kako se zapravo zapravo zove aksioma B4?
Komplementarnost - a+a’=1, a*a’=0
Kako se pravilno nazivaju ove 4 aksiome Bulove algebre?
B1: komutativnost
B2: distributivnost
B3: postojanje neutralnih elemenata
B4: komplementarnost
Postoje li beskonačne Bulove algebre?
Najverovatnije da, ali sa njima nećemo raditi
Koji su osnovni primeri (modeli) Bulove algebre?
Iskazna algebra, algebra skupova, algebra delitelja nekog broja
Kako izgleda definicija iskazne Bulove algebre?
v. primer 4.2
Kako izgleda definicija Bulove algebre skupova?
v. primer 4.3
Kako izgleda Bulova algebra delitelja nekog skupa?
v.primer 4.4
Šta je dualnost?
Dualnost je osobina koja se primećuje u osmočlanom skupu svih aksioma Bulove algebre - ako + i * i 0 i 1 zamene mesta, dobiće se opet aksioma Bulove algebre. Zbog toga će i skup teorema Bulove algebre biti dualan: ako se dokaže neka teorema, time je njoj dualna teorema automatski dokazana - ne treba je dokazivati
Zašto B4 nije pogrešna, iako su 0 i 1 ‘‘zamenili mesta’’?
Greška je u tome što se algebra tumači kao grupa (polje realnih brojeva). Pogledaj B2 (distribuciju, koja važi u oba smera) Ona takođe ‘‘nema smisla’’, ali stvar je u tome što ovo nisu ‘‘prava sabiranja i oduzimanja’’. Još bolji savet: tumači sve preko teorije skupova (ili iskazne algebre)
Kako se definiše iskazna Bulova algebra?
({tačno, netačno}, i, ili, negacija, netačno, tačno)
Kako se definiše Bulova algebra skupova?
Uređena šestorka
(partitivni skup od A, unija, presek, komplement, prazan skup, skup A)
Kako glase aksiome iskazne Bulove algebre?
B1 (komutativnost) :
a i b = b i a
a ili b = b ili a
B2 (distributivnost):
a i (b ili c) = (a i b) ili (a i c)
a ili (b i c) = (a ili b) i (a ili c)
B3 (neutral):
a i tačno = a
a ili netačno = a
B4 (inverz):
a i (ne)a = netačno
a ili (ne)a = tačno
Kako da zapamtim: da li je ‘i’ + ili je ‘ili’ + ? Odnosno, da li je unija + ili je presek + …?
Unija je sabiranje! Presek je množenje
(ne pitaj me zašto)
Kako glase aksiome Bulove algebre u algebri skupova?
B1 (komutativnost)
X U Y = Y U X
B2 (distributivnost)
X unija (Y presek Z) = (X unija Y) presek (X unija Z)
X presek (Y unija Z) = (X presek Y) unija (X presek Z)
B3 (neutral)
X unija prazan skup = X
X presek ceo skup A = X
B4 (inverz)
X unija X^c = A
X presek X^c = prazan skup
Kako glase aksiome Bulove algebre delitelja
B1 (komutativnost) : nzd(a,b) = nzd(b,a) (isto za nzs)
B2 (distributivnost): a*(a+b) =
… Dopuni!
Kako se dokazuju aksiome Bulove algebre delitelja broja?
Ako je, npr. Bulova algebra delitelja broja 30, onda ćemo 30 predstaviti u obliku p1^a1 * p2^a2 …P_n ^a_n tj. faktorišemo. I onda nzd i nzs se predstavljaju preko funkcija min i max (vidi vežbe)
Koje su osnovne teoreme Bulove algebre?
Idempotentnost, ograničenost, apsorpcija, asocijatovnost, Demorganovi zakoni
(+teoremice: 4.8, 4.10, 4.11 msm da je to to)
Kako glasi zakon idempotencije?
a+a=a odnosno aa=a