Sunteți pe pagina 1din 32

III. ALGEBR BOOLEAN.

FUNCII BOOLEENE

Algebr boolean
Bazele algebrei logice (booleene) matematicianul englez George Boole (1815-1864) Metod simbolic pentru tratarea funciilor logicii formale Claude Shannon (1916-2001), n 1938, a utilizat-o prima dat pentru analiza circuitelor de comutaie Circuitele de comutare transfer, prelucreaz i pstreaz date numerice sau nenumerice n sistemele de calcul
26.10.2011 Curs 3 ASDN 2

Algebr boolean
Algebra logic este o parte a logicii matematice = tiina care utilizeaz metode matematice pentru soluionarea problemelor de logic Algebra logicii opereaz cu propoziii care pot fi adevrate sau false Unei propoziii adevrate i se atribuie valoarea 1, iar unei propoziii false i se atribuie valoarea 0 O propoziie nu poate fi simultan adevrat sau fals Dou propoziii sunt echivalente dac simultan ele sunt adevrate sau false Propoziiile compuse se obin din cele simple prin legturi logice de tipul conjunciei , disjunciei sau negaiei
26.10.2011 Curs 3 ASDN 3

Algebr boolean

Circuitele de comutare au 2 stri stabile distincte, diferite calitativ Strile sunt puse n coresponden cu valorile logice adevrat sau fals sau cu valorile binare 1 i 0 denumirea de circuite logice

26.10.2011

Curs 3 ASDN

3.1. Definirea axiomatic a algebrei booleene


Algebra boolean este o algebr format din:
elementele {0,1} 2 operaii binare numite SAU i SI, notate simbolic + sau i sau 1 operaie unar numit NU negaie, notat simbolic sau

Operaiile se definesc astfel:


I 00=0 01=0 10=0 11=1 SAU 0+0=0 0+1=1 1+0=1 1+1=1 NU 0 =1 1= 0

26.10.2011

Curs 3 ASDN

3.1. Definirea axiomatic a algebrei booleene


Axiomele algebrei booleene
Fie o mulime M compus din elementele x1, x2,xn, mpreun cu operaiile i +. Aceast mulime formeaz o algebr dac:
1) Mulimea M conine cel puin 2 elemente distincte x1 x2 (x1, x2 M) 2) Pentru x1 M, x2 M avem: x1 + x2 M i x1 x2 M 3) Operaiile i + au urmtoarele proprieti:
sunt comutative: x1 x2 = x2 x1 x1 + x2 = x2 + x1 sunt asociative: x1 (x2 x3) = (x1 x2) x3 x1 + (x2 + x3) = (x1 + x2) + x3 sunt distributive una fa de cealalt: x1 (x2 + x3) = x1 x2 + x1 x3 x1 + (x2 x3) = (x1 + x2) (x1 + x3)
26.10.2011 Curs 3 ASDN 6

3.1. Definirea axiomatic a algebrei booleene


Axiomele algebrei booleene
Fie o mulime M compus din elementele x1, x2,xn, mpreun cu operaiile i +. Aceast mulime formeaz o algebr dac:
4) Ambele operaii admit cte un element neutru cu urmtoarele proprieti: x1 + 0 = 0 + x1 = x1 x1 1 = 1 x1 = x1 unde 0 este elementul nul al mulimii, iar 1 este elementul unitate al mulimii 5) Dac mulimea M nu conine dect dou elemente, acestea trebuie s fie obligatoriu elementul nul 0 i elementul unitate 1; atunci pentru x M exist un element unic notat cu x , cu proprietile: xx=0 principiul contradiciei x+x=1 principiul terului exclus x este inversul elementului x
26.10.2011 Curs 3 ASDN 7

3.1. Definirea axiomatic a algebrei booleene


Denumiri i notaii specifice utilizate

Matematic Prima lege de compoziie x1 + x2 A doua lege de compoziie x1 x2 Elementul invers x

Logic Disjuncie x 1 x2 Conjuncie x 1 x2 Negare x

Tehnic SAU x1 + x2 SI x1 x2 NU x

26.10.2011

Curs 3 ASDN

3.2. Proprietile algebrei booleene


Din axiome se deduc o serie de proprieti care formeaz reguli de calcul n algebra boolean Proprietile algebrei booleene:
1) Principiul dublei negaii x = x dubla negaie duce la o afirmaie 2) Idempotena xx=x x+x=x 3) Absorbia x1 (x1 + x2) = x1 x1 + (x1 x2) = x1
26.10.2011 Curs 3 ASDN 9

3.2. Proprietile algebrei booleene


Proprietile algebrei booleene:
4) Proprietile elementelor neutre x0=0 x1=x x+0=x x+1=1 5) Formulele lui De Morgan x1 x2 = x1 + x2 x1 + x2 = x1 x2
Sunt deosebit de utile pentru transformarea produsului logic n sum logic i invers Se pot generaliza pentru un numr arbitrar de termeni x1 x2 xn = x1 + x2 + + xn x1 + x2 + + xn = x1 x2 xn
26.10.2011 Curs 3 ASDN 10

3.2. Proprietile algebrei booleene


Proprietile algebrei booleene:
6) Principiul dualitii dac n axiomele i proprietile algebrei booleene se interschimb 0 cu 1 i + cu , sistemul de axiome rmne acelai, n afara unor permutri

Verificarea proprietilor:
Se face cu ajutorul tabelelor de adevr 2 funcii sunt egale dac iau aceleai valori n toate punctele domeniului de definiie

Observaie: comutativitatea i asociativitatea se pot extinde la un numr arbitrar, dar finit, de termeni
26.10.2011 Curs 3 ASDN 11

3.3. Funcii booleene


Funcie boolean f: Bn B, unde B = {0,1} } y = f(x1, x2,,xn) important att variabilele ct i funcia nu pot lua dect dou valori distincte, 0 sau 1 Funcia pune n coresponden fiecrui element al produsului cartezian n dimensional, valorile 0 sau 1 Funcii booleene utilizate pentru caracterizarea funcionrii unor dispozitive (circuite) construite cu elemente de circuit avnd dou stri (funcionarea unui astfel de circuit va fi descris de o variabil boolean xi)
26.10.2011 Curs 3 ASDN 12

3.3.1. Funcii booleene elementare


Forma general a unei funcii booleene de n variabile: y = f(x1, x2,,xn) Domeniul de definiie: format din m = 2n puncte n fiecare din aceste puncte funcia poate lua doar valorile 0 i 1 numrul total al funciilor booleene de n variabile este N = 2m

26.10.2011

Curs 3 ASDN

13

3.3.1. Funcii booleene elementare


Exemplu: considerm funciile elementare de 1 variabil
Pentru n = 1 avem m = 2 i N = 4 Funcia are forma y = f(x) i cele 4 forme ale ei se gsesc n tabel
fi f0 f1 f2 f3 x 0 0 0 1 1 1 0 1 0 1 Reprezentare 0 x x 1 Denumire Constanta 0 Variabila x Negaia lui x Constanta 1

Toate funciile booleene se pot realiza cu funcii de baz Funciilor de baz le corespund circuite logice elementare Cu circuite logice elementare se poate realiza ORICE tip de circuit
26.10.2011 Curs 3 ASDN 14

3.3.1. Funcii booleene elementare


Denumire Inversor NOT Funcie f=x x f=x Poart SI AND f = x1 x2 x1 x2 Simbol

Tabelul funciilor elementare Circuitele logice de comutaie au 2 stri stabile: LOW (L) i HIGH (H) Se asociaz lui L 0 i lui H1

f=x1x2

Poart SAU OR

f = x1 + x2 x1 x2 f=x1+x2 f = x1 x2 x1 x2

Poart SI-NU NAND

f=x1x2

Poart SAU-NU NOR

f = x1 + x2 x1 x2 f=x1+x2

SAU EXCLUSIV XOR f = x1 + x2 x1 x2 f=x1 + x2 f = x1 x2 x1 x2

COINCIDEN

f=x1 x2 =x1 + x2

Tabel de adevr x f 0 1 1 0 x1 x2 f 0 0 0 0 1 0 1 0 0 1 1 1 x1 x2 f 0 0 0 0 1 1 1 0 1 1 1 1 x1 x2 f 0 0 1 0 1 1 1 0 1 1 1 0 x1 x2 f 0 0 1 0 1 0 1 0 0 1 1 0 x1 x2 f 0 0 0 0 1 1 1 0 1 1 1 0 x1 x2 f 0 0 1 0 1 0 1 0 0 1 1 1

Tabel de definiie x f L H H L x1 x2 f L L L L H L H L L H H H x1 x2 f L L L L H H H L H H H H x1 x2 f L L H L H H H L H H H L x1 x2 f L L H L H L H L L H H L x1 x2 f L L L L H H H L H H H L x1 x2 f L L H L H L H L L H H H

26.10.2011

Curs 3 ASDN

15

3.3.2. Reprezentarea funciilor booleene


Moduri de reprezentare a funciilor booleene:
Reprezentare grafic Reprezentare analitic

Reprezentare grafic intuitiv greu de utilizat la funcii cu numr mare de variabile (utilizare de obicei pn la 4-5 variabile)
Tabel de adevr (TA) Diagram Karnaugh (DK) Schem logic Diagram de timp (cronogram)

Reprezentare analitic permite metode automate utilizare la funcii de mai mult de 4 variabile
Forme canonice Forma minimizat (elementar) Forma neelementar
26.10.2011 Curs 3 ASDN 16

3.3.2.1. Modaliti de reprezentare grafic


1. Tabel de adevr
Se marcheaz ntr-un tabel corespondena dintre valorile de adevr ale variabilelor de intrare i valoarea de adevr a funciei, n fiecare punct al domeniului de definiie Pentru o funcie cu n variabile de intrare exist 2n combinaii ale acestora Dac pentru anumite combinaii ale variabilelor de intrare valoarea funciei nu este specificat funcii incomplet definite
n tabel, n locul n care funcia nu este specificat, valoarea ei se noteaz cu X Dac o funcie boolean este incomplet definit pentru m combinaii ale variabilelor de intrare, se pot defini 2m funcii noi prin alegerea arbitrar a valorilor incomplet definite
26.10.2011 Curs 3 ASDN 17

3.3.2.1. Modaliti de reprezentare grafic


a b c d 0 0 0 0 f 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 18

1. Tabel de adevr
Exemplu: S se reprezinte prin tabel de adevr funcia boolean de 4 variabile: f=abd+abcd+abcd

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

26.10.2011

Curs 3 ASDN

3.3.2.1. Modaliti de reprezentare grafic


2. Diagram Karnaugh (DK)
O diagram Karnaugh pentru o funcie boolean de n variabile se deseneaz sub forma unui ptrat sau dreptunghi mprit n 2n compartimente Fiecare compartiment este rezervat unui termen canonic al funciei, respectiv unuia dintre vrfurile cubului n dimensional din reprezentarea geometric a funciei Dou compartimente vecine pe o linie sau pe o coloan corespund la doi termeni canonici care difer numai printr-o singur variabil, care apare n unul adevrat, iar n cellalt negat Se consider vecine i compartimentele aflate la capetele opuse ale unei linii, respectiv coloane
26.10.2011 Curs 3 ASDN 19

3.3.2.1. Modaliti de reprezentare grafic


2. Diagram Karnaugh
Notarea DK: fie indicnd domeniul fiecrei variabile, fie indicnd pe linie i coloan n-uple de zerouri i uniti corespondente unui compartiment din diagram i ordinea variabilelor
Prima notaie se folosete n cazul n care se reprezint funcia prin forma ei canonic A doua notaie se folosete n cazul n care funcia se reprezint prin tabel de adevr Numerotarea liniilor i coloanelor se face n cod Gray (cod binar reflectat) Pentru a putea reprezenta uor funcii exprimate n mod convenional prin indicii termenilor canonici se poate nota fiecare compartiment cu indicele termenului corespondent, innd cont de o anumit ordine a variabilelor
26.10.2011 Curs 3 ASDN 20

3.3.2.1. Modaliti de reprezentare grafic


2. Diagram Karnaugh
1) Diagrama Karnaugh pentru funcia boolean de 2 variabile
Exemplu: f(x1, x0) = x1x0 + x1x0
x0 0 x1 0 x1 1
x1 x0

x0 1
x1 x0

x1

x0 0 0 0 1
0 2

x0 1 1 0
1 3

x1

x0 0
0 2

x0 1
1 3
x1 0 0 1 1 x0 0 1 0 1 f 0 1 1 0

0
x1 x0

1
x1 x0

0 x1 1

x1

26.10.2011

Curs 3 ASDN

21

3.3.2.1. Modaliti de reprezentare grafic


2. Diagram Karnaugh
2) Diagrama Karnaugh pentru funcia boolean de 3 variabile: y = f(x2,x1,x0)
Domeniul de definiie este format din 23 = 8 puncte i reprezint vrfurile unui cub cu latura 1
x1 x0 x2 0 x2 1 00
0 4

x0 01 11
1 5 3 7

x2x1
10
2 6

x0

x0

0
0 2 6

1
1 3 7 5

00 01 11 x2 10
Curs 3 ASDN

x1

x1
26.10.2011

22

3.3.2.1. Modaliti de reprezentare grafic


2. Diagram Karnaugh
3) Diagrama Karnaugh pentru funcia boolean de 4 variabile y = x0 f(x3,x2,x1,x0) x1x0
Prin sgei sunt marcate vecintile
x3x2 00 01 11 10 00 01 11 x3 10
8 9 11 10 12 13 15 14 0 4 1 5 3 2 6

x17

x2

x1

Pentru funcii de mai mult de 4 variabile folosim DK pentru 4 variabile ca DK elementare


26.10.2011 Curs 3 ASDN 23

3.3.2.1. Modaliti de reprezentare grafic


3. Schem logic
Reprezentare cu ajutorul simbolurilor circuitelor logice Exemplu:
I1 O I0 AND2

Carry

I1 O I0 XOR2

AplusB

26.10.2011

Curs 3 ASDN

24

3.3.2.1. Modaliti de reprezentare grafic


4. Diagrame de timp (cronogram)
Reprezentare util pentru studiul unor forme tranzitorii de hazard n circuitele logice Se reprezint funcii logice n a cror evoluie intervine x timpul Exemplu: x f(x2, x1) = x2x1
1 2

26.10.2011

Curs 3 ASDN

25

3.3.2.2. Modaliti de reprezentare analitic


1. Forme canonice
Fie o funcie boolean f(X), unde X = (x1,x2,,xn) Se definete numrul de combinaie i = x120 + x221 + + xn2n-1 Exemplu:
x1 0 0 0 0 x2 0 0 1 1 x3 0 1 0 1 f 1 1 0 1 i = 020 + 021 + 022 = 0 i = 020 + 021 + 122 = 1 i = 020 + 121 + 022 = 2 i = 020 + 121 + 122 = 3

26.10.2011

Curs 3 ASDN

26

3.3.2.2. Modaliti de reprezentare analitic


1. Forme canonice
Definim funcia Pi: Bn B i B = {0,1} Pi(x1,x2,,xn) = 1 dac numrul de combinaie este i 0 n caz contrar Pi se numete constituent al unitii Orice funcie boolean dat prin tabel de adevr se poate scrie ca o sum de constitueni ai unitii: f(x1, x2,,xn) = Pi1 + Pi2 + + Pip = Pij
i,jM1

M1 este mulimea tuturor combinaiilor argumentelor pentru care funcia ia valoarea 1 Aceast form de scriere se numete forma canonic disjunctiv FCD Termenii constitueni se numesc termeni canonici disjunctivi sau mintermi FCD se mai numete i forma sum de produse Termenii conin toate variabilele de intrare independente
26.10.2011 Curs 3 ASDN 27

3.3.2.2. Modaliti de reprezentare analitic


1. Forme canonice
Definim funcia Si: Bn B i B = {0,1} Si(x1,x2,,xn) = 0 dac numrul de combinaie este i 1 n caz contrar Si se numete constituent al lui 0 Orice funcie boolean dat prin tabel de adevr se poate scrie ca un produs de constitueni ai lui 0: f(x1, x2,,xn) = Si1 Si2 Siq = Sij
i,jM0

M0 este mulimea tuturor combinaiilor argumentelor pentru care funcia ia valoarea 0 Aceast form de scriere se numete forma canonic conjunctiv FCC Termenii constitueni se numesc termeni canonici conjunctivi sau maxtermi FCC se mai numete i forma produs de sume Termenii conin toate variabilele de intrare independente
26.10.2011 Curs 3 ASDN 28

3.3.2.2. Modaliti de reprezentare analitic


1. Forme canonice
Algoritmi de obinere a formelor canonice
FCD
Se determin toate combinaiile variabilelor pentru care valoarea funciei este 1 Se scriu mintermii corespunztori o variabil apare nenegat dac are valoarea 1 i negat dac are valoarea 0 Se nsumeaz mintermii obinui

FCC
Se determin toate combinaiile variabilelor pentru care valoarea funciei este 0 Se scriu maxtermii corespunztori prin nsumarea variabilelor o variabil apare nenegat dac are valoarea 0 i negat dac are valoarea 1 Se nmulesc maxtermii obinui
26.10.2011 Curs 3 ASDN 29

3.3.2.2. Modaliti de reprezentare analitic


1. Forme canonice
Exemplu:
Tabel de adevr x1 x2 x3 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 Mintermi f 0 1 0 1 1 0 1 1 Maxtermi x1+x2+x3 x1 x2 x3 x1+x2+x3 x1 x2 x3 x1 x2 x3 x1+x2+x3 x1 x2 x3 x1 x2 x3

FCD: x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 + x1 x2 x3 FCD: P1 + P3 + P4 + P6 +P7 FCD: (1, 3, 4, 6, 7) FCC: (x1+x2+x3) (x1+x2+x3) (x1+x2+x3) FCC: S0 S2 S5 FCC: (0, 2, 5)

Trecerea dintr-o form canonic n alta se poate face:


Cu ajutorul tabelului de adevr Prin aplicarea dublei negaii i apoi a teoremelor lui De Morgan
26.10.2011 Curs 3 ASDN 30

3.3.2.2. Modaliti de reprezentare analitic


Teoreme
Teorema lui Shannon complementul unei funcii se obine prin complementarea fiecrei variabile i interschimbarea operatorilor SI cu SAU i reciproc f(x1,x2,,xn)+, = f(x1,x2,,xn),+ Teorema de expansiune funciile booleene se pot expanda dup variabile
Fie funcia boolean f(x1,x2,, xi-1, xi, xi+1,,xn) care se expandeaz dup variabila xi Atunci:
f(x1,x2,, xi-1, xi, xi+1,,xn) = xif(x1,x2,, xi-1, 1, xi+1,,xn) + xif(x1,x2,, xi-1, 0, xi+1,,xn)

Funcia dual este:


f = [xi + f(x1,x2,, xi-1, 0, xi+1,,xn)] [xi + f(x1,x2,, xi-1, 1, xi+1,,xn)]
26.10.2011 Curs 3 ASDN 31

3.3.2.2. Modaliti de reprezentare analitic


2. Forma minimizat (elementar)
Termenii formelor elementare nu conin toate variabilele de intrare ale funciei Se obine din formele canonice prin operaia de minimizare

3. Forma neelementar
Conine variabile sau grupuri de variabile comune mai multor termeni Se obine din celelalte forme de reprezentare prin aplicarea algebrei booleene Permite reducerea numrului de intrri n circuitele logice Dezavantaj: mrete numrul de nivele logice
26.10.2011 Curs 3 ASDN 32