Documente Academic
Documente Profesional
Documente Cultură
, .,
).
Algebra logic - o algebr format din variabile (constante) logice i operatori logici.
a) Constanta logic o entitate ccare nu i schimb valoarea n timpul unui proces
de prelucrare logic. Sunt definite drept valori fixe 0 sau 1, T (true) sau F (false)
b) Variabila logic o entitate care poate cpta una din cele 2 valori logice
v 0,1 ; T , F . T (true), F (false) sunt notaii posibile pentru cele 2 valori logice.
Notaiile (denumirile) variabilelor logice pot fi date n raport cu contextul aplicaiei.
Notaiile sunt n general simple i se numesc mnemonice sau nume ale variabilelor.
c) Spaul logic n-dimensional Sn :
Sn = { xn-1, xn-2, ...., x0 }
Reprezint o mulime ordonat de n variabile logice indepedente, n sensul c oricare din
variabilele menionate poate obine valori binare 0 sau 1, independent de celelalte.
Exemplu. {a,b,c,d} reprezint un spaiu 4 dimensional, S'4 n care variabilele ataate
spaiului sunt denumite a,b,c,d.
{x3,x2,x1,x0} reprezint tot un spaiu (S''4) n care variabilele sunt x3 , x2 , x1 , x0 .
S'4 S''4 = {a,b,c,d} {x3,x2,x1,x0} = { a,b,c,d, x3,x2,x1,x0}, reprezint un spaiu S8 .
Punctul - reprezint un set complet de valori particulare date variabilelor
spaiului.
Spaiile n care valorile variabilelor nu variaz continuu ci variaz n trepte se
numesc spaii discrete.
Un spaiu discret nu permite trecerea de la un punct la altul printr-o cale de valori
continue, ci doar prin salturi sau trepte.
Spaiul logic n-dimensional Sn conine 2n puncte. Ele reprezint toate
combinaiile posibile ale celor n variabile.
Demonstraie.
Fie S1 = { x0 } (are 2 puncte 0 i 1), iar S 2 = { x1, x0 } are patru puncte reprezentate n
Tabela 1. Se observ c pentru cele dou valori ale variabilei x0 se ataeaz valoarea
logic
x1 = 0, respectiv valoarea logic x1 = 1.
Punctul
p0
p1
p2
p3
Variabila x1
0
0
1
1
Variabila x0
0
1
0
1
Codul binar
00
01
10
11
Tabela 1
2. Aplicm un proces inductiv: presupuneam ca Sn-1 are 2n-1 puncte (combinaii binare
sau coduri), atunci spaiul Sn se obine adaugnd un bit suplimentar cu valoarea 0
respectiv 1, ceea ce
va avea 2n puncte.
Val.
0
1
2
3
4
5
6
7
8
9
A
B
C
D
E
F
x0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
Tabela 2
Axa de reflexie
Codificarea n cod Gray (cod ciclic reflectat)
x3
x2
x1
x0
Val.
0
0
0
0
0
0
0
0
1
1
0
0
1
1
3
0
0
1
0
2
0
1
1
0
6
0
1
1
1
7
0
1
0
1
5
0
1
0
0
4
1
1
0
0
C
1
1
0
1
D
1
1
1
1
F
1
1
1
0
E
1
0
1
0
A
1
0
1
1
B
1
0
0
1
9
1
0
0
0
8
Reprezentare n cod Gray
Sj, k+j = n
x3,x2
x1,x0
00
01
11
10
00
01
11
10
0
4
C
8
1
5
D
9
3
7
F
B
2
6
E
A
Tabela 3
Subspaiu al spaiului logic Sn
Un subspaiu Sk Sn cu k [ 0, n ] reprezint o submulime caracterizat prin
urmtoarele proprieti :
a) un numr de k bii rmn constani, ceilali n-k = l bii parcurg toate combinaiile.
b) Pentru k = 0, 0 bii rmn constani, toi ceilali parcurg toate combinaiile.
c) Pentru k = n, toi biii rmn constani, deci reprezint puncte individuale.
Concluzii: Un subspaiu Sk arbitrar va conine 2n-k membri care sunt dai de variaia
biilor care se schimb.
Generalizare. Numrul de subspaii Sk definite pe Sn este Cnk * 2k .
Proprietile unui subspaiu reprezentat n diagrama Karnaugh:
- are 2 axe de simetrie, una vertical i una orizontal ;
- 2 subspaii de 2k puncte se reunesc inr-un subspaiu superior de 2k+1 puncte cu
condiia ca cele 2 subspaii sa fie simetric amplasate n raport cu axele de
simetrie ale diagramei, adic cele 2 subspaii s fie adiacente.
S4' = {11--0-}
S4= {11-00-}
Exemplu: S considerm 2 numere ntregi reprezentate pe 3 bii fiecare (valoarea
ntre 0 i 7). Se consider c numrul A = x2 x1 x0 iar B = y2 y1 y0. S se determine regula
care stabilete c numrul A este mai mare dect B. Spaiul logic n care este definit
proprietatea este S6 = { x2, x1, x0, y2, y1, y0 }. Dac A este mai mare dect B, atunci n
punctul respectiv se nscrie valoarea logic 1. n tabela 4 sunt 28 de puncte pentru care A
> B. Valorile binare care caracterizeaz subspaiile marcate prin ncercuire sunt: S4 =
{11-10-}, S4'= {11-00-} i S2= {1- -0- -}
B=y2,y1,y0
A=x2,x1,x0
0
1
3
2
6
7
5
4
000
001
011
010
110
111
101
100
0
000
1
001
1
1
1
1
1
1
1
1
1
1
1
1
1
3
011
2
010
6
110
7
111
5
101
4
100
1
1
1
1
1
1
1
1
1
1
S4
1
1
1
1
1
S4
S2
x
1
0
Simbolul grafic :
!x = x
xxxx
2) Conjuncia (produs logic) and: un operator care acioneaz asupra a doi sau
mai muli bii.
m
Axioma: Produsul logic p = yi este egal cu valoarea logic 1 numai dac orice yi=1.
i=1
Axioma: Suma logic s = yi este egal cu valoarea logic 0 numai dac orice yi=0.
i=1
Operaia este de tip maxterm, devine 0 doar o singur dat din cele 2n combinaii ale
variabilelor de intrare.
Tabela de adevr a operatorului or:
x
y
x+y
0
0
0
0
1
1
1
0
1
1
1
1
Simbolul grafic :
x
x+y
y
y
0
1
0
1
x+x*y
0
1
1
1
x+y
0
1
1
1
9) Teorema lui DeMorgan a sumei logice: Negaia aplicat unei sume logice este
egal cu produsul logic al variabilelor negate. (xj poate fi o variabil simpl sau
o expresie logic).
n
j=1
j=1
( x j) =
(xj)
Exemplu: (x + a * b) = x * (a * b)
10) Teorema lui DeMorgan a produsului logic: Negaia aplicat unui produs logic
este egal cu suma logic a variabilelor negate. (xj poate fi o variabil simpl
sau o expresie logic).
n
j=1
j=1
( xj) = (xj)
Exemplu: x * (a + b) = x + (a + b)
(ii)
Este asociativ
x y z = x (y
Este comutativ
x y=y x
z)
Simbolul grafic :
a
(a xor b)
b
Sinteza definiiilor i funcionrii operatorilor logici :
Tabela de adevr a operatorilor logici and, or, nand, nor i xor :
x
0
0
1
1
y
0
1
0
1
and
x*y
0
0
0
1
or
x+y
0
1
1
1
nand
!(x * y)
1
1
1
0
nor
!(x + y)
1
0
0
0
xor
x y
0
1
1
0
Concluzii :
1. Produsul logic de n variabile (and) are valoarea logic 1, dac toate
variabilele sunt egale cu 1.
2. Operatorul (nand) de n variabile are valoarea logic 0, dac toate variabilele
sunt egale cu 1.
3. Suma logic de n variabile (or) are valoarea logic 0, dac toate variabilele
sunt egale cu 0.
4. Operatorul (nor) de n variabile are valoarea logic 1, dac toate variabilele
sunt egale cu 0.
5. Operatorul (xor) sau suma modulo 2 se aplic numai peste dou variabile
i are valoarea logic 0 dac variabilele au valori egale, respectiv are
valoarea logic 1 dac variabilele au valori opuse.