PRACTICA N 4

DEMOSTRACION DE ALGUNOS TEOREMAS DEL ALGEBRA DE BOOLE

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.

b.- Diseo de un circuito lgico que permite verificar el teorema de Combinacin.

c.- Disee un circuito lgico que permite verificar el teorema de DeMorgan:

d.- Con la funcin:

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

d.1.- Simplificacin y expresin de la funcin resultante con compuertas A-O-N.

X Y Z

d.2.- Simplificacin y expresin de la funcin resultante con compuertas NOR.

X

Z
Y

d.3.- Simplificacin y expresin de la funcin resultante con compuertas NAND.

X
Z

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 (+):

1. (+) es una operacin interna en A:

2. Es asociativa:
3. Tiene elemento neutro
4. Tiene elemento simtrico:
5. es conmutativa:
Grupo abeliano respecto a ()
El conjunto A={0,1} es un Grupo abeliano respecto a ( ):
6. ( ) es una operacin interna en A:
7. Es asociativa:
8. Tiene elemento neutro
9. Tiene elemento simtrico:
10. es conmutativa:

Distributivo
El conjunto A={0,1} es un Grupo abeliano respecto a (+) y ( ) y es distributiva:
11. La operacin (+) es distributiva respecto a ( ):

12. 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 ( ).

Importancia del lgebra Booleana

Se dice que una variable tiene valor booleano cuando, en general, la variable contiene un 0 lgico
o un 1 lgico. Esto, en la mayora de los lenguajes de programacin, se traduce en false (falso) o
true (verdadero), respectivamente.
Una variable puede no ser de tipo booleano, y guardar valores que, en principio, no son
booleanos; ya que, globalmente, los compiladores trabajan con esos otros valores, numricos

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

En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado

normalmente como true, ya que, por definicin, el valor 1 se tiene cuando no es 0. Cualquier
nmero distinto de cero se comporta como un 1 lgico, y lo mismo sucede con casi cualquier
cadena (menos la "false", en caso de ser sta la correspondiente al 0 lgico).
Y por todo esto la algebra de boole es una de las herramientas que nos ayuda a simplificar
funciones Booleanas as poder implementar circuitos digitales con el menor nmero de
compuertas
2.2. Explique en qu consiste la demostracin por induccin completa, y demuestre el
teorema de consenso con este mtodo
Demostraciones por induccin
El razonamiento para demostrar una proposicin cualquiera mediante el esquema del
razonamiento es como sigue. Llamemos
a la proposicin, donde es el rango.
Se demuestra que
, el primer valor que cumple la proposicin (iniciacin de la induccin), es
cierta.
Se demuestra que si se asume
como cierta y como hiptesis inductiva, entonces
tambin, y esto sin condicin sobre el entero natural (relacin de induccin).
Luego, demostrado esto, concluimos por induccin, que
es cierto para todo natural .
La induccin puede empezar por otro trmino que
, digamos por
. Entonces
vlido a partir del nmero , es decir, para todo natural
.

lo es

ser

2.3. Consulte acerca de los trminos Mintermino y Maxterminos.

Existen dos formas bsicas de expresiones cannicas que pueden ser implementadas en dos
niveles de compuertas:

Suma de productos o expansin de minterminos

Producto de sumas o expansin de maxterminos

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

m(1, 4,5,6,7) que quiere decir la sumatoria de los

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

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

2.4. Consulte acerca de las formas Cannicas y normalizadas

Formas normalizadas
Las formas normalizadas son la suma de productos y el producto de sumas.
Estas formas siempre pueden obtenerse mediante la aplicacin de la ley de DeMorgan en el caso
de que hubiera trminos complementados y del postulado correspondiente a la propiedad
distributiva.
Los trminos producto siempre determinan los unos de la funcin y los trminos suma los ceros.
Ejemplos:
f = x(y+z)
g = (abc+bad+(a+b+c)+de)
Forma cannica Disyuntiva o de mintrminos
Mintrmino: trmino producto en el que cada variable aparece una vez y slo una, bien
complementada o sin complementar.
La forma cannica disyuntiva o de mintrminos es una suma compuesta slo de mintrminos.
Existen 2n mintrminos de n variables.
Teorema: Dada una lista completa de los mintrminos de n variables, si a cada una de las n
variables se le asigna el valor 0 o 1, entonces slo un mintrmino de la lista tomar el valor 1 y los
otros el valor 0.
Ejemplo: para 3 variables hay 8 mintrminos que son:
x'y'z, 'x'y'z, x'yz', x'yz, xy'z', xy'z, xyz', xyz
Para xyz=110, slo el mintrmino xyz' toma valor 1, el resto toma el valor 0.
Una funcin puesta como forma cannica disyuntiva sera:
g(x,y,z)= x'y'z'+x'yz'+xyz

2.5. Dada la funcin:

Expresarla usando las definiciones de MINTERMINOS y MAXTERMINOS

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
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.

Comprobamos la equivalencia entre el circuito original y el simplificado.

Transformamos la expresin simplificada en una expresin para ser implementada solo

con NAND.

Comprobamos la equivalencia entre los tres circuitos, quedando as tambin demostrada

la universalidad de compuertas NAND.

2.6. Bibliografa:

Apuntes Ing. Carlos Novillo, Escuela Politcnica Nacional

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