Beruflich Dokumente
Kultur Dokumente
1. OBJETIVO
Comprobar, en forma prctica, algunos de los teoremas del algebra de Boole y aplicar el
Principio de Dualidad
Aplicar los teoremas del algebra de Boole en la simplificacin de una funcin logica
2. TRABAJO PRACTICO
a.- Diseo de un circuito lgico que permite verificar el teorema de Redundancia.
X
0
0
0
0
1
1
1
1
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
0
0
0
0
0
1
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
0
0
1
1
0
1
1
1
X Y Z
Z
Y
2.- Cuestionario:
2.1. Haga una breve descripcin terica de los teoremas del lgebra de Boole y su
importancia solucin de problemas digitales.
Algebra de Boole
Definicin.- El lgebra de Boole es una estructura algebraica que puede ser considerada desde
distintos puntos de vista matemticos:
Como retculo
El lgebra de Boole es un retculo (A, , +), donde el conjunto A esta formado por dos elementos
A={0, 1}, como retculo presenta las siguientes propiedades, las leyes principales son estas:
1. Ley de Idempotencia:
2. Ley de Asociatividad:
3. Ley de Conmutatividad:
4. Ley de Cancelativo
Como anillo
El lgebra de Boole tiene Estructura algebraica de Anillo:
Grupo abeliano respecto a (+)
El conjunto A={0,1} es un Grupo abeliano respecto a (+):
Distributivo
El conjunto A={0,1} es un Grupo abeliano respecto a (+) y ( ) y es distributiva:
11. La operacin (+) es distributiva respecto a ( ):
Como resultado podemos decir que el lgebra de Boole tiene Estructura algebraica de anillo
conmutativo y con elemento neutro respecto a las dos operaciones (+) y ( ).
normalmente aunque tambin algunos permiten cambios desde, incluso, caracteres, finalizando
en valor booleano.
El 0 lgico
El valor booleano de negacin suele ser representado como false, aunque tambin permite y
equivale al valor natural, entero y decimal (exacto) 0, as como la cadena "false", e incluso la
cadena "0".
El 1 lgico
lo es
ser
Suma de productos:
Es aquella constituida exclusivamente por trminos cannicos productos (minterminos) sumados
que aparecen una sola vez.
Por ejemplo:
Para simplificar la escritura en forma de suma cannica de productos, se utiliza una notacin
especial. A cada mintermino se le asocia un nmero binario de n bits resultante de considerar
como 0 las variables complementadas y como 1 las variables no complementadas. As por ejemplo
el mintermino
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:
se puede expresar como: F(X,YZ) =
minterminos 1,4,5,6,7
Producto de sumas:
Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) multiplicados
que aparecen una sola vez.
Por ejemplo:
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 nmero binario de n bits resultantes de considerar como 1 las variables
complementadas y como 0 las variables no complementadas. As por ejemplo el maxtermino
'+
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:
se puede expresar como: F(X,YZ) =
0,2,3
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
1
1
1
MINTERMINOS
MAXTERMINOS
2.5. Conclusiones:
Utilizamos los teoremas del algebra Booleana para simplificar expresiones complejas en
ms sencillas de manejar.
2.6. Bibliografa:
http://lasclases.com/CircuitosLogicos/tema5.html
http://lc.fie.umich.mx/~jrincon/elec3-cap4.pdf
http://es.wikipedia.org/wiki/Formas_can%C3%B3nicas_(%C3%A1lgebra_de_Boole)
http://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica
http://soda.ustadistancia.edu.co/enlinea/sistemasdigitales1/algebra_de_boole.html