Cap 2
Cap 2
FUNCŢII LOGICE
Algebra logică are la bază principiul dualităţii potrivit căruia toate axiomele şi
teoremele rămân valabile dacă se fac schimbările “+” cu “•” respectiv “0” cu “1”.
Semnul “+” reprezintă ADUNARE logică. Semnul “•” reprezintă ÎNMULŢIRE logică.
Conform principiului dualităţii fiecare axiomă şi teoremă are două forme.
AXIOMELE ALGEBREI LOGICE
1. ASOCIATIVITATEA: (A+B)+C = A+(B+C) = A+B+C (A•B)•C = A•(B•C) = A•B•C
2. COMUTATIVITATEA: A + B = B + A A•B=B•A
În tabelul 2.1 sunt prezentate funcţiile logice elementare utilizate în algebra logică.
Tabelul 2.1 – FUNCŢII LOGICE ELEMENTARE
Nr. Denumirea funcţiei Operaţia realizată Expresia
crt. logice funcţiei logice
1 NU (NOT) Inversare Y= ̅
2 SAU (OR) Sumă logică Y=A+B
3 ŞI (AND) Produs logic Y=A•B
4 SAU - NU (NOR) Negarea sumei logice Y = ̅̅̅̅̅̅̅̅
5 ŞI – NU (NAND) Negarea produsului logic Y = ̅̅̅̅̅̅̅̅
6 SAU - EXCLUSIV Sumă modulo 2
Y= ⨁
(XOR)
7 SAU - EXCLUSIV Negarea sumei modulo 2
Y = ̅̅̅̅̅̅̅̅̅
⨁
NEGAT (NXOR)
33
CAPITOLUL 2. FUNCŢII LOGICE
TABELUL DE ADEVĂR
AL FUNCŢIEI SAU (OR)
A B Y=A+B
0 0 0
0 1 1
1 0 1
1 1 1
TABELUL DE ADEVĂR
AL FUNCŢIEI ŞI (AND)
A B Y=A•B
0 0 0
0 1 0
1 0 0
1 1 1
34
AUXILIAR ELECTRONICĂ DIGITALĂ
TABELUL DE ADEVĂR
AL FUNCŢIEI SAU - NU (NOR)
A B Y = ̅̅̅̅̅̅̅̅
0 0 1
0 1 0
1 0 0
1 1 0
TABELUL DE ADEVĂR
AL FUNCŢIEI ŞI - NU (NAND)
A B Y = ̅̅̅̅̅̅̅̅
0 0 1
0 1 1
1 0 1
1 1 0
Y= ⨁ Y = ̅̅̅̅̅̅̅̅̅
⨁
A B A B
̅ ̅ ̅ ̅
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1
35
CAPITOLUL 2. FUNCŢII LOGICE
B B B ̅ (𝟎)
A
̅
𝐁 B A 0 1
A 𝐁 B(1)
f(0, 0) f(0, 1)
̅, 𝐁
̅ 𝐟(𝐀 ̅ ) 𝐟(𝐀
̅ , 𝐁) ̅ (0)
𝐀 0 f(0, 0) f(0, 1) 𝐀 ̅, 𝑩
f(𝑨 ̅) f(𝑨̅ , 𝑩)
36
AUXILIAR ELECTRONICĂ DIGITALĂ
Transformarea tabelului de adevăr a unei funcţii cu două variabile în diagramă
Karnaugh este prezentată în figura 2.2
Mintermen 𝐀 𝐁 𝒇 B
A ̅ (𝟎)
𝐁 B(1)
0 𝟎 𝟎 𝒂 0 1
̅ (0)
𝐀 𝒂 𝒃
1 𝟎 𝟏 𝒃
2 3
2 𝟏 𝟎 𝒄 A(1) 𝒄 𝒅
3 𝟏 𝟏 𝒅
𝐁𝐂 𝐁𝐂
𝐀 ̅ 𝐂̅
𝐁 ̅𝐂
𝐁 𝐁𝐂 𝐁𝐂̅ 𝐀 𝟎𝟎 𝟎𝟏 𝟏𝟏 𝟏𝟎
̅
𝐀 𝐟(𝐀 ̅ , 𝐂̅) 𝐟(𝐀
̅, 𝐁 ̅, 𝐁 ̅, 𝐁, 𝐂) 𝐟(𝐀
̅ , 𝐂) 𝐟(𝐀 ̅, 𝐁, 𝐂̅) 𝟎 𝐟(𝟎, 𝟎, 𝟎)𝐟(𝟎, 𝟎, 𝟏)𝐟(𝟎, 𝟏, 𝟏) 𝐟(𝟎, 𝟏, 𝟎)
̅ , 𝐂) 𝐟(𝐀, 𝐁, 𝐂) 𝐟(𝐀, 𝐁, 𝐂̅)
̅ , 𝐂̅) 𝐟(𝐀, 𝐁 𝟏 𝐟(𝟏, 𝟎, 𝟎)𝐟(𝟏, 𝟎, 𝟏) 𝐟(𝟏, 𝟏, 𝟏)𝐟(𝟏, 𝟏, 𝟎)
𝐀 𝐟(𝐀, 𝐁
Mintermen A B C f
0 0 0 0 a
1 0 0 1 b
2 0 1 0 c 𝐁𝐂 ̅ ̅
𝐀 𝐁𝐂(𝟎𝟎) 𝐁̅ 𝐂(𝟎𝟏) 𝐁𝐂(𝟏𝟏) 𝐁𝐂̅(𝟏𝟎)
3 0 1 1 d
𝐀̅ (𝟎) 0 1 3 2
4 1 0 0 e a b d c
𝑨(𝟏) 4 5 7 6 g
5 1 0 1 f e f h
6 1 1 0 g
7 1 1 1 h
37
CAPITOLUL 2. FUNCŢII LOGICE
𝐀 𝐁 𝐟(𝐀, 𝐁, 𝐂̅, 𝐃
̅) 𝐟(𝐀, 𝐁, 𝐂̅, 𝐃) 𝐟(𝐀, 𝐁, 𝐂, 𝐃) ̅)
𝐟(𝐀, 𝐁, 𝐂, 𝐃
̅
𝐀 𝐁 ̅ , 𝐂̅, 𝐃
𝐟(𝐀, 𝐁 ̅) ̅ , 𝐂̅, 𝐃)
𝐟(𝐀, 𝐁 ̅ , 𝐂, 𝐃)
𝐟(𝐀, 𝐁 ̅ , 𝐂, 𝐃
𝐟(𝐀, 𝐁 ̅)
𝐂 𝐃
𝐀 𝐁 𝟎𝟎 𝟎𝟏 𝟏𝟏 𝟏𝟎
𝟎𝟎 𝐟(𝟎, 𝟎, 𝟎, 𝟎) 𝐟(𝟎, 𝟎, 𝟎, 𝟏) 𝐟(𝟎, 𝟎, 𝟏, 𝟏) 𝐟(𝟎, 𝟎, 𝟏, 𝟎)
Mintermen A B C D f
0 0 0 0 0 a
1 0 0 0 1 b
2 0 0 1 0 c
3 0 0 1 1 d
4 0 1 0 0 e
5 0 1 0 1 f
6 0 1 1 0 g
7 0 1 1 1 h
8 1 0 0 0 i
9 1 0 0 1 j
10 1 0 1 0 k
11 1 0 1 1 l
12 1 1 0 0 m
13 1 1 0 1 n
14 1 1 1 0 o
15 1 1 1 1 p
Figura 2.6 Corespondenţa dintre tabela de adevăr şi diagrama Karnaugh
38
AUXILIAR ELECTRONICĂ DIGITALĂ
2.4. SIMPLIFICAREA FUNCŢIILOR LOGICE
39
CAPITOLUL 2. FUNCŢII LOGICE
Exemplu: Deducerea expresiei funcţiei logice care are următorul tabel de adevăr:
̅ 𝑩 𝑪
𝑨
̅ 𝑪
𝑨 𝑩
̅
𝑨 𝑩 𝑪
𝑨 𝑩 𝑪
̅ ̅ ̅
EXEMPLUL 1.
̅ 𝑩
𝑨 ̅ 𝑪
̅
̅ 𝑩 𝑪
𝑨
̅ 𝑩 𝑪
𝑨
̅
̅ 𝑪
𝑨 𝑩
̅
𝑨 𝑩 𝑪
̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅
40
AUXILIAR ELECTRONICĂ DIGITALĂ
EXEMPLUL 2.
̅ 𝑫
̅ 𝑩 𝑪
𝑨
̅ 𝑩 𝑪 𝑫
𝑨
̅ 𝑪 𝑫
𝑨 𝑩 ̅
̅ 𝑪 𝑫
𝑨 𝑩
̅ 𝑫
𝑨 𝑩 𝑪
̅
𝑨 𝑩 𝑪 𝑫
𝑨 𝑩 𝑪 𝑫
̅ ̅ ̅ ̅ ̅ ̅
̅ ̅
EXEMPLUL 3.
̅ 𝑩
𝑨 ̅ 𝑫
̅ 𝑪 ̅
̅ 𝑩
𝑨 ̅ 𝑪 𝑫
̅
̅ 𝑫
̅ 𝑩 𝑪
𝑨
̅ 𝑩 𝑪 𝑫
𝑨
𝑨 𝑩 ̅ 𝑫
̅ 𝑪 ̅
̅ 𝑪 𝑫
𝑨 𝑩 ̅
̅ 𝑫
𝑨 𝑩 𝑪
𝑨 𝑩 𝑪 𝑫
̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅
̅ ̅ ̅ ̅ ̅ ̅
41
CAPITOLUL 2. FUNCŢII LOGICE
EXEMPLUL 4.
̅ 𝑫
̅ 𝑩 𝑪
𝑨
̅ 𝑩 𝑪 𝑫
𝑨
̅ 𝑪 𝑫
𝑨 𝑩 ̅
̅ 𝑪 𝑫
𝑨 𝑩
̅ 𝑫
𝑨 𝑩 𝑪
̅
𝑨 𝑩 𝑪 𝑫
𝑨 𝑩 𝑪 𝑫
̅ ̅ ̅ ̅ ̅ ̅
̅ ̅
42
AUXILIAR ELECTRONICĂ DIGITALĂ
EXEMPLUL 1. Minimizarea funcţiei ̅ ̅ ̅
= C•B + C•A + A•B• ̅ = C•B + A•(C + ̅ •B)= C•B + A•(C + B)= B•C + A•C + A•B
(C + B)
Prin metoda analitica se obţine în urma minimizării funcţia: f = A•B + A•C + B•C
̅ 𝑩 𝑪
𝑨
𝐁𝐂 ̅𝑪
𝑩 ̅ ̅𝑪
𝑩 𝑩𝑪 ̅
𝑩𝑪
𝐀
̅
𝑨 𝟏
𝑨 𝟏 𝟏 𝟏
̅ 𝑪
𝑨 𝑩 𝑨 𝑩 𝑪 ̅
𝑨 𝑩 𝑪
43
CAPITOLUL 2. FUNCŢII LOGICE
OBSERVAŢII:
o Fiecare grup trebuie să conţină două sau patru celule adiacente;
o Celule adiacente au o latură comună pe verticală sau pe orizontală şi
diferă printr-o singură variabilă;
o Se consideră adiacente şi celulele da la capetele opuse ale unei linii
sau coloane;
o celulă poate face parte din mai multe grupuri;
o În diagrama de mai jos au fost identificate 3 grupuri de câte două
celule; ̅ 𝑩 𝑪
𝑨
𝐁𝐂 ̅𝑪
𝑩 ̅ ̅𝑪
𝑩 𝑩𝑪 ̅
𝑩𝑪
𝐀
̅
𝑨 𝟏
𝑨 𝟏 𝟏 𝟏
𝟏 𝟐 𝟑
̅ 𝑪
𝑨 𝑩 𝑨 𝑩 𝑪 ̅
𝑨 𝑩 𝑪
Se caută variabila sau variabilele comune pentru fiecare grup şi scriem pentru
fiecare grup în parte, variabila (sau produsul de variabile dacă sunt mai multe)
ca rezultat boolean. Rezultatul final este suma rezultatelor fiecărui grup;
În diagrama de mai sus:
o pentru grupul 1 sunt comune variabilele A şi C - rezultat logic A∙C;
o pentru grupul 2 sunt comune variabilele B şi C – rezultat logic B∙C;
o pentru grupul 3 sunt comune variabilele A şi B – rezultat logic A∙B;
Rezultatul final este : f = A•B + A•C + B•C.
1
+ ̅ ∙ C ∙( ̅ + B) + ̅ ∙ B ∙ ̅ = A∙ ̅ + ̅ ∙ C + ̅ ∙ B ∙ ̅ = A ∙ ̅ + ̅∙(C + B ∙ ̅ ) =
1 (C + B)
= A∙ ̅+ ̅∙C+ ̅∙B f= A∙̅+̅∙C+̅∙B
44
AUXILIAR ELECTRONICĂ DIGITALĂ
𝑨 𝟏 𝟏
̅
̅ 𝑪
𝑨 𝑩 ̅
𝑨 𝑩 𝑪
𝐁𝐂 ̅𝑪
𝑩 ̅ ̅𝑪
𝑩 𝑩𝑪 ̅
𝑩𝑪
𝐀
̅
𝑨 𝟏 𝟏 𝟏
𝑨 𝟏 𝟏
𝟏 𝟐 𝟑 𝟏
45
CAPITOLUL 2. FUNCŢII LOGICE
𝑪 𝑫̅ ̅ ̅ ̅ 𝑪
𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 ̅ ̅ ̅ ̅
𝑨 𝑩 𝑨 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫
̅ 𝑩
𝑨 ̅ ̅𝑩 𝑩
𝑨 ̅
̅ 𝑩
𝑨 𝟏 𝟏 ̅ 𝑩
𝑨 𝟏 𝟏
𝑨 𝑩 𝟏 𝟏 𝟏 𝑨 𝑩 𝟏 𝟏 𝟏
̅
𝑨 𝑩 𝟏 𝟏 ̅
𝑨 𝑩 𝟏 𝟏
𝟏 𝟐
Identificăm grupuri de celule alăturate care conţin valoarea 1
În general, pe o diagramă Karnaugh se încearcă formarea grupurile cu dimensiunea
pătratelor cât mai mare (cu cât dimensiunea pătratului este mai mare cu atât se
elimină mai multe caractere din rezultatul final)
În diagrama de mai sus s-au format 2 grupuri cu pătrate care au 4 celule (latura =
2).
În diagrama de mai sus:
pentru grupul 1 sunt comune variabilele B şi - rezultat logic B∙
pentru grupul 2 sunt comune variabilele şi C – rezultat logic ∙C
Rezultatul final este : f = A ∙ + ∙D
46
AUXILIAR ELECTRONICĂ DIGITALĂ
𝑪 𝑫̅ ̅ ̅ 𝑪
̅
𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 ̅ ̅ ̅ ̅
𝑨 𝑩 𝑨 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫 𝑪 𝑫
̅ 𝑩
𝑨 ̅ 𝟏 𝟏 ̅ 𝟏
̅𝑩 𝑩
𝑨 𝟏
̅ 𝑩
𝑨 𝟏 𝟏 ̅ 𝑩
𝑨 𝟏 𝟏
𝑨 𝑩 𝟏 𝟏 𝑨 𝑩 𝟏 𝟏
̅
𝑨 𝑩 𝟏 𝟏 ̅
𝑨 𝑩 𝟏 𝟏
47
CAPITOLUL 2. FUNCŢII LOGICE
REZUMATUL CAPITOLULUI
TEOREMELE ALGEBREI LOGICE:
o A+0=0+A=A A • 1 = 1 • A = A;
o A+ ̅=1 A • ̅ = 0;
o A + A +....+ A = A A • A • ....• A = A;
o A+1=1 A • 0 = 0;
o A+A•B=A A • (A + B) = A;
o ̅ ̅ ̅ ̅ ( ̅ + B) ̅
o A+ ̅•B=A+B A • ( ̅ + B) = A • B;
o ̿=A
o ̅̅̅̅̅̅̅̅ = ̅ ̅ ̅̅̅̅̅̅̅̅ = ̅ ̅ ;
o ̅̅̅̅̅̅̅̅
̅ ̅ ̅̅̅̅̅̅̅̅
̅ ̅;
48
AUXILIAR ELECTRONICĂ DIGITALĂ
EVALUAREA CUNOȘTINȚELOR
h. (̅̅̅̅̅̅̅̅̅̅̅̅
̅ );
i. ( ̅ ) (̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ̅ );
j. ̅ ̅ ( ̅) ;
49