Está en la página 1de 7

81,0(7

!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#

   
      

*8,$$/*(%5$'(%22/(

En 1854 George Boole introdujo una notacin simblica para el tratamiento de variables cuyo valor podra
ser verdadero o falso (variables binarias) As el lgebra de Boole nos permite manipular relaciones
proposicionales y cantidades binarias. Aplicada a las tcnicas digitales se utiliza para la descripcin y
diseo de circuitos mas econmicos. Las expresiones booleanas sern una representacin de la funcin
que realiza un circuito digital. En estas expresiones booleanas se utilizarn las tres operaciones bsicas
(AND, OR NOT) para construir expresiones matemticas en las cuales estos operadores manejan
variables booleanas (lo que quiere decir variables binarias).
(/(0(1726'(//*(%5$'(%22/(
No es objeto de este curso un anlisis profundo y formal de los postulados y teoremas del Algebra de
Boole
Los smbolos elementales son:
0: representativo de FALSO
1: representativo de VERDADERO
Las operaciones fundamentales son:
Conjuncin u operacin AND (se representa con )
Disyuncin u operacin OR (se representa con + )

Complementacin, Negacin u operacin NOT ( se representa con una barra sobre la variable, X
Las variables son las proposiciones, que se representan o simbolizan por letras

32678/$'26
Los postulados para las tres operaciones bsicas, AND, OR Y NOT, son suficientes para deducir
cualquier relacin boleana.





7(25(0$6/*(%5$'(%22/(

COMPLEMENTO

ADICION

MULTIPLICACION

0 =1

0+0=0

00=0

0+1=1

01=0

1+0=1

10=0

1+1=1

11=1

1=0

5(*/$'(/&(52</$81,'$'
a) 0 + X = X
b) 1 + X = 1

c) 0X = 0
d) 1X = X

a) X + X = X

b) XX = X

,'(0327(1&,$2327(1&,$6,*8$/(6
&203/(0(17$&,21

a) X + X = 1

 

b) XX = 0

81,0(7

!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#

   
      

,192/8&,1

X =X

&21087$7,9,'$'
a) X + Y = Y + X Conmutatividad del +
b) X Y = Y X Conmutatividad del
$62&,$7,9,'$'
a) X + ( Y + Z ) = ( X + Y ) + Z = X + Y + Z
b) X ( Y Z ) = ( X Y ) Z = X Y Z

Asociatividad del +
Asociatividad del

',675,%8,7,9,'$'
a) X + YZ = ( X + Y ) ( X + Z )
b) X ( Y + Z ) = XY + XZ

Distribuitvidad del +
Distribuitividad del

/(<(6'($%625&,21
a) X ( X + Y ) = X
b) X ( X + Y ) = X Y

e) X + XY = X
f) X + XY = X + Y

d) ( X + Y ) ( X + Y ) = X

h) XY + XY = X

c) X ( X + Y ) = X Y

g) X + XY = X + Y

7(25(0$6'('(025*$1
a) XY = X + Y

b) X + Y = X Y

c) X Y = X + Y

d) X + Y = X Y

'XDOLGDG
Los postulados y teoremas presentados anteriormente estn representados en pares. La razn es que
cada teorema posee lo que llamamos un dual. El dual de una expresin se obtiene intercambiando las
ocurrencias de OR por AND, 0 por 1 y viceversa.. Si un teorema es valido, tambin lo ser su dual, En
efecto siguiendo el dual de la demostracin del teorema, se obtiene la demostracin del dual del teorema.

Por ejemplo dado el postulado 0+0 = 0 se obtiene el dual haciendo 11 = 1

3UREOHPDV
1. Demuestre las 8 leyes de absorcin utilizando algebra de Boole
2. Demuestre los 4 Teoremas de De Morgan utilizando tablas de verdad


 

ver respuesta
ver respuesta

81,0(7

!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#

   
      

En clase se utilizaran los postulados y teoremas del lgebra de Boole para minimizar funciones
booleanas. La simplificacin de estas funciones con el uso de lgebra de Boole es un "arte". No existe un
algoritmo que uno pueda seguir para garantizar que el resultado llegue a dar la forma mas simple de
expresin mnima. Como en el juego del ajedrez, con la practica se va aprendiendo a reconocer patrones
que nos guan hacia la solucin.
Una pregunta importante que tenemos que hacernos es la de que es simplificacin? Una expresin
con menos literales? una expresin con menos operaciones? La respuesta depende de lo que
deseamos optimizar, velocidad? numero de interconexiones entre compuertas? numero de
componentes?
Antes de proceder a detallar la forma de minimizar expresiones estudiaremos las diferentes
representaciones de las funciones booleanas.
5(35(6(17$&,1'()81&,21(6%22/($1$6
Existen infinitas maneras de representar una funcin booleana. As por ejemplo la funcin G = X + Y Z
puede tambin representarse como G = X + X + YZ.
Otras veces se suele utilizar la forma negada o el complemento de la funcin. Para esto es se niegan los
literales y se intercambian los AND y OR.
Por ejemplo, el complemento de: A + B C
Es: A ( B + C )
El complemento de una funcin no es la misma funcin, es la forma negada de la funcin.
En el lgebra de Boole es fundamental la existencia de una forma algebraica que proporcione
explcitamente el valor de una funcin para todas las combinaciones de los valores de las variables. Es
esta la forma cannica de la funcin.
Veamos antes algunos conceptos.
'(),1,&,21(6
/LWHUDO: se refiere a una variable o a su complemento (por ej. A, X, X )
WHUPLQRSURGXFWR: es un grupo de literales que se encuentran relacionados entre si por un AND
(por ej. AB, CA, X YZ ) 
WHUPLQRVXPD: es un grupo de literales que se encuentran relacionados entre si por un OR
(por ej. A+B, C+A, X +Y+Z )
WHUPLQR QRUPDO: termino producto o termino suma en el que un literal no aparece mas de una vez

 

81,0(7

!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#

   
      

WHUPLQR cannico: termino en el que se encuentra exactamente uno de cada uno de los literales de la
funcin. Si el termino cannico es un producto, se denominar PLQWHUPLQR Si es una suma se
denominar PD[WHUPLQR

IRUPD QRUPDO GH XQD IXQFLyQ: es la que est constituida por trminos normales. Puede estar en la
forma suma de trminos productos o productos de trminos sumas.
IRUPD FDQyQLFD GH XQD IXQFLyQ: es aquella constituida exclusivamente por trminos cannicos que
aparecen una sola vez.
)RUPDFDQyQLFDGHIXQFLRQHVERROHDQDV
La importancia de la forma cannica estriba en el hecho de ser UNICA. Como vimos anteriormente una
funcin puede tener infinidad de representaciones, pero solo una representacin en forma cannica.
Existen dos formas cannicas de una funcin: Suma De Productos o Producto de Sumas. (Tambin de
una manera mas formal Suma de minterminos o Producto de maxterminos)
Para obtener algebraicamente la forma cannica de una funcin podemos utilizar los teoremas de
expansin cannica:
7HRUHPD : Para obtener la forma cannica de una funcin suma de productos se multiplicar por un
termino de la forma (X + X ) donde falte un literal para que el termino sea cannico.
7HRUHPD Para obtener la forma cannica de una funcin producto de sumas se sumar un termino de

la forma X X donde falte un literal para que el termino sea cannico.


)RUPDFDQyQLFDVXPDGHSURGXFWRV

Es aquella constituida exclusivamente por trminos cannicos productos (minterminos) sumados que
aparecen una sola vez.
Por ejemplo

F(X, Y, Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z 

Para simplificar la escritura en forma de suma cannica de productos, se utiliza una notacin especial. A
cada mintermino se le asocia un numero binario de n bits resultante de considerar como 0 las variables

complementadas y como 1 las variables no complementadas. As por ejemplo el mintermino X Y Z


corresponde a combinacin X=0, Y=0, Z=1 que representa el numero binario 001, cuyo valor decimal es
1. A este mintermino lo identificaremos entonces como m1.
De esta forma, la funcin

F(X, Y, Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z

se puede expresar como: F(X,YZ) =


1,4,5,6,7

 

m(1, 4,5,6,7)

que quiere decir la sumatoria de los minterminos

81,0(7

IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
< = >? @ A BCD= >E>F G BC G H CH

)RUPDFDQyQLFDSURGXFWRGHVXPDV

Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) multiplicados que
aparecen una sola vez.

)(

Por ejemplo F(X, Y, Z) = (X + Y + Z ) X + Y + Z X + Y + Z



Anlogamente al caso anterior, podemos simplificar la expresin de la funcin, indicando los
maxterminos. Sin embargo, en este caso se hace al contrario de antes. A cada maxtermino se le asocia
un numero binario de n bits resultante de considerar como 1 las variables complementadas y como 0 las
variables no complementadas. As por ejemplo el maxtermino X + Y + Z corresponde a combinacin
X=1, Y=0, Z=0 que representa el numero binario 100, cuyo valor decimal es 4. A este maxtermino lo
identificaremos entonces como M4.

)(

De esta forma la funcin F(X, Y, Z) = (X + Y + Z ) X + Y + Z X + Y + Z


se puede expresar como: F(X,YZ) =

PM(0,2,3) que quiere decir el producto de los maxterminos 0,2,3

En resumen, cada mintermino se asocia con la


combinacin de entrada para la que la funcin
producira un 1, y cada maxtrmino con la
combinacin para la que producira un 0.
En la tabla de la derecha se muestran los
minterminos y los maxterminos asociados con
cada combinacin en una tabla de verdad de 3
variables. De acuerdo con esta tabla para
determinar el termino producto o suma se hace lo
siguiente: para los minterminos cada variable no
complementada se asocia con un 1 y cada
variable complementada se asocia con 0. Para los
maxtrminos la regla es la inversa.

Valor
decimal
0

XYZ

Mintermino

Maxtermino

000

X Y Z = m0

X + Y + Z = M0

001

010

011

100

101

110

111

X Y Z = m1

X + Y + Z = M1

X Y Z = m2

X + Y + Z = M2

X Y Z = m4

X + Y + Z = M4

X Y Z = m3
X Y Z = m5
X Y Z = m6
X Y Z = m7

X + Y + Z = M3
X + Y + Z = M5
X + Y + Z = M6
X + Y + Z = M7

Ejemplo 1. Exprese la siguiente funcin como una suma de minterminos: F = X + Y Z


Hay dos formas de resolver este problema.

)RUPD6HSXHGHREWHQHUODWDEODGHYHUGDGGHODH[SUHVLyQ\HQWRQFHVWRPDUORVPLQWHUPLQRV.

Mintermino

F = X+ YZ
0

0
0

1
1

0
1

0
0

X Y Z = m1

678 9:

X Y Z = m4

X Y Z = m5
X Y Z = m6
X Y Z = m7

Se evala la funcin para todas las combinaciones y se


toman los minterminos de la tabla para los cuales la funcin
vale 1.
La respuesta es
F(X, Y, Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
Otra notacin que podemos utilizar es:

F=

m(1, 4,5,6,7)

que quiere decir la sumatoria de los minterminos 1,4,5,6,7

81,0(7

IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
< = >? @ A BCD= >E>F G BC G H CH

)RUPD$SOLFDQGRORVWHRUHPDVGHH[SDQVLyQFDQyQLFDSDUDODVYDULDEOHVIDOWDQWHV
X + YZ

X (Y + Y ) ( Z + Z ) + Y Z (X + X )

X (X Y + X Y ) ( Z + Z ) + Y Z X + Y Z X
XYZ+ XYZ+ XYZ+ XYZ+ XYZ+ XYZ
XYZ + XYZ + XYZ + XYZ + XYZ

Ejemplo 2. Exprese la siguiente funcin como un producto de maxterminos:


F = X+ YZ

De nuevo, se puede resolver construyendo una tabla de verdad o con manipulacin algebraica.
)RUPD6HREWLHQHODWDEODGHYHUGDGGHODIXQFLyQ7RPDQGRORVPD[WHUPLQRVGHVGHODWDEODGH
YHUGDGODUHVSXHVWDHV

X Y Z F = X+ YZ
0 0 0
0
0 0 1
1

X + Y + Z = M0

0 1 0

X + Y + Z = M2

0 1 1

1
1
1
1

1
1
1
1

0
0
1
1

0
1
0
1

Maxtermino

X + Y + Z = M3

Se evala la funcin para todas las combinaciones y se


toman los maxtermino de la tabla para los cuales la funcin
vale 0.

)(

La respuesta es: F = (X + Y + Z ) X + Y + Z X + Y + Z

Otra notacin que podemos utilizar es:


F=

PM(0,2,3)

que quiere decir el producto de los maxterminos 0,2,3

)RUPD$SOLFDQGRHOWHRUHPDGHH[SDQVLyQFDQyQLFD
X+ YZ

(X + Y ) (X + Z)
(X + Y + Z Z ) (X + Z + Y 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 )

678 9:

81,0(7

IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
< = >? @ A BCD= >E>F G BC G H CH

Note la simetra que existe entre la suma de productos y el producto de sumas de una expresin. Si mi es
el mintermino para la combinacin i, y Mi es el maxtermino.
m i = Mi 

 P

Para convertir de una forma cannica a otra se intercambian los signos


y
y se reemplazan los
nmeros correspondientes a las combinaciones no incluidas el la forma original. Por ejemplo:

PM(2,4,6) = m(0,1,3,5,7)
)RUPDQRUPDOGHIXQFLRQHVERROHDQDV
Otra manera importante de expresar expresiones booleanas es la forma normal. Tiene la misma
estructura bsica suma de productos o producto de sumas, pero no se requiere que los trminos sean
minterminos o maxterminos.
Por ejemplo:
La siguiente es una forma normal suma de productos:
XY + XY Z

La siguiente es una forma normal producto de sumas:


(X + Y) ( X + Z) (Y)

A lo largo de este curso la forma que se utilizar con preferencia ser la de suma de productos.

3UREOHPDV 
1. Dibuje la tabla de verdad para cada una de las siguientes funciones:
3. F = ( X + Y)( X + Z )(X + Z)

1. F = ABC + ABD + A + B + CD

2. F = X Y + X Z + XYZ

4. F = AB( C + D ) + ABC + C D

5. F = (X + Y + Z )( Y + Z)

2.Obtenga las formas cannicas suma de productos y productos de suma para las expresiones anteriores
a) utilizando las tablas de verdad
b) utilizando los teoremas de expansin cannica.

Home

Contenido

Bibliografa

Evaluacin

Clases

Guia

Laboratorio

Problemarios

Notas 

2001 Sandro Costantini

678 9: