Documente Academic
Documente Profesional
Documente Cultură
!#"%$ &('()%&("%*,+%'.-/)%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.
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
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
F(X, Y, Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
m(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
<= >? @ ABCD= >E>F G BC G H CH
)RUPDFDQyQLFDSURGXFWRGHVXPDV
Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) multiplicados que
aparecen una sola vez.
)(
)(
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
)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
F=
m(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
<= >? @ ABCD= >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
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
)(
La respuesta es: F = (X + Y + Z ) X + Y + Z X + Y + Z
PM(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
<= >? @ ABCD= >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
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
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
678 9: