Documentos de Académico
Documentos de Profesional
Documentos de Cultura
0#
81,0(7
*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
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.
COMPLEMENTO ADICION MULTIPLICACION
0 =1 0+0=0 00=0
1=0
0+1=1 01=0
1+0=1 10=0
1+1=1 11=1
7(25(0$6/*(%5$'(%22/(
5(*/$'(/&(52</$81,'$'
a) 0 + X = X c) 0X = 0
b) 1 + X = 1 d) 1X = X
,'(0327(1&,$2327(1&,$6,*8$/(6
a) X + X = X b) XX = X
&203/(0(17$&,21
a) X + X = 1 b) XX = 0
!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#
81,0(7
,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 Asociatividad del +
b) X ( Y Z ) = ( X Y ) Z = X Y Z Asociatividad del
',675,%8,7,9,'$'
a) X + YZ = ( X + Y ) ( X + Z ) Distribuitvidad del +
b) X ( Y + Z ) = XY + XZ Distribuitividad del
/(<(6'($%625&,21
a) X ( X + Y ) = X e) X + XY = X
b) X ( X + Y ) = X Y f) X + XY = X + Y
c) X ( X + Y ) = X Y g) X + XY = X + Y
d) ( X + Y ) ( X + Y ) = X h) XY + XY = X
7(25(0$6'('(025*$1
a) XY = X + Y c) X Y = X + Y
b) 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.
3UREOHPDV
4
!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#
81,0(7
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?
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.
Es: A ( B + C )
'(),1,&,21(6
WHUPLQR QRUPDO: termino producto o termino suma en el que un literal no aparece mas de una vez
5
!#"%$ &('()%&("%*,+%'.-/)%0#132."!&+!0#
81,0(7
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
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.
se puede expresar como: F(X,YZ) = m(1, 4,5,6,7) que quiere decir la sumatoria de los minterminos
1,4,5,6,7
IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
<= >? @ ABCD= >E>F G BC G H CH
81,0(7
)RUPDFDQyQLFDSURGXFWRGHVXPDV
Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) multiplicados que
aparecen una sola vez.
)RUPD6HSXHGHREWHQHUODWDEODGHYHUGDGGHODH[SUHVLyQ\HQWRQFHVWRPDUORVPLQWHUPLQRV.
Se evala la funcin para todas las combinaciones y se
X Y Z F = X+ YZ Mintermino
toman los minterminos de la tabla para los cuales la funcin
0 0 0 0 vale 1.
0 0 1 1 X Y Z = m1 La respuesta es
0 1 0 0 F(X, Y, Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
0 1 1 0 Otra notacin que podemos utilizar es:
m(1, 4,5,6,7)
1 0 0 1 X Y Z = m4
F=
1 0 1 1 X Y Z = m5
1 1 0 1 X Y Z = m6 que quiere decir la sumatoria de los minterminos 1,4,5,6,7
1 1 1 1 X Y Z = m7
678 9: ;
IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
<= >? @ ABCD= >E>F G BC G H CH
81,0(7
)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
F = X+ YZ
De nuevo, se puede resolver construyendo una tabla de verdad o con manipulacin algebraica.
)RUPD6HREWLHQHODWDEODGHYHUGDGGHODIXQFLyQ7RPDQGRORVPD[WHUPLQRVGHVGHODWDEODGH
YHUGDGODUHVSXHVWDHV
( )(
La respuesta es: F = (X + Y + Z ) X + Y + Z X + Y + Z )
0 0 1 1
0 1 0 0 X + Y + Z = M2
0 1 1 0 X + Y + Z = M3
Otra notacin que podemos utilizar es:
PM(0,2,3)
1 0 0 1
1 0 1 1 F=
1 1 0 1
1 1 1 1 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: V
IJ!K#L%M N(O(P%N(L%J*I,Q%O.R/P%S#T3U.L!NIQ!S#J
<= >? @ ABCD= >E>F G BC G H CH
81,0(7
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
Para convertir de una forma cannica a otra se intercambian los signos y y se reemplazan los P
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:
XY + XY Z
(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
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.
678 9: W