Sunteți pe pagina 1din 12

Laborator BPLC 2

18

Laborator 2


Proprietile funciilor AND, OR i NOT


2.1 Obiectivele lucrrii

Prezentarea unor funcii de comutaie depinznd efectiv de
dou variabile;
Stabilirea legturii ntre funciile de comutaie OR, AND,
NOT i algebra boolean.

2.2 Funcii de comutaie dependente
de dou variabile

Se spune c o funcie f(x
1
, x
2
, , x
n
) este o funcie de
comutaie (funcie logic) dac toate variabilele funciei sunt
variabile de comutaie (i=1,n x
i
{0,1}) i f(x
1
, x
2
, , x
n
) {0,1}
pentru toate combinaiile posibile ale variabilelor.

Exist 10 funcii de comutaie ce depind efectiv de dou
variabile. n continuare vor fi prezentate ase dintre acestea, utilizate
n implementarea calculatoarelor numerice.

1) funcia I (AND, conjuncie, produs logic)

Simbolul matematic:
Tabelul de adevr n Figura 2.1.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.2.
Laborator BPLC 2

19


x
1
x
2
x
1
x
2

Figura 2.2



2) funcia SAU (OR, disjuncie, sum logic)

Simbolul matematic: +
Tabelul de adevr n Figura 2.3.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.4.

x
1
x
2
x
1
+x
2

Figura 2.4



3) funcia I-NU (NAND)

Simbolul matematic: | sau
Tabelul de adevr n Figura 2.5.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.6.

x
1
x
2

x
1
x
2

0 0 0
0 1 0
1 0 0
1 1 1

Figura 2.1
x
1
x
2
x
1
+x
2

0 0 0
0 1 1
1 0 1
1 1 1

Figura 2.3
Laborator BPLC 2

20

x
1
x
2
x
1
| x
2

Figura 2.6



4) funcia SAU-NU (NOR)

Simbolul matematic:
Tabelul de adevr n Figura 2.7.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.8.

x
1
x
2
x
1
x
2

Figura 2.8



5) funcia SAU-EXCLUSIV (XOR, inversor comandat, suma
modulo 2)

Simbolul matematic:
Tabelul de adevr n Figura 2.9.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.10.

x
1
x
2
x
1
|x
2

0 0 1
0 1 1
1 0 1
1 1 0

Figura 2.5
x
1
x
2

x
1
x
2

0 0 1
0 1 0
1 0 0
1 1 0

Figura 2.7
Laborator BPLC 2

21

x
1
x
2
x
1
x
2
+

Figura 2.10



6) funcia COINCIDEN (XNOR)

Simbolul matematic:
Tabelul de adevr n Figura 2.11.
Simbolul grafic al porii care materializeaz funcia este
prezentat n Figura 2.12.

x
1
x
2
x
1
x
2

Figura 2.12





2.3 Algebra Boolean

2.3.1 Definirea algebrei booleene tip Harrison

Se numete algebr boolean un 5-tuplu B= <E, , +, 0, 1>
unde:

a) E o mulime finit, nevid, care conine cel puin dou
elemente distincte;
x
1
x
2

x
1
x
2

0 0 0
0 1 1
1 0 1
1 1 0

Figura 2.9
x
1
x
2
x
1
x
2

0 0 1
0 1 0
1 0 0
1 1 1

Figura 2.11
Laborator BPLC 2

22

b) - operaia binar CONJUNCIE (produs logic) care
respect proprietatea de nchidere pe E adic E E y x y x, ;
c) + - operaia binar DISJUNCIE (suma logic) care
respect proprietatea de nchidere pe E adic
E E + y x y x, ;
d) 0,1 - constante ( E 0,1 );
e) a fost definit o relaie de echivalen notat = care
respect cele trei proprieti ale unei relaii de echivalen:
reflexivitate x=x;
simetrie x=y y=x;
tranzitivitate x=y, y=z x=z;
f) este valabil principiul substituiei adic dac A=B nseamn
c putem utiliza oriunde pe A n locul lui B i invers;
g) se accept notaia cu paranteze;
h) este valabil urmtorul set de 9 axiome:

A1) asociativitatea disjunciei
z y) (x z) y ( x z y, x, + + = + + E
A2) asociativitatea conjunciei
z y) (x z) y ( x z y, x, = E
A3) comutativitatea disjunciei x y y x y x, + = + E
A4) comutativitatea conjunciei x y y x y x, = E
A5) existena elementului neutru unic pentru disjuncie
E E ! = + = + x x x 0 0 x 0
A6) existena elementului neutru unic pentru conjuncie
E ! = = x x x 1 1 x E 1
A7) distributivitatea disjunciei n raport cu conjuncia
z) (x y) (x z) y ( x z y, x, + + = + E
A8) distributivitatea conjunciei n raport cu disjuncia
z) (x y) (x z) y ( x z y, x, + = + E
Laborator BPLC 2

23

A9) existena elementului simetric

=
= +

0 x x
1 x x
E x x E


2.3.2 Setul de teoreme aferent
algebrei booleene tip Harrisson

T1) idempotena disjunciei a a a = +
T2) idempotena conjunciei a a a =
T3) agresivitatea lui 1 n raport cu disjuncia 1 1 a = +
T4) agresivitatea lui 0 n raport cu conjuncia 0 0 a =
T5) prima teorem de absorbie a b a a = +
T6) a II-a teorem de absorbie a b) (a a = +
T7) Elementul simetric este unic.
T8) Relaia ntre constantele 0 i 1

=
=
0 1
1 0

T9) Teorema de identitate
Dac simultan

=
= +
b b a
b b a
atunci a=b.
T10) Teorema de complementare
Fie aE i bE.
Dac simultan

=
= +
0 b a
1 b a
atunci b a = i a b = .
T11) Teorema de involuie a (a) =
T12) Prima teorem a lui De Morgan b a b a = +
T13) a II-a teorem a lui De Morgan b a b a + =
T14) Generalizarea primei teoreme a lui De Morgan

n 1 n 1
a ... a a ... a = + +
T15) Generalizarea celei de a II-a teoreme a lui De Morgan

n 1 n 1
a ... a a ... a + + =
Laborator BPLC 2

24

T16) A III-a teorem de absorbie b a b a a + = +
T17) A IV-a teorem de absorbie b a b) a ( a = +
T18) Generalizarea celei de a III-a teoreme de absorbie
n 3 2 1
n 1 n 3 2 1 3 2 1 2 1 1
a ... a a a
a a ... a a a ... a a a a a a
+ + + + =
= + + + +


T19) Generalizarea celei de a IV-a teoreme de absorbie:
n 3 2 1
n 1 n 3 2 1 3 2 1 2 1 1
a ... a a a
) a a ... a a a ( ... ) a a a ( ) a a ( a
=
= + + + + + + + +

T20) A V-a teorem de absorbie (teorema de consens)
c a b a c b c a b a + = + +
termen de consens
T21) A VI-a teorem de absorbie
c) a ( b) (a c) (b c) a ( b) (a + + = + + +

2.4 Prezentare pori logice OR, AND, NOT

Pentru realizarea acestei lucrri sunt necesare pori OR
(SN74LS32), AND (SN74LS08) i NOT (SN7404).
Detaliile legate de fiecare modul i asignarea pinilor sunt
prezentate n Anexa 4 i [???]

Modulul SN74LS32 (Figura 2.13) este un circuit integrat care
conine 4 pori independente OR 2, care implementeaz fiecare o
funcie SAU cu dou intrri.

Modulul SN74LS08 (Figura 2.14) este un circuit integrat care
conine 4 pori independente AND 2, care implementeaz fiecare o
funcie I cu dou intrri.

Modulul SN74LS04 (Figura 2.15) este un circuit integrat care
conine 6 pori NOT care implementeaz fiecare funcia NU.
Laborator BPLC 2

25


Figura 2.13 Figura 2.14 Figura 2.15


2.5 Desfurarea lucrrii

2.5.1 Determinarea tabelelor de adevr

Se va prezenta determinarea tabelului de adevr pentru poarta
AND. Schema de principiu este prezentat n Figura 2.16. Se
genereaz toate combinaiile posibile la intrare i rezultatele se
consemneaz n tabelul din Figura 2.17 dup regula 0 pentru LED
stins i 1 pentru LED aprins.









Figura 2.16
1
4
2
1
8
9
1
0
1
1
1
2
1
3
7
6
5
4
3
1A
1B
1Y
2A
2B
2Y
4A
4B
4Y
3A
3B
3Y
Vcc
GND
1
4
2
1
8
9
1
0
1
1
1
2
1
3
7
6
5
4
3
1A
1B
1Y
2A
2B
2Y
4A
4B
4Y
3A
3B
3Y
Vcc
GND
1
4
2
1
8
9
1
0
1
1
1
2
1
3
7
6
5
4
3
1A
1Y
2A
2Y
3A
3Y
6A
6Y
5A
5Y
4A
4Y
Vcc
GND
K
2
R
2
1
2
S N 74 L S 0 8
R
3
L E D
2
L E D
3
A
Y
Vc c
R
1
B
3
K
1
L E D
1
Laborator BPLC 2

26


A B Y




Figura 2.17

Pentru determinarea tabelului de adevr al porii OR, se
nlocuete circuitul SN74LS08 cu SN74LS32.


2.5.2 Determinarea proprietilor funciilor
AND, OR i NOT

Montajele realizate au ca scop s verifice dac operatorii OR,
AND i NOT formeaz o algebr boolean. Pentru aceasta trebuie
verificate toate axiomele de la 2.3.1.

1) Asociativitatea disjunciei x,y,z {0,1}(x+y)+z = x+(y+z)

Se vor nota:

E1=(x+y)+z
E2= x+(y+z)

n Figura 2.18 este prezentat schema pentru realizarea testului.
Nu au fost figurate comutatoarele i LED-urile precum i pinii de
alimentare pentru circuitul integrat, adic pinul 7 (GND) i pinul 14
(Vcc). Verificarea valorilor logice la ieire se realizeaz cu
voltmetrul. Rezultatele testului vor fi consemnate n tabelul din
Figura 2.19 sub form simbolic.
Laborator BPLC 2

27


Figura 2.18

x y z E1 E2




Figura 2.19

2) Asociativitatea conjunciei x,y,z {0,1} (xy)z=x(yz)

E1=(xy)z
E2=x(yz)

n Figura 2.20 este prezentat schema pentru realizarea testului,
obinut din cea din Figura 2.18 prin nlocuirea circuitului integrat
SN74LS32 cu circuitul integrat SN74LS08. Rezultatele testului vor fi
consemnate n tabelul din Figura 2.19.

Pentru verificarea axiomei se va implementa fiecare expresie i
apoi pentru fiecare combinaie a valorilor x,y,z se va msura
tensiunea de ieire pentru circuitul fiecrei expresii.
U1B
74LS32
4
5
6
U1D
74LS32
12
13
11
x
E2
z
y E1
U1A
74LS32
1
2
3
U1C
74LS32
9
10
8
Laborator BPLC 2

28


Figura 2.20

Elaborarea schemelor pentru testarea celorlalte proprieti este
lsat n seama cititorului ca tem de laborator.

2.6 Teme de laborator propuse

1. S se realizeze un montaj cu pori logice care s verifice
axiomele A3 i A4 ce reprezint axiomele de comutativitate.
2. S se realizeze un montaj cu pori logice care s verifice
axiomele A5 i A6 ce reprezint axiomele de existen a elementului
neutru pentru disjuncie respectiv conjuncie.
3. S se realizeze un montaj cu pori logice care s verifice
axioma A7 ce reprezint axioma de distributivitate a disjunciei n
raport cu conjuncia.
4. S se realizeze un montaj cu pori logice care s verifice
axioma A8 ce reprezint axioma de distributivitate a conjunciei n
raport cu disjuncia.
5. S se realizeze un montaj cu pori logice care s verifice
axioma A9 ce reprezint axioma de existen a elementului simetric.
6. S se realizeze un montaj cu pori logice care s verifice
teoremele T1 i T2 ce reprezint teoremele de idempoten.
E2
U2A
74LS08
1
2
3
z
E1
U2D
74LS08
12
13
11
x
y
U2B
74LS08
4
5
6
U2C
74LS08
9
10
8
Laborator BPLC 2

29

7. S se realizeze un montaj cu pori logice care s verifice
teoremele T3, T4 ce reprezint teoremele de agresivitate precum i
teorema T11 de involuie.
8. S se realizeze un montaj cu pori logice care s verifice
teoremele T5, T6 ce reprezint prima i a doua teorem de absorbie.
9. S se realizeze un montaj cu pori logice care s verifice
teoremele T16, T17 ce reprezint a treia i a patra teorem de
absorbie.
10. S se realizeze un montaj cu pori logice care s verifice
teoremele T12, T13 ce reprezint prima i respectiv a doua teorem a
lui De Morgan.