OSNOVI RAČUNARSKE TEHNIKE
Univerzitet NOVI PAZAR 2009./2010. Dr. Ivan ĐOKIĆ
OSNOVI RAČUNARSKE TEHNIKE
LEKCIJA 6: Digitalna logika – Bulova algebra
BULOVA ALGEBRA - elementi -
Skup
S={x,y,z,…}
Binarni operandi
+ (logičko sabiranje, ILI, OR) . (logičko množenje, I, AND)
Unarni operand
- (negacija, NE, NOT)
Elementi
0, 1
AKSIOME HANTINGTONA A-1 Binarne operacije ILI i I su komutativne na skupu S, i međusobno su distributivne tako da za svako x, y, z, koji pripadaju skupu S, važi:
x+ y = y+x x⋅ y = y⋅x x ⋅( y + z) = x ⋅ y + x ⋅ z
x + ( y ⋅ z) = ( x + y) ⋅( x + z)
AKSIOME HANTINGTONA A-2 Binarne operacije ILI i I na skupu S poseduju neutralne elemente 1 i 0, tako da za svako x koje pripada skupu S postoje elementi 1 i 0, koji takođe pripadaju skupu S, tako da je:
x+0 = 0+ x = x x ⋅1 = 1 ⋅ x = x
AKSIOME HANTINGTONA A-3 Na skupu S, za svako x koje pripada skupu S, postoji jedinstven inverzni element x , koji takođe pripada skupu S, takav da je:
x + x =1 x⋅x = 0
BULOVA ALGEBRA - teoreme T-1: Teorema idempotentnosti
x+x = x x⋅x = x
BULOVA ALGEBRA - teoreme T-2: Teorema o nultim elementima
x +1 = 1 x⋅0 = 0
BULOVA ALGEBRA - teoreme T-3: Teorema o involuciji
( x) = x
BULOVA ALGEBRA - teoreme T-4: Teorema o apsorpciji
x + x⋅ y = x x ⋅( x + y) = x
BULOVA ALGEBRA - teoreme T-5: Teorema o asocijativnosti
x + ( y + z) = ( x + y) + z
BULOVA ALGEBRA - teoreme T-6: De-Morganovi zakoni
( x + y) = x ⋅ y ( x ⋅ y) = x + y
LOGIČKE OPERACIJE - I (AND) -
LOGIČKE OPERACIJE - ILI (OR) -
LOGIČKE OPERACIJE - NE (NOT) -
LOGIČKE OPERACIJE - NI (NAND) -
LOGIČKE OPERACIJE - NILI (NAND) -
LOGIČKE OPERACIJE - EKSKLUZIVNO ILI (XOR) -
LOGIČKE OPERACIJE - EKSKLUZIVNO NILI (EXCLUSIVE NOR) -
f = (A⊕ B
)
LOGIČKE OPERACIJE - DeMorganov zakon 1 -
LOGIČKE OPERACIJE - DeMorganov zakon 2 -
PITANJA