Professional Documents
Culture Documents
Ishodi uenja
2
Sadraj predavanja
Booleova algebra
Aksiomi i teoremi
Dvolana Booleova algebra
Mintermi i makstermi
Kanonski oblik funkcije
3
Booleova algebra
4 4
Aksiomatska definicija
Booleove algebre
E. V. Huntington:
"Sets of Independent Postulates for the
Algebra of Logic", 1904:
Poeljno: minimalni broj postulata
Neophodna svojstva:
konzistentnost:
niti jedan postulat iz skupa ne proturjei
nekom drugom iz istog skupa
nezavisnost:
niti jedan se postulat ne da dokazati
pomou ostalih
5 5
Formalna definicija
konani skup objekata:
S A, B, C, d , e...x, y, z....
dvije binarne operacije: +,
Operatori (+, ) su zatvoreni s obzirom na S
Skup osnovnih aksioma ( postulata)
6 6
Aksiomi
A.1. Aksiom o neutralnim elementima
Postoji neutralni elementi 0 i 1 s obzirom na operatore
(+ i ) tako da vrijedi:
a) A + 0 = A
b) A1 = A
A.2. Aksiom o komplementu
Za svaki A postoji A S tako da vrijedi:
a) A A 0
b) A A 1
7 7
Aksiomi
A.3. Zakon komutacije
Operatori su komutativni:
a) A+B = B+A
b) BA = AB
A.4. Zakon distribucije
Operatori su distributivni jedan preko
drugoga
a) A (B+C) = AB + AC
b) A+BC = (A+B)(A+C)
Aksiomi A.2. i A.4.b ne vrijede u obinoj
algebri
8 8
Hijerarhija operatora
Komplement ""
Logiko mnoenje ()
Logiko zbrajanje (+)
9 9
Hijerarhija operatora
10
TEOREMI
( A A)( A A) A.2
..
A A A A.4
A0 A.2.
=A
12 12
TEOREMI
b) A B A B
14
TEOREMI
Dokaz
Supstitucija: A+B = X
Ako je teorem ispravan
mora biti: X AB
15
Slijedi
L.1: ( A B) ( A B ) 1
L.2: ( A B) ( A B ) 0
( A B) A B ( A AB ) B A.3., T.5.
1 ( A B ) B A.2.
A (B B ) A.1.,T.5.
A 1 A.2.
1 T.1.
16
L.2 ( A B) A B AA B BA B A.4
0 B 0 A A.2.
00 T.1.
0
T.2.
17
T.7. Generalizirani De Morganov teorem
a)
A B C A B C
b) A B C A B C
supstitucija:
A B C A X X=B+C
Dokaz: AX T.6.
A (B C) supstitucija za X
A (B C ) T.6.
A B C T.5
18
Zakon simplifikacije
Dokaz AB AB A (B B ) A.4.
A 1 A.2.
A A.1.
19
Dvolana Booleova algebra
S = {0,1}
A.1.: A+0=A; A1=A
A.2.: A A 1 ; A A 0
T.1.: A+1=1; A0=0
Uvrtavanjem 0 i 1 slijedi:
A B A+B A B AB A A
0 0 0 0 0 0 0 1
0 1 1 0 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1
20
Dokaz konzistencije : realni sustav
Druge Booleove algebre
Elementi su skupovi algebra skupova je formalno jedna od
Booleovih algebri
Vennovi dijagrami
AB=A B A+B=A B
U U A
A A A
AA
B B
A B A B
21
Booleove funkcije
22
Minterm
S dvije ulazne promjenljive veliine mogue je
nainiti etiri razliite operacije logikih
umnoaka:
AB, AB, AB, AB
Tablica stanja za mogue vrijednosti na ulazu
U izlaznom stupcu se dobije samo jedna jedinica
Minterm logika operacija koja na izlazu daje
jedinicu (1) samo za jednu ulaznu kombinaciju
Ostvaruje se operacijom I
Dvije ulazne varijable etiri razliita minterma
23
Minterm
Primjer: realizacija minterma m2 s tri
ulazne varijable
Minterm m2 = izlaz je 1 za ulaznu
kombinaciju 010
Logika jednadba minterma: m2= A B C
C B A m2
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0 24
Minterm
Kad je potrebno ostvariti logiku operaciju
koja na izlazu daje jedinicu (1) za vie
ulaznih kombinacija, koristi se logiki zbroj
minterma
C B A Y
Y=AB C + A B C
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
25
Minterm
26
Maksterm
S dvije ulazne promjenljive veliine mogue
je nainiti etiri razliite operacije logikih
zbrojeva:
A+B, A+B, A+B, A+B
Tablica stanja za mogue vrijednosti na
ulazu
U izlaznom stupcu se dobije samo jedna
nula (0)
Maksterm logika operacija koja na izlazu
daje nulu(0) samo za jednu ulaznu
kombinaciju
Ostvaruje se operacijom ILI
Dvije ulazne varijable etiri razliita
maksterma 27
Maksterm
Primjer: realizacija maksterma M2 s tri ulazne
varijable
Maksterm M2 = izlaz je 0 za ulaznu
kombinaciju 010
Logika jednadba maksterma: M2= A + B +C
C B A M2
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1 28
Maksterm
Kad je potrebno ostvariti logiku operaciju
koja na izlazu daje jedinicu (0) za vie
ulaznih kombinacija, koristi se logiki
umnoak maksterma
C B A Y
0 0 0 1
Y=(A+B + C) (A + B + C)
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
29
Maksterm
30
31
Napiite tablino zadanu funkciju kao sumu minterma i
kao produkt maksterma
A B C f mintermi Makstermi
0 0 0 1 m0 M0
0 0 1 0 m1 M1
0 1 0 0 m2 M2
0 1 1 1 m3 M3
1 0 0 1 m4 M4
1 0 1 0 m5 M5
1 1 0 1 m6 M6
1 1 1 0 m7 M7
Rjeenje
A B AB AB f AB AB mi Mi
0 0 0 0 0 = v0 m0 A B M0 A B
0 1 0 1 1 = v1 m1 A B M3 A B
1 0 1 0 1 = v2 m2 AB M3 A B
1 1 0 0 0 = v3 m3 AB M3 A B
34
B
A
Vrijednost funkcije 1
Ispunjeno u drugom i treem retku
v1 a) A = 0 ; B = 1
v2 b) A = 1 ; B = 0
Napisano drugaije:
a) A =1; B=1 AB 1
b) A=1; B 1 AB 1
f A B AB
r 1
Openito: f i 0
vi mi
r 2 n
35
n = broj varijabli
Vrijednost funkcije 0
V0 a) A = 0 ; B = 0 A B 0
V3 b) A = 1 ; B = 1 A= 0 ; B= 0 A B 0
f ( A B) ( A B )
r 1
openito f (vi Si )
i 0
Funkcije su jednake:
( A B)( A B ) AA A B AB BB A.4.
f 0 A B AB 0 A.2
A B AB AB A B A.1., A.3.
36
Skraeno pisanje standardne tablice kombinacija
Npr
f ( A, B) A B AB
0 1 1 0
m , m 1,2
1 2
1 2
f ( A B) ( A B )
(M , M ) (0,3)
0 3
37
Nekanonski oblici funkcije
pretvorba u kanonski oblik
1. metoda
Svaki lan mnoiti s (X X ) gdje su s X oznaene nedostajue
varijable
Npr y A B C
y A B C
A.1., A.2.
A ( B B )(C C ) B C ( A A )
A BC A B C A BC A B C AB C A B C
A.4.
y (0,1,2,3,5)
39
Funkcija u drugom kanonskom obliku
1.Metoda
Varijable koje nedostaju u svakom lanu treba dodati kao XX
Npr
f A( A B)
( A B B)( A B) A.2.b, A.1.a
( A B)( A B)( A B) A.4.b
( A B)( A B) T .2.
(0,1)
40
Komplement funkcije
r 1
v m
A B f f mi Mi
f
0 0 1 0 AB A B i i
i 0
0 1 0 1 AB A B r 1
1
1
0
1
0
0
1
1
AB
AB
A B
A B
f v m
i 0
i i
41
Komplement funkcije
42
Algebarski zadana funkcija
Primjena De Morgana
f ( A, B) AB
f ( A, B) AB A B A B
43
Dualna funkcija
Dualna funkcija, ( metateorem o dualnosti), dobiva se
tako da se meusobno zamijene operatori i, ako
postoje u izrazu, konstante 0 i 1.
Ako je funkcija f :
f f ( A, B, C,...,,, ,0,1),
Dualna funkcija je:
f D f ( A, B, C,...,,, ,1,0).
Npr f AB CD,
f D ( A B) (C D) AC C B AD BD dualna funkcija od f
44
Dualna funkcija - primjena
Generalizirani De Morgan
A B C ... A B C ...
Primjer primjene
f ( A, B, C ) A B C A B C A BC ,
f ( A, B , C ) ABC ABC AB C ,
f f D ( A, B , C ) ( A B C )( A B C )( A B C ).
45
Funkcije jedne i dvije varijable
n1 n 2 2n
2 4
2
2 4 16
3 8 256
4 16 64K = 65 536
46
Funkcije jedne varijable:
A f0 f1 f2 f3 f0 = 0
0 0 0 1 1 f1 = A
f2 =1
1 0 1 0 1 f3 = A
00 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
01 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
10 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
11 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
47
Razliite funkcije 2 varijable
Funkcija Simbol za Ime Primjedbe
operator
f1 AB I-funkcija
A B
(konjunkcija)
f 2 AB A/ B Inhibicija B inhibira A
A B
ILI-funkcija
f7 A B
(disjunkcija)
f8 A B A B NILI NE-ILI
f 9 AB A B
Ekvivalencija
AB
f14 AB A B NI NE-I
48
Realizacija i simboli
ISKLJUIVO ILI funkcija
B
f AB AB
=1
A
f=A+B
B
49
NILI funkcija
A B f A B
0 0 1
A 0 1 0
f A B
B 1 0 0
1 1 0
Ekvivalencija
f 9 AB A B A B f 9 AB A B
0 0 1
0 1 0
1 0 0
1 1 1
50
3. Osnove digitalne logike
Implikacija
A B f11 A B
f11 A B 0 0 1
0 1 0
1 0 1
1 1 1
Inhibicija
f 2 AB
A B f 2 AB
0 0 0
0 1 0
1 0 1
1 1 0
51
NI funkcija
A B f14 AB
0 0 1
f14 AB
0 1 1
1 0 1
1 1 0
52 52
Skupine osnovnih funkcija
1. I ILI NE
2. I-NE A B A B A B,
3. ILI-NE A B A B AB,
4. NI A A A AB AB AB A B
5. NILI A A A A B A B A B AB
6. Itd.
NI i NILI su UNIVERZALNE FUNKCIJE
53 53
Implementacija I, ILI i NE s univerzalnim funkcijama
NE I ILI
A
A
A A A A B
A A A B AB A B
B B B
B
A B
A A A A
A
A
A
A A A
A A B
A B A B A A B
B B B
A A A A A
A B
B
54
Funkcije vie varijabli
1. Skupina I, ILI , NE proizvoljan broj varijabli
2. Iskljuivo ILI
Primjer za 3 varijable A B B A; ( A B) C A ( B C).
f ( A, B,C ) A B C AB C A BC ABC A B C.
55
Vanost EX-ILI
aritmetiki sklopovi
zatita poruka od pogreaka prilikom prijenosa
generiranje pseudo-sluajnih nizova
(kodiranje, kriptiranje)
Simboli
2k+1
56
Primjer EX-ILI funkcije
57
Ekvivalencija = logiki identitet
f NI X 0 X1... X n
NILI funkcija
f NILI X 0 X1 ... X n
58
Jo neke funkcije vie varijabli
m ulaza u 1, m < n m
Majoritet (glasanje)
veinska funkcija n ulaza
> n/2 ulaza u 1
n
2
Samo m"
upravo m ulaza u 1, m < n
n ulaza
m
59
Pretvaranje funkcije u NI-oblik
( f = suma produkata) metoda supstitucije
f
f
I ILI
I NE NI ILI NI NE (n puta)
60
Algebarska metoda
2n 1
f ( x1 , x2 ,..., xn ) i Pi
i 0
0 P0 1 P1 ... 2n 1 P2n 1
0 P0 1 P1 ... 2n 1 P2n 1
Npr f A BC A BC ( A ) ( BC )
61
Pretvaranje funkcije u NILI-oblik ( f = produkt suma)
metoda supstitucije
zamijeniti osnovne funkcije kombinacijom NILI koja ispunjava istu
funkciju
primijeniti T3 (involucija)
( eliminirati dvostruku primjenu funkcija NE )
f
f
ILI I
62
Konano:
f f
Algebarski:
f A( B C )( D E ) A ( B C ) ( D E ).
63
Nepotpuno specificirane funkcije
Funkcija koja ispituje je li dekadska znamenka A = a3a2a1a0 prikazana u
BCD kodu neparna
f = m(1, 3, 5, 7, 9) + d (10, 11, 12, 13, 14, 15)
Primjer: = M(0, 2, 4, 6, 8) d(10, 11, 12, 13, 14, 15)
Nije vana vrijednost funkcije (engl. don't care) u tablicu
kombinacija upisuje se "X"
64
Pozitivna i negativna logika:
pozit.log neg.log.
A B f A B f A B f
N N N 0 0 0 1 1 1
N V N 0 1 0 1 0 1
V N N 1 0 0 0 1 1
V V V 1 1 1 0 0 0
U0
R
A A A
f=AB f=A+B
B B
f
B
Ru Ru
Uizl
uA uB
66
Tablica diodnog ILI sklopa
poz.log. neg.log.
A B f A B f A B f
N N N 0 0 0 1 1 1
N V V 0 1 1 1 0 0
V N V 1 0 1 0 1 0
V V V
1 1 1 0 0 0
A
B
f
Ru Ru A A
R uizl f=A+B f=AB
B B
uG uG
67
Vremenski hazard:
stvarni (kombinacijski) sklopovi: postoji
kanjenje (td)!
promatrati ostvarenu logiku funkciju + td
AB Dt
A
D (AB)
B
operator kanjenja
68
Statiki 0-hazard
td1 td 2
A A
f A A 0
A
t
Statiki 0-hazard: generiranje impulsa 1 na
td1
izlazu logikog sklopa koji je, statiki A
f td1 td 2
69
Dinamiki hazard
70
LITERATURA:
71