Escuela Politcnica Nacional Laboratorio de Sistemas Digitales Prctica N 4 Demostracin de algunos teoremas del algebra de Boole 1.

Objetivo Comprobar, en forma prctica, algunos teoremas de lgebra de boole y aplicar el principio de dualidad. Aplicar los teoremas del lgebra de Boole en la simplificacin de una funcin lgica.

2. Introduccin Un lgebra de boole es un sistema de elementos B={0,1} y los operadores binarios () y (+) y () efinidos de la siguiente forma a 0 0 1 1 b 0 1 0 1 a+b 0 1 1 1 ab 0 0 0 1 a 0 1 a 1 0

operador + operador or operador operador and operador operador not que cumplen las siguientes propiedades: 1.- propiedad conmutativa: a+b=b+a ab=ba 2. propiedad distributiva: a(b+c) = ab + ac a + bc = (a+b)(a+c) 3. elementos neutros diferentes a+0=a a1=a 4. siempre existe el complemento de a, denominado a a + a = 1 a a = 0 principio de dualidad: cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+) por () y 1 por 0. constante: cualquier elemento del conjunto b variable: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o frmula completa. TEOREMAS DE BOOLE TEOREMA 1: el elemento complemento A es nico. TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:

A+1 = 1 A0 = 0 TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 1=0 TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A AA=A TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A A(A+B)=A TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B) = A B TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: A+(B+C) = (A+B)+C A(BC) = (AB)C LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB (AB) = A + B 3. Informe Circuito Uno. F = XZ+YZ+XYZ = XZ+Y 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 F 0 0 1 1 0 1 1 1

Circuito dos F = XZ+YZ+XYZ = XZ+Y 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 F 0 0 1 1 0 1 1 1

Circuito Tres F = XZ+YZ+XYZ = XZ+Y 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 F 0 0 1 1 0 1 1 1

4. Cuestionario 4.1. Haga una breve descripcin de los teoremas del lgebra de Boole y su importancia en la solucin de los problemas digitales. TEOREMAS DEL ALGEBRA DE BOOLE. TEOREMA 1: el elemento complemento A es nico. TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1 A0 = 0 TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 1=0 TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A AA=A TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A A(A+B)=A TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B) = A B TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: A+(B+C) = (A+B)+C A(BC) = (AB)C LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB (AB) = A + B La relacin que existe entre la lgica booleana y los sistemas digitales es fuerte debido a que para cada funcin booleana es posible disear un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los operadores AND, OR y NOT podemos construir nuestros circuitos utilizando exclusivamente stos operadores utilizando las compuertas lgicas con esto. Algo importante es que es posible implementar cualquier circuito electrnico utilizando una sola compuerta, sta es la compuerta NAND

4.2. Explique en qu consiste la demostracin por induccin completa, y demuestre el teorema de consenso con este mtodo La demostracin por induccin consiste en comprobar que el teorema se cumple comprobando que es cierto para todas las posibles combinaciones de valores de las variables implicadas en el mismo.

 Este mtodo normalmente es inviable a la hora de probar teoremas con nmeros enteros o reales, pero es sencillo para hacer lo propio en lgebra de Boole, ya que sta maneja slo dos valores diferentes. La demostracin por induccin perfecta consiste en calcular la tabla de verdad de la expresin booleana del teorema. Teorema del consenso. ac 0 1 0 1 0 0 0 0

a 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

c 0 1 0 1 0 1 0 1

ab 0 0 0 0 0 0 1 1

ac 0 1 0 1 0 0 0 0

bc 0 0 0 1 0 0 0 1

F 0 1 0 1 0 0 1 1

a 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

c 0 1 0 1 0 1 0 1

ab 0 0 0 0 0 0 1 1

F 0 1 0 1 0 0 1 1

Demostrado por Tabla de verdad a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 a+b 0 0 1 1 1 1 1 1 a+c 1 1 1 1 0 1 0 1 b+c 0 1 1 1 0 1 1 1 F 1 1 1 1 1 1 1 1 a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 a+b 0 0 1 1 1 1 1 1 a+c 1 1 1 1 0 1 0 1 F 1 1 1 1 1 1 1 1

Demostrado por Tabla de verdad. 4.3. Consulte acerca de los MINTRMINOS y MAXTRMINOS Minterms Son funciones que valen 1 para una nica combinacin de valores de sus variables Su expresin algebraica es un producto donde aparecen todas las variables

Maxterms Son funciones que valen 0 para una nica combinacin de valores de sus variables Su expresin algebraica es una suma donde aparecen todas las variables

4.4. Consulte acerca de las formas cannicas y normalizadas La tabla de verdad de una funcin booleana es nica. Una funcin booleana dada tiene mltiples representaciones algebraicas, todas ellas equivalentes entre s (las obtendramos aplicando los teoremas del lgebra de Boole). Formas cannicas, formas normales o formas estndares de una funcin booleana: expresiones booleanas equivalentes de la funcin que cumplen determinadas caractersticas: Primera forma cannica: funcin lgica = suma de minitrminos. Segunda forma cannica: funcin lgica = producto de maxitrminos. Formas normalizadas Son formas que responden al esquema de suma de productos o producto de sumas Suelen tener menor nmero de operaciones que las formas cannicas Para una funcin algebraica concreta, es de menos operaciones siguiendo esos mismos esquemas Pueden existir varias formas normalizadas para una misma funcin Literal: unidad que se refiere a una variable o su invertida Suma de productos:

Es una suma de distintos trminos, donde en todos ellos se realiza exclusivamente el producto de distintos literales

Producto de sumas: Es un producto de distintos trminos, donde en cada uno de ellos se realiza exclusivamente la suma de distintos literales

4.5. Dada la funcin: F = XYZ + XYZ + XYZ Expresarla usando MAXTRMINOS las definiciones de MINTRMINOS y

F expresada como mintrminos quedara de la misma forma: = + + En donde: 111 110 101 Trasladando esto a la tabla de verdad, y completando con ceros el resto de combinaciones: 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 F 0 0 0 0 0 1 1 1

Se tiene entonces que F en Maxtrminos sera: + )( + + )( + + ) = ( + + )( + + )( +

5. Conclusiones Katherine Quinatoa Ronny De La Bastida En la prctica correspondiente pudimos comprobar algunos teoremas del algebra de boole que en lo que respecta a sistemas digitales son muy importantes saber y demostrarlos para tener un conocimiento ms avanzado sobre ellos y as poder usarlos como ayuda para la construccin de nuestros circuitos digitales as como simplificaciones mediante teoremas de consenso, dualidad, asociacin, etc. Los diferentes teoremas del algebra de boole nos ayudan a simplificar y disear los diferentes circuitos mediante compuertas universales o compuertas bsicas. Como lo vimos la utilidad del algebra de boole es ayudarnos a demostrar que nuestros circuitos pueden ser construidos con compuertas universales como son la nand y la nor. Esta aplicacin es muy til debido a que usamos menos material, es ms barato, ayudamos a simplificar circuitos enormes en trminos de expresin y adems podemos reducir en tamao fsico nuestros diseos. Alex Satian

6. Bibliografa http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf http://dac.escet.urjc.es/docencia/ETC-ITIG_LADE/teoriacuat1/tema5_introduccion_sistemas_digitales.2xcara.pdf http://www.ulpgc.es/hege/almacen/download/7054/7054433/03algebra.pdf