ARHITECTURA SISTEMELOR DE CALCUL I SISTEME DE OPERARE

LUCRRILE DE LABORATOR Nr. 12, 13 i 14

ELEMENTE DE LOGIC NUMERIC. REDUCEREA EXPRESIILOR LOGICE.

I. SCOPUL LUCRRILOR

Lucrrile prezint cteva elemente de logica propoziiilor. Scopul lucrrii const n a

familiariza studenii cu modalitile de reducere ale expresiilor logice pentru funcii logice n
forma normal disjunctiv utiliznd legile algebrice pentru expresii logice i metoda diagramelor
Karnaugh de ordin 2, 3 i 4.

II. NOIUNI TEORETICE

1. Elemente de logic numeric

Logica propoziional este o algebr al crei obiectiv iniial este modelarea raionamentului.
Mai recent aceast algebr i-a demonstrat utilitatea ca instrument de concepie (concepia
circuitelor calculatorului).
O a treia utilizare a logicii const n a servi ca model de calcul pentru limbajele de programare (Prolog).
Logica propoziional este un model matematic care ne permite s raionm asupra naturii
adevrate sau false a expresiilor logice.
O propoziie este un enun care poate lua una din cele dou valori de adevr: adevrat
sau fals. Simbolurile care pot reprezenta o propoziie se numesc variabile propoziionale.

Expresii logice
O prim mulime de expresii logice se definete recursiv astfel:
1) sunt operanzi atomici:
variabilele propoziionale;
constantele logice true i false;
2) Orice operand atomic este expresie logic;
3) Dac E i F sunt expresii logice atunci E and F este expresie logic;
4) Dac E i F sunt expresii logice atunci E or F este expresie logic;
5) Dac E este expresie logic atunci not E este expresie logic;

Funcii booleene
Semnificaia unei expresii logice poate fi descris formal ca o funcie care d o valoare adevrat
sau fals pentru expresia ntreag pornind de la valoarea argumentelor, numit funcie logic sau boolean.
Tabele de adevr
O funcie boolean poate fi reprezentat n practic printr-o tabel de adevr ale crei
linii corespund tuturor combinaiilor de valori de adevr pentru argumente. Exist o coloan
pentru fiecare argument i una pentru valoarea funciei.
Figura urmtoare prezint tabelele de adevr pentru operaiile logice and, or, not, xor.
p q p and q p q p or q p not p p q p xor q
0 0 0 0 0 0 0 1 0 0 1
0 1 0 0 1 1 1 0 0 1 0
1 0 0 1 0 1 1 0 0
1 1 1 1 1 1 1 1 1
1
 Tabela de adevr a unei funcii cu k argumente posed 2k linii. Fiecare linie asigneaz
pentru funcie valoarea 0 sau 1, deci exist 22k funcii cu k argumente.

Operatori logici suplimentari

implicaia dac p este adevrat atunci q este adevrat;
echivalena dac i numai dac;
operatorul nonand not (p and q), notat p nand q;
operatorul nonor not (p or q), notat p nor q.
Figura urmtoare prezint tabelele de adevr pentru , , nand, nor.
p q pq p q pq p q p nand q p q p nor q
0 0 1 0 0 1 0 0 1 0 0 1
0 1 1 0 1 0 0 1 1 0 1 0
1 0 0 1 0 0 1 0 1 1 0 0
1 1 1 1 1 1 1 1 0 1 1 0

Asociativitatea i precedena operatorilor logici

Operatorii logici and i or sunt asociativi i comutativi i vor fi grupai de la stnga la
dreapta. Ceilali operatori nu sunt asociativi.
Precedena operatorilor logici:
1. not;
2. nand;
3. nor;
4. and;
5. or;
6. ;
7. .
Funcii booleene ale expresiilor logice
Vom construi expresii logice pornind de la tabelele de adevr. Dei se pot defini o infinitate de
expresii logice, de obicei, se va ncerca pe ct posibil s se gseasc cea mai simpl expresie logic.

Notaii prescurtate
* and se reprezint prin juxtapunerea operanzilor;
* or se reprezint prin +;
* not se reprezint prin sau prin bararea variabilei.

Construcia unei expresii logice din tabela de adevr

Forma normal disjunctiv este o sum logic de mintermi pentru care funcia ia
valoarea logic adevrat (1). Un minterm este un produs logic de literale (variabile propoziionale)
ale unei linii, astfel: dac p are valoarea 0 n coloana k, se utilizeaz p, altfel se utilizeaz p.
Forma normal conjunctiv este un produs logic de maxtermi pentru care funcia ia
valoarea 0. Un maxterm este o sum logic de literale ale unei linii, astfel: dac p ia valoarea 0
se utilizeaz p, altfel p.
Legi algebrice pentru expresii logice
Legi ale echivalenei
1. Reflexivitate: p p;
2. Comutativitate: (p q) (q p);
3. Tranzitivitate: (p q) and (q r) (p r);
4. Echivalena negaiilor: (p q) (p q);

2
Legi analoage aritmeticii
5. Comutativitate and: pq qp;
6. Asociativitate and: p(qr) (pq)r;
7. Comutativitate or: (p+q) (q+p);
8. Asociativitate or: (p+(q+r)) ((p+q)+r);
9. Distributivitate and fa de or: p(q+r) pq+pr;
10. 1 (true) este identitate pentru and: (p1) p;
11. 0 (false) este identitate pentru or: (p + 0) p;
12. 0 este adsorbant pentru and: p and 0 0;
13. Eliminare duble negaii: (p) p.
Diferene fa de legile aritmeticii
14. Distributivitate or fa de and: (p+qr) ((p+q)(p+r));
15. 1 este adsorbant pentru or: 1 + p 1;
16. Idempotena operatorului and: pp p;
17. Idempotena operatorului or: p+p p;
18. Subsumarea:
a) (p+pq) p;
b) p(p+q) p.
19. Eliminarea anumitor negaii:
a) p(p+q) pq;
b) p+pq p+q.
20. Legile lui de Morgan:
a) (pq) p+q;
b) (p+q) pq;
c) (p1p2...pn) p1+p2+...+ pn;
d) (p1+p2+...+pn) p1p2...pn.
Legi ale implicaiei
21. ((pq) and (qp)) (p q);
22. (p q) (pq);
23. (pq) and (qr) (pr);
24. (pq) (p+q).
Tautologii i metode de demonstraie
25. Legea terului exclus: (p+p) 1;
26. Analiza de caz: (pq) and (pq) q;
27. Contrara reciprocei: (pq) (qp);
28. Reducere la absurd: (p0) p;
29. Demonstraie prin reducere: (p 1) p;

Exemple:
1. Funcii de o variabil a:

a z0 z1 z2 z3 z0 = 0 constant;
0 0 0 1 1 z1 = a identitate;
1 0 1 0 1 z2 = a negaie;
z3 = 1 constant;
2) Funcii logice de 2 variabile a i b:

3
 00 01 10 11 ab

0 0 0 0 F0 = 0
0 0 0 1 F1 = ab
0 0 1 0 F2 = ab
0 0 1 1 F3 = a
0 1 0 0 F4 = ab
0 1 0 1 F5 = b
0 1 1 0 F6 = ab
0 1 1 1 F7 = a+b
1 0 0 0 F8 = (a+b) = ab
1 0 0 1 F9 = (ab)
1 0 1 0 F10 = b
1 0 1 1 F11 = a+b
1 1 0 0 F12 = a
1 1 0 1 F13 = a+b
1 1 1 0 F14 = (ab) = a+b
1 1 1 1 F15 = 1

Tabelele Karnaugh (TK)

Tabelele sau diagramele lui Karnaugh permit simplificarea funciilor logice. Metoda se bazeaz
pe inspectarea vizual a tabelelor judicios construite (metoda este util cu un numr de variabile 6).
TK se poate considera ca o transformare a tabelei de adevr.

TK cu 2 variabile
Cele 4 csue ale TK corespund celor 4 linii ale tabelei de adevr:
fiecare variabil logic completeaz o linie sau o coloan;
un produs de 2 variabile completeaz o csu;
Pentru a completa TK pornind de la tabela de adevr se atribuie valoarea 1 csuelor corespunztoare
strilor din intrare n care funcia are valoarea 1. Metoda de simplificare const din a ncadra mulimea csuelor
ocupate, adiacente pe aceeai linie sau coloan. Figura urmtoare prezint o TK cu 2 variabile.
a
a b z b 0 1
0 0 0 0 0 1
0 1 1
1 0 1 1 1 1
1 1 1
n urma reducerii avem vom obine z = a+b.

TK cu 3 variabile
Tabela de adevr a funciei logice de 3 variabile se transform ntr-o TK cu dou
dimensiuni, grupnd dou variabile pe linie sau coloan. Trecerea de la o linie (coloan) la alta
difer printr-o singur variabil (se consider tabela ca nfurtoarea unui cilindru.
Pentru construirea TK cu 3 variabile:
fiecare variabil completeaz un bloc de 4 csue;
un produs logic de dou variabile completeaz un bloc de 2 csue;

4
 un produs logic de 3 variabile completeaz o csu.
Exemplu: z (a, b, c) = abc+abc+abc+abc;
ac
b 00 01 11 10
0 1 1 1
1

n urma reducerii se obine z = ac+bc.

TK cu 4 variabile
Se construiete TK, precum nfurtoarea unui cilindru, att orizontal ct i vertical, astfel:
fiecare variabil completeaz un bloc de 8 csue;
un produs logic de 2 variabile completeaz un bloc de 4 csue;
un produs logic de 3 variabile completeaz un bloc de 2 csue;
un produs logic de 4 variabile completeaz o csu.
Exemplu:
z(a,b,c,d)=abcd+abcd+abcd+abcd+abcd+
abcd+abcd+abcd+abcd+abcd+abcd.

cd ab 00 01 11 10

00 1 1

01 1 1 1 1

11 1 1 1 1

10 1

Expresia simplificat este z = d+bc+abc.

n general, metoda de simplificare a unei funcii de 4 variabile prin TK este urmtoarea:
ncadrarea csuelor cu 1 care nu sunt adiacente altora cu 1 i deci nu pot forma
blocuri de 2 csue;
ncadrarea csuelor care pot forma grupe de 2 csue dar nu pot forma blocuri de 4
csue;
ncadrarea csuelor care pot forma grupe de 4 csue dar nu pot forma blocuri de 8
csue;
ncadrarea grupelor de 8 csue adiacente;
Pentru reducerea funciilor logice cu mai mult de 4 variabile trebuie create mai multe
tabele Karnaugh.

5
 III. MODUL DE LUCRU

Se realizeaz aplicaii care reduc expresiile n forma normal disjunctiv a funciilor

logice fie prin aplicarea axiomelor algebrei booleene fie prin utilizarea diagramelor Karnaugh.

IV. CONINUTUL REFERATULUI

1. Sumarul noiunilor ntlnite.

2. Rezolvai urmtoarele probleme:
2.1 Fie un sumator binar, dispozitiv care efectueaz suma Si a 2 bii Ai i Bi deordin i i a
unei cifre de transport Ci-1 de ordin i-1 imediat inferior.
a) Dai tabela de adevr pentru funciile Si i Ci;
b) Deducei I simplificai expresiile booleene pentru variabilele de ieire Si i Ci.
2.2 Figura urmtoare prezint dou funcii booleene a i b n funcie de variabilele p, q i r.
Scriei expresiile de tip form normal disjunctiv i realizai reducerea:
p q r a b

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

2.3 S se construiasc tabela Karnaugh pentru funcia de dou variabile implic .

2.4 S se gseasc tabela de adevr i s se reduc expresia formei normale disjunctive prin
metoda diagramelor Karnaugh pentru funcia NAND (p, q, r) = (pqr).
2.5 S se construiasc tabela de adevr i s se reduc expresia formei normale disjunctive
pentru funcia de patru variabile logice: a, b, c, d, care este 1 dac configuraia binar
abcd conine cel mult un bit egal cu 1 i zero n rest.
2.6 S se construiasc tabela de adevr i s se reduc expresia formei normale disjunctive
pentru funcia de patru variabile logice: a, b, c, d, care este 1 dac una, dou sau trei
dintre variabile sunt 1 i zero dac nici-una sau toate sunt 1.
2.7 S se construiasc tabela de adevr i s se reduc expresia formei normale disjunctive
pentru funcia de patru variabile logice: a, b, c, d, care este 1 dac cel mult dou dintre
variabile sunt 1 i zero dac trei sau patru sunt 1.
2.8 S se construiasc tabela de adevr i s se reduc expresia formei normale disjunctive
pentru funcia de patru variabile logice: a, b, c, d, care este 1 dac una, trei sau patru
dintre variabile sunt 1 i zero dac zero sau dou sunt 1.
2.9 S se construiasc tabela de adevr i s se reduc expresia formei normale disjunctive
pentru funcia de patru variabile logice: a, b, c, d, care este 1 dac configuraia binar
abcd vzut ca un numr binar este o valoare mai mic dect 10 i zero n rest.
2.10 S se gseasc tabela de adevr i s se reduc expresia formei normale disjunctive prin
metoda diagramelor Karnaugh pentru funcia de patru variabile, pqr s.
3. Observaii i concluzii personale.