Professional Documents
Culture Documents
Álgebra Boole
Álgebra Boole
0: representatiu de FALS
1: representatiu de VERDADER
Complementaci, Negaci o operaci NOT ( es representa amb una barra sobre la variable, )
1/8
4.3. Postulats
Els postulats per a les tres operacions bsiques, AND, OR I NOT, sn suficients per a deduir qualsevol
relaci booleana.
OR AND NOT
0+0=0 0 0=0
0+1=1 0 1=0
1+0=1 1 0=0
1+1=1 1 1=1
4.4. Teoremes
1. Regla del zero i la unitat
a) X + 0 = X b) X + 1 = 1
c) X 1 = X d) X 0 = 0
3. Complementaci
a) X + =1
b) X =0
4. Involuci
5. Commutativa
a) Commutativa del + : X + Y = Y + X
b) Commutativa del : X Y = Y X
6. Associativa
a) Associativa del + : X + (Y + Z) = (X + Y) + Z
b) Associativa del : X (Y Z) = (X Y) Z
7. Distributiva
a) distributivitat del + : X + (Y Z) = (X + Y) (X + Z)
b) distributivitat del : X (Y + Z) = (X Y) + (X Z)
8. Lleis dabsorci
a) X (X + Y)= X b) X ( + Y)= XY X (X + Y ) = X Y
c) (X + Y)= Y X (X + Y ) = X Y d) (X + Y) (X + )= X (X + Y ) (X + Y ) = X
e) X + XY = X f) X + Y = X + Y X + X Y = X + Y
g) + XY = + Y X + X Y = X + Y h) XY + X = X X Y + X Y = X
2/8
9. Teoremes de DeMorgan
a) X Y = X + Y b) X Y = X + Y
c) X + Y = X Y d) X + Y = X Y
b)
11. Dualitat
Els postulats i teoremes presentats anteriorment estan representats a parells. La ra s que cada
teorema posseeix el que diguem un dual. El dual duna expressi sobt intercanviant les idees OR per
AND, 0 per 1 i a linrevs. Si un teorema s vlid, tamb ho ser el seu dual, En efecte seguint el dual de
la demostraci del teorema, sobt la demostraci del dual del teorema.
Exercicis
1. Demostra les 8 lleis dabsorci utilitzant lgebra de Boole
2. Demostra els 4 Teoremes de DeMorgan utilitzant taules de veritat
En classe sutilitzaren els postulats i teoremes de llgebra de Boole per a minimitzar funcions
booleanes. La simplificaci destes funcions amb ls dlgebra de Boole s un "art". No hi ha un
algoritme que hom puga seguir per a garantir que el resultat arribe a donar la forma ms simple
dexpressi mnima. Com en el joc dels escacs, amb la prctica es va aprenent a reconixer patrons que
ens guien cap a la soluci.
Una pregunta important que hem de fer-nos s la de que s la simplificaci? Una expressi amb menys
literals? una expressi amb menys operacions? La resposta depn del que desitgem optimitzar,
velocitat? nombre dinterconnexions entre portes? nombre de components?
Altres vegades es sol utilitzar la forma negada o el complement de la funci. Per a a es neguen els
literals i sintercanvien els AND i OR.
s: A ( B + C )
3/8
El complement duna funci no s la mateixa funci, s la forma negada de la funci.
En llgebra de Boole s fonamental lexistncia duna forma algebraica que proporcione explcitament
el valor duna funci per a totes les combinacions dels valors de les variables. s esta la forma cannica
de la funci.
1. Definicions:
Terme producte: s un grup de literals que es troben relacionats entre si per un AND.
Terme suma: s un grup de literals que es troben relacionats entre si per un OR.
Terme normal: terme producte o terme suma en qu un literal no apareix mes duna vegada.
Terme cannic: terme en el que es troba exactament un de cada un dels literals de la funci. Si el terme
cannic s un producte, es denominar minterme. Si s una suma es denominar maxterme.
Forma normal duna funci: s la que est constituda per termes normals. Pot estar en la forma suma
de termes productes o productes de termes sumes.
Forma cannica duna funci: s aquella constituda exclusivament per termes cannics que apareixen
una sola vegada.
La importncia de la forma cannica consisteix en el fet de ser nica. Com vam veure anteriorment una
funci pot tindre infinitat de representacions, per noms una representaci en forma cannica.
Hi ha dos formes canniques duna funci: Suma De Productes o Producte de Sumes. (Tamb duna
manera mes formal Suma de mintermes o Producte de maxtermes)
Per a obtindre algebraicament la forma cannica duna funci podem utilitzar els teoremes dexpansi
cannica:
Teorema 1: Per a obtindre la forma cannica duna funci suma de productes es multiplicar per un
terme de la forma (X + ) on falte un literal perqu el terme siga cannic.
Teorema 2: Per a obtindre la forma cannica duna funci producte de sumes se sumar un terme de
la forma X on falte un literal perqu el terme siga cannic.
s aquella constituda exclusivament per termes cannics productes (mintermes) sumats que apareixen
una sola vegada.
4/8
__ __ _ _
Per exemple: F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
Per a simplificar lescriptura en forma de suma cannica de productes, sutilitza una notaci especial. A
cada minterme se li associa un nombre binari de n bits resultant de considerar com 0 les variables
complementades i com 1 les variables no complementades. Aix per exemple el minterme Z
correspon a combinaci X=0, Y=0, Z=1 que representa el nombre binari 001, el valor decimal del qual
s 1. A este minterme ho identificarem llavors com m1.
__ __ _ _
Desta manera la funci: F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
es pot expressar com: F(X,YZ) = m(1, 4,5,6,7) que vol dir la sumatria dels mintermes 1, 4, 5, 6, 7.
s aquella constituda exclusivament per termes cannics sumes (maxtermes) multiplicats que
apareixen una sola vegada.
_ _ _
Per exemple F(X,Y,Z) = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )
Anlogament al cas anterior, podem simplificar lexpressi de la funci, indicant els maxtermes. No
obstant aix, en este cas es fa al contrari dabans. A cada maxterme se li associa un nombre binari de n
bits resultant de considerar com 1 les variables complementades i com 0 les variables no
complementades. Aix per exemple el maxterme + Y + Z correspon a combinaci X=1, Y=0, Z=0 que
representa el nombre binari 100, el valor decimal del qual s 4. A este maxterme ho identificarem
llavors com M4.
_ _ _
Desta manera, la funci: F(X,Y,Z) = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )
es pot expressar com: F(X,YZ) = M(0, 2, 3) que vol dir el producte dels maxtermes 0, 2, 3.
En resum, cada minterme sassocia amb la combinaci dentrada per a la que la funci produiria un 1, i
cada maxtrme amb la combinaci per a la que produiria un 0.
En la segent taula es mostren els mintermes i els maxtermes associats amb cada combinaci en una
taula de veritat de 3 variables. Dacord amb esta taula per a determinar el terme producte o suma es fa
el segent: per als mintermes cada variable no complementada sassocia amb un 1 i cada variable
complementada sassocia amb 0. Per als maxtermes la regla s a la inversa.
Valor
XYZ Minterme Maxterme
decimal
0 0 0 0 X Y Z = m0
X + Y + Z = M0
1 001
X Y Z = m1 X + Y + Z = M1
2 010
X Y Z = m2 X + Y + Z = M2
3 011
X Y Z = m3 X + Y + Z = M3
4 100
X Y Z = m4 X + Y + Z = M4
5 101
X Y Z = m5 X + Y + Z = M5
5/8
6 110
X Y Z = m6 X + Y + Z = M6
7 1 1 1 X Y Z = m7
X + Y + Z = M7
F=X+YZ
Hi ha dos formes de resoldre este problema.
Forma 1. Es pot obtindre la taula de veritat de lexpressi i llavors prendre els mintermes.
mintermes
X Y Z F=X+Y Z
0 0 0 0
0 0 1 1
XY Z
0 1 0 0
0 1 1 0
1 0 0 1
XYZ
1 0 1 1
XY Z
1 1 0 1
XY Z
1 1 1 1
XY Z
Savalua la funci per a totes les combinacions i es prenen els mintermes de la taula per als quals la
funci val 1.
__ __ _ _
La resposta s :F = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
Una altra notaci que podem utilitzar s:
F= m(1, 4, 5, 6, 7)
Forma 2. Aplicant els teoremes dexpansi cannica per a les variables faltantes.
_
X+YZ
_ _ _ _
X ( Y+Y ) ( Z+ Z ) +Y Z ( X+X )
_ _ _ _ _
( XY+XY ) ( Z+Z ) +YZX+YZX
_ _ __ _ __
X Y Z +X Y Z+X Y Z+X Y Z + X Y Z + X Y Z
__ __ _ _
X Y Z +X Y Z+X Y Z+X Y Z + X Y Z
6/8
Exemple 2. Expressa la segent funci com un producte de maxtermes:
F=X+YZ
De nou, es pot resoldre construint una taula de veritat o amb manipulaci algebraica.
Forma 1. Sobt la taula de veritat de la funci. Prenent els maxtermes des de la taula de veritat, la
resposta s:
maxtermes
X Y Z F=X+Y Z
0 0 0 0
(X+Y +Z)
0 0 1 1
0 1 0 0
(X+Y +Z)
0 1 1 0
(X+Y +Z)
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Savalua la funci per a totes les combinacions i es prenen els maxtermes de la taula per als quals la
funci val 0.
_ _ _
La resposta s: F = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )
Una altra notaci que podem utilitzar s:
F= M(0, 2, 3)
X+YZ
_
( X + Y ) ( X+ Z )
_ _ _
( X + Y + Z Z ) (X + Z + Y Y )
_ _ _ _
( X + Y + Z ) ( X + Y + Z ) ( X + Z + Y )( X + Z + Y )
_ _ _ _
( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )( X + Y + Z )
_ _ _
( X + Y + Z ) ( X + Y + Z ) (X + Y + Z)
_ _ _
( X + Y + Z ) ( X + Y + Z ) (X + Y + Z)
7/8
Observa la simetria que existeix entre la suma de productes i el producte de sumes duna expressi. Si
mi s el minterme per a la combinaci i, i Mi s el maxterme.
mi = Mi
Per a convertir duna forma cannica a una altra sintercanvien els signes i i es reemplacen els
nombres corresponents a les combinacions no incloses en la forma original. Per exemple:
M(2, 4, 6) = m(0, 1, 3, 5, 7)
Una altra manera important dexpressar expressions booleanes s la forma normal. T la mateixa
estructura bsica suma de productes o producte de sumes, per no es requereix que els termes siguen
mintermes o maxtermes.
Exercicis
2. Obt les formes canniques suma de productes i productes de suma per a les expressions anteriors.
8/8