Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva

Digitalna logika
Slubeni podsjetnik

Huntingtonovi postulati Teoremi Booleove algebre

P1 (a, b K )(b = a uvijek kada je a = b) T1 (a K )(a + 1 = 1)

(a, b, c K )(a = b i b = c implicira a = c) (a K )(a 0 = 0)

P2 (a, b K )(a + b K ) T2 (a K )(a + a = a)

(a, b K )(a b K ) (a K )(a a = a)

P3 (0 K )(a K | a + 0 = a) T3 (a K )(a = (a ))
(1 K )(a K | a 1 = a)
T4 (a, b K )(a + a b = a + b)
P4 (a, b K )(a + b = b + a) (a, b K )(a (a + b) = a b)
(a, b K )(a b = b a)
T5 (a , b K )(a + ab = a )
P5 (a, b, c K )(a + (b c) = (a + b) (a + c)) (a , b K )(a (a + b ) = a )
(a, b, c K )(a (b + c) = (a b) + (a c))
T6 (a, b, c K )(a ((a + b) + c) =
P6 (a K )(a K | (a + a = 1) ((a + b) + c) a ) = a)
(a a = 0))
T7 (a, b, c K )((a + b) + c = a + (b + c))
P7 ( a , b K | a b ) (a, b, c K )((a b) c = a (b c))

T8 (a, b K )(a + b = a b )
(a, b K )(a b = a + b )
(a, b,..., z K )(a + b + ... + z = a b ... z )
(a, b,..., z K )(a b ... z = a + b + ... + z )

T9 (a, b K )(a b + a b = a)
(a, b K )((a + b) (a + b ) = a)

2 n 1
Kanonski oblik funkcije f = 0 P0 + ... + 2n 1 P2n 1 = i Pi , i {0,1}
i =0
2 n 1
f = ( 0 + S 0 ) ... ( 2n 1 + S 2n 1 ) = ( i + Si )
i =0

Dualna i komplementarna funkcija

f = f ( A, B, C ,...,+,, ,0,1) f D = f D ( A, B, C ,...,,+, ,1,0)
f ( A , B , C ,...) = f D ( A , B , C ,...)

1/2
Digitalna logika Slubeni podsjetnik
IEEE/IEC standard grafikih simbola za prikaz logikih funkcija

* # #
*

* # #
*
Simbol Opis * Simbol Opis
& I sklop ili funkcija Logika negacija ulaza
>1 ILI sklop ili funkcija Logika negacija izlaza
=1 EXILI Aktivna niska razina ulaza
= Identitet Aktivna niska razina izlaza
Aktivna niska razina ulaza pri
2k Aktivan paran broj ulaza
smjeru signala desno-lijevo
Aktivna niska razina izlaza pri
2k+1 Aktivan neparan broj ulaza
smjeru signala desno-lijevo
1 Aktivan jedan ulaz Tijek signala desno-lijevo
Koder ili pretvara kodova
X/Y Dvosmjeran tijek signala
(npr. DEC/BCD, BIN/GRAY, BIN/7-SEG)
MUX Multipleksor

DMUX ili DX Demultipleksor Dinamiki ulazi

Zbrajanje
Ulaz analognih signala u
PQ Oduzimanje
digitalnom sklopu
Izdvojeno generiranje Ulaz digitalnih signala u
CPG
prijenosa analognom sklopu
Mnoilo # Simbol Opis
Izlaz sa otvorenim kolektorom,
COMP Komparator
spojeni I u pozitivnoj logici
Izlaz sa otvorenim kolektorom i
ALU Aritmetiko logiki sklop ugra. pasivnim otpornikom,
spojeni I u pozitivnoj logici
Izlaz sa otvorenim kolektorom,
SRGm Posmani registar
spojeni ILI u pozitivnoj logici
Izlaz sa otvorenim kolektorom i
CTRm Brojilo ugra. pasivnim otpornikom,
spojeni ILI u pozitivnoj logici
CTR DIVm Brojilo u ciklusu Izlaz s tri stanja

RCTR DIVm Asinkrono brojilo Omoguen ulaz

ROM Permanentna memorija J, K, R, S Oznake ulaza bistabila

RAM Upisno-ispisna memorija Posmak desno/lijevo

FIFO FIFO memorija Binarno grupiranje

skraeni prikaz

2/2