Documente Academic
Documente Profesional
Documente Cultură
176
Teorema 3. O variabil multiplicat cu ea nsi are ca rezultat
valoarea variabilei.
xx = x
Aceast teorem poate fi demonstrat simplu dnd lui x valorile logice 0 sau
1 (0.0 = 0 i 1.1 = 1).
Teorema 4. Rezultatul multiplicrii unei variabile cu inversul ei este
0.
xx = 0
Teorema 5. Rezultatul adunrii unei variabile cu 0 va fi egal cu
valoarea variabilei.
x+ 0 = x
Teorema 6. Rezultatul adunrii unei variabile cu 1 va fi egal cu 1.
x +1 = 1
Teorema 7. Rezultatul adunrii unei variabile cu ea nsi va fi egal
cu valoarea variabilei.
x+x= x
Teorema 8. Rezultatul adunrii unei variabile cu inversul ei este 1.
x + x =1
12.3.2 Teoreme pentru porile cu mai multe variabile de intrare.
Teorema 9 x+ y = y+x
Teorema 10 x y = yx
Teorema 11 x + ( y + z) = ( x + y) + z = x + y + z
Teorema 12 x ( y z) = ( x y) z = x y z
Teorema 13a x ( y + z) = x y + x z
Teorema 13b ( w + x) ( y + z ) = w y + w z + x y + x z
Teorema 14 x+ x y = x
Teorema 15 x + xy = x + y
Teoremele de la 9 la 13 sunt n fapt teoremele comutativitii,
asociativitii i distributivitii, similare cu cele din algebra clasic.
Teoremele 14 i 15 nu au corespondent n algebra clasic. Teorema 14 poate
fi demonstrat uor cu ajutorul teoremelor 2, 13a i 6:
x + x.y = x.1 + x.y = x(1 + y) = x.1 = x
177
Teorema 15 poate fi demonstrat nlocuind n ea toate combinaiile
posibile pentru variabilele x i y.
Iat n continuare dou exemple de aplicare a acestor teoreme care
nu fac altceva dect s demonstreze utilitatea lor:
y = A BD + A B D = A B(D + D ) = A B (teoremele 13a i 8)
Teorema 16 (x + y) = x y
Teorema 17 x y = x + y
Teorema 16 spune c atunci cnd o sum SAU de dou variabile este
inversat, ea se poate calcula inversnd mai nti variabilele i fcnd apoi
produsul logic al lor. Teorema 17 spune c atunci cnd un produs I de dou
variabile este inversat, el se poate calcula inversnd mai nti variabilele i
fcnd apoi suma logic a lor. Fiecare dintre teoremele lui DeMorgan poate
fi demonstrat considernd toate combinaiile posibile dintre x i y.
Dei teoremele lui DeMorgan au fost enunate pentru variabile
simple, x i y, ele sunt valabile i n situaiile n care x sau y sunt expresii
care conin mai mult de o variabil. De exemplu, s aplicm aceste teoreme
la simplificarea expresiei ( AB + C ) :
( AB + C )= AB C
AB C = ( A + B ) C
( A + B ) C = ( A + B) C
( A + B) C = AC + BC
S observm c n rezultatul final semnul de inversare este asociat
numai unor variabile simple.
178