Documente Academic
Documente Profesional
Documente Cultură
CAPITOLUL 2
x1 x2 f1 f2 f3 f4 f5 f6 f7 f8
0 0 0 1 0 1 0 1 0 1
0 1 0 0 1 1 0 0 1 1
1 0 0 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0
Negaţia
x1 x2 f4 f5
0 0 1 1 NU x x
f4(x1, x2) = x 1 x x
3 0 1 1 0 NOT 1 x x
1 0 0 1 Inversor
f5(x1, x2) = x 2 x x
1 1 0 0
Conjuncţia x1 x2 f9
(produs logic) 0 0 0 x1 x1
ŞI f9 f9
4 0 1 0 & x2
f9(x1, x2) = AND x2
1 0 0
= x1 . x2
1 1 1
Disjuncţia x1 x2 f15 x1
(suma logică) 0 0 0 f15
x1 x2
SAU f15
5 0 1 1 ≥1 x1
f15(x1, x2) = OR x2 f15
1 0 1 x2
1 1 1
= x1+ x2
Negarea
conjuncţiei
(funcţia lui x1 x2 f8
Shaffer) 0 0 1 ŞI – NU x1 x1
0 1 1 NAND f8 f8
6 f8(x1, x2) = 1 0 1 x2 & x2
= x1↑x2 = 1 1 0 Numai
= x1 . x2 =
= x1 + x 2
Negarea
disjuncţiei
x1 x2 f2
(funcţia lui SAU - NU x1 f2
Pierce) 0 0 1
NOR x2
0 1 0 x1
7 f2(x1, x2) = 1 0 0 f2
x2 ≥1
1 1 0 x1 f2
= x1↓x2 Nici x2
= x1 + x 2 =
= x1 . x 2
Simbolul circuitului
Denumirea şi Denumirea Norme Norme
Tabelul de
Nr expresia algebrică circuitului internaţionale internaţionale
adevăr
a funcţiei booleene logic
CEI MIL
Echivalenţa
x1
f10(x1, x2) = f10
x1 x2 f10 x2
=x 1 ⇔ x 2 x1
0 0 1 SAU f10
8 = x1 ⊕ x2 = =1
0 1 0 EXCLUSIV x2
(
= x1 + x 2 . ) 1 0 0 NEGAT x1
x2
f10
(
⋅ x1 + x 2 = ) 1 1 1
= x1 ⋅ x2 + x1 ⋅ x 2
Negarea x1
echivalenţei SAU x2 f7
x1 x2 f7 EXCLUSIV
x1
f7(x1, x2) = 0 0 0 XOR f7
9 x2 =1 x1
0 1 1
= x1 ⇔ x2 = f
x2 ⊕ 7
1 0 1 Sumator
= x1 ⊕ x2 = 1 1 0 modulo 2
= x1.x2 + x1.x 2
Implicaţia
directă x1 x2 f12
x1 1 x1
0 0 1 ≥ f12 f12
f12(x1, x2) = x2
10 0 1 1 - x2 1
= x1 → x 2 = 1 0 0
= x1 + x 2 1 1 1
Simbolul circuitului
Denumirea şi Denumirea Norme Norme
Tabelul de
Nr expresia algebrică circuitului internaţionale internaţionale
adevăr
a funcţiei booleene logic
CEI MIL
Implicaţia
inversă x1 x2 f14
x2 1 x2
f14(x1, x2) = 0 0 1 ≥ f14 f14
11 - x1
x1
0 1 0 1
= x2 → x1 = 1 0 1
= x1 + x 2 1 1 1
Negarea
implicaţiei
directe x1 x2 f5
(funcţia de 0 0 0 INTER- x2 1 x2
inhibare) DICŢIE & f5 f5
12 0 1 0 x1 x1
f5(x1, x2) = 1 0 1
Inhibare
1 1 0
= x1 → x 2 =
= x1 + x 2 = x1.x 2
Negarea
implicaţiei x1 x2 f3
inverse 0 0 0 INTER- x1 1 x1
0 1 1 DICŢIE & f3 f3
13 f3(x1, x2) = x2 x2
1 0 0
Inhibare
= x 2 → x1 = 1 1 0
= x1 + x 2 = x 1.x 2
OBSERVAŢIE:
16 funcţii elementare:
• 10 sunt funcţii nedegenerate
• 4 sunt funcţii degenerate într-o variabilă (negaţia şi funcţia identitate)
• 2 sunt funcţii degenerate în ambele variabile (funcţia constantă)
x1 x2 x3 f (x1 , x2 , x3 ) x1 x2 x3 f ( x1 , x2 , x3 )
0 0 0 1 0 0 0 *
0 0 1 1 0 0 1 1
0 1 0 1 0 1 0 *
0 1 1 0 0 1 1 *
2n = 23 linii 2n = 23 linii
1 0 0 0 1 0 0 0
1 0 1 1 1 0 1 1
1 1 0 0 1 1 0 0
1 1 1 1 1 1 1 1
2n = 2 p ⋅ 2q ; n = p + q
n=3
Diagrama Karnaugh
x 2 , x3 p = 1 ⇒ 21 = 2 linii
corespunzătoare unei 00 01 11 10
funcţii incomplet x1
0 * 1 0 * q = 2 ⇒ 22 = 4 coloane
definite,
de trei variabile 1 0 1 * 0 * = stări de nedeterminare
x3 , x 4 n=4⇒
Diagrama Karnaugh 00 01 11 10
corespunzătoare unei x1 , x 2 p = q = n/2 = 2 ⇒
funcţii complet definite, 00 0 1 1 1
de patru variabile ⇒ 2p =22= 4 linii =
01 1 1 0 0
11 0 0 1 1 =2q =22= 4 coloane
10 0 1 0 0
Exemplu:
Schema logică a funcţiei booleene de trei variabile dată prin expresia:
f ( x1 , x 2 , x3 ) = x1 x 2 + x1 x 2 x3 + x 2 x 3
x1
&
x2 1
& f
≥1
x3 1
&
Exemplu:
f ( x1 , x 2 , x3 ) = x1 x 2 + x 2 x 3
x2
t
x3
t
x2
t
x3
t
x1 x2
t
x2 x3
t
f
t
• Termen canonic este termenul care conţine toate variabilele, în formă directă sau
complementată
f cd ( x1 ,..., x n ) = P1 + P2 + ... + Pk = ∑ Pk = ∑ Pk =U Pk = U Pk ; k ≤ 2 n
1 m 1 m
Pi = p1i . p 2i ........ p ni ; i = 1...k
f cc ( x1 ,..., x n ) = S1 ⋅ S 2 ⋅ ... ⋅ S k = ∏ S k = ∏ S k = I S k = I S k ; k ≤ 2 n
0 M 0 M
S i = s1i + s 2i + ....... + s ni ; i = 1...k
OBSERVAŢII:
2. În cazul în care criteriul care stă la baza implementării funcţiei este cel al
economicităţii, atunci se alege forma canonică disjunctivă, când în tabelul de
adevăr (diagrama Karnaugh) predomină valoarea „0” a funcţiei şi respectiv
forma canonică conjunctivă, când în tabelul de adevăr (diagrama Karnaugh)
predomină valoarea „1” a funcţiei.
Exemplu:
Tabel de adevăr:
Se consideră funcţia f descrisă prin x1 x2 x3 f ( x1 , x 2 , x3 )
tabelul de adevăr. 0 0 0 0 (M 1 )
0 0 1 1 (m1 )
• Mintermenii şi maxtermenii 0 1 0 1 (m2 )
sunt marcaţi în tabelul de adevăr 0 1 1 0 (M 2 )
prin mi, respectiv Mj.
1 0 0 0 (M 3 )
1 0 1 1 (m3 )
1 1 0 0 (M 4 )
1 1 1 0 (M 5 )
( )( )( )(
= ( x1 + x 2 + x 3 ) x1 + x 2 + x 3 x 1 + x 2 + x 3 x 1 + x 2 + x 3 x 1 + x 2 + x 3 )
• Formă elementară ⇔ cel puţin unul dintre termeni este termen elementar
• Termen elementar este termenul care nu conţine toate variabilele
OBSERVAŢII:
1. Numărul total al termenilor elementari este mai mare decât numărul total al
termenilor canonici ai unei funcţii
f cd , f ed : x ↔ 1; x ↔ 0
f cc , f ec : x ↔ 0; x ↔ 1
f1 ( x1÷4 ) = x1 x2 x 3 x4 + x1 x2 x3 x 4 + x1 x4 + x1 x2 x3 x4 + x1 x2 x 4
f 2 ( x1÷4 ) = x1 x 2 x 3 x 4 + x1 x2 x 3 x4 + x1 x2 x 3 x 4 + x1 x2 x3 x4 + x1 x2 x 3 x4
( )( ) ( )(
f 3 ( x1÷4 ) = x1 + x 3 + x4 ⋅ x1 + x2 + x 3 + x4 ⋅ ( x1 + x4 ) ⋅ x1 + x 2 + x 3 + x4 ⋅ x1 + x 2 + x4 )
( )( )(
f 4 ( x1÷4 ) = x1 + x2 + x 3 + x4 ⋅ x1 + x2 + x 3 + x4 ⋅ x1 + x 2 + x 3 + x 4 )
Termeni canonici Termeni elementari
fi fcd fcc fed fec
Disj. Conj. Disj. Conj.
x1 x 2 x 3 x 4
x1 x 4
f1 • - x1 x 2 x3 x 4 -
x1 x 2 x 4
x1 x 2 x3 x 4
x1 x 2 x 3 x 4
x1 x 2 x 3 x 4
f2 • - x1 x 2 x 3 x 4 - -
x1 x 2 x3 x 4
x1 x 2 x 3 x 4
x1 + x3 + x4
f3 • x1 + x2 + x3 + x4 - x1 + x 4 -
x1 +x2 +x3 +x4 x1 + x2 + x4
x1 + x2 + x3 + x4
f4 • x1 + x2 + x3 + x4 - - -
x1 + x2 + x3 + x4
( )
f ( x1 , x 2 ,..., xi ,..., x n ) = ( xi + f ( x1 , x 2 ,...,0,..., x n )) ⋅ x i + f ( x1 , x 2 ,...,1,..., x n )
( )
x i f x1 , x 2 ,..., x i ,..., x n = x i f ( x1 , x 2 ,...,0,..., x n )
( )
x i + f x1 , x 2 ,..., x i ,..., x n = x i + f ( x1 , x 2 ,...,1,..., x n )
1 = x + x; 0 = xx
x + yz = ( x + y )( x + z )
x + x + ...... + x = x
xxx.....x = x
Algoritmul de transformare a unei funcţii din formă elementară disjunctivă în
formă canonică disjunctivă este următorul:
1. fiecare termen elementar conjunctiv se înmulţeşte logic cu „1” pentru fiecare
variabilă lipsă;
2. în expresia obţinută la punctul 1, fiecare valoare logică „1” se înlocuieşte cu
suma logică xi + x i , corespunzător argumentului lipsă;
3. în funcţia obţinută la punctul 2, se aplică teorema distributivităţii astfel încât
să se obţină termeni canonici conjunctivi;
4. forma finală a funcţiei se obţine prin însumarea logică a tuturor termenilor
canonici conjunctivi rezultaţi, luaţi o singură dată.
= (x 1 + x2 + x )(x
3 1 + x2 + x )(x
3 1 + x2 +x )
3