Algebra Boo Le

Tema 5: lgebra de Boole Funciones Lgicas
Escuela Politcnica Superior Ingeniera Informtica Universidad Autnoma de Madrid
Escuela Politcnica Superior
lgebra de Boole. Funciones Lgicas

O B J E T I V O S Conocer el lgebra de Boole, sus teoremas y las funciones lgicas
TEMA 5: LGEBRA DE BOOLE. FUNCIONES LGICAS
5.1 Variables Lgicas Variables y funciones lgicas. Teoremas del lgebra booleana. Funciones lgicas bsicas. 5.2 Funciones Lgicas Forma cannica de una funcin lgica. Maxterms y Minterms. Simplificacin de funciones. Diagramas de Karnaugh.
Comprender su aplicacin a los circuitos digitales
Bibliografa Tema 5: - Fundamentos de Sistemas Digitales. T. L. FLOYD. (Prentice Hall, 2000). Caps. 1, 3 y 4.
- Los circuitos electrnicos se dividen en dos categoras: digitales y analgicos. - La electrnica digital utiliza magnitudes digitales que toman valores discretos. - La electrnica analgica emplea magnitudes analgicas que toman valores continuos. - En las aplicaciones electrnicas, los datos digitales se pueden procesar de forma ms fiable que los datos analgicos. Cuando es necesario su almacenamiento, el ruido (fluctuaciones de tensin no deseadas) no afecta a las seales digitales tanto como a las seales analgicas.
Magnitudes Analgicas y Digitales
Grfica de una funcin analgica (temperatura en funcin del tiempo)
Representacin de los valores muestreados (cuantificacin) de la magnitud analgica temperatura. Cada valor representado por un punto puede digitalizarse, representndolo como un cdigo digital que consta de una serie de 1s y 0s. 3
Seales Digitales
- La informacin binaria que manejan los sistemas digitales aparece en forma de seales digitales que representan secuencias de bits. - Cuando la seal est a nivel ALTO, se representa con 1 binario, mientras que si la seal est a nivel BAJO, lo indica un 0 binario. - Cada bit dentro de una secuencia ocupa un intervalo de tiempo definido denominado periodo del bit. - En los sistemas digitales, todas las seales se sincronizan con una seal de temporizacin bsica de reloj. - El reloj es una seal peridica en la que cada intervalo entre impulsos (el periodo) equivale a la duracin de 1 bit.
Ejemplo de una seal de reloj sincronizada con la seal A
Variable Lgica
Variables y Funciones Lgicas
Funciones Lgicas
- Representa un suceso o magnitud que toma valores entre dos posibles. - Los dos valores son excluyentes entre ellos. - Los dos valores se expresan mediante proposiciones. - Las proposiciones se pueden clasificar como verdaderas o como falsas. - Cuando se combinan proposiciones se forman funciones lgicas o proposiciones lgicas. - Por ejemplo: si la bombilla no est fundida y el interruptor est dado, la luz est encendida. - Las dos primeras proposiciones son las condiciones de las que depende la proposicin la luz est encendida. sta es cierta slo si las dos primeras lo son. - Por tanto, una funcin lgica calcula el valor de una variable (dependiente) a partir de otra u otras variables (independientes).
Escuela Politcnica Superior 5
Variables y Funciones Lgicas
lgebra de Boole
- Hacia 1850, el matemtico y lgico irlands George Boole (18511864), desarroll un sistema matemtico para formular proposiciones lgicas con smbolos, de manera que los problemas pueden ser escritos y resueltos de una forma similar al lgebra tradicional. - El lgebra de Boole se aplica en el anlisis y el diseo de los sistemas digitales. - Una variable booleana es cualquier smbolo que en un instante determinado slo puede tomar uno de dos valores: 0 y 1. - Existen varios tipos de circuitos lgicos que se utilizan para implementar funciones lgicas u operaciones lgicas. Estos circuitos son los elementos bsicos que constituyen los bloques sobre los que se construyen sistemas digitales ms complejos, como por ejemplo una computadora.
Funciones Lgicas
Operaciones Lgicas
- Las operaciones lgicas pueden representarse a travs de smbolos grficos y de tablas de verdad.
Smbolos de las operaciones lgicas bsicas
- Las lneas conectadas a la izquierda de cada smbolo son las entradas (input) y las lneas a la derecha son las salidas (output).
Tablas de verdad de las operaciones lgicas bsicas
A 1 0
X 0 1
A 0 0 1 1
B 0 1 0 1
X 0 0 0 1
A 0 0 1 1
B 0 1 0 1
una salida
X 0 1 1 1
- El funcionamiento de las puertas, operaciones y funciones lgicas se describe con las tablas de verdad. - Son representaciones tabulares que especifican la salida de la puerta o funcin lgica para todas las posibles combinaciones 7 de entradas.
NOT
AND con dos entradas y

una salida
OR con dos entradas y
Operaciones Lgicas
Puertas Lgicas
- Puertas Lgicas: circuitos que aceptan valores lgicos a la entrada y producen valores lgicos a la salida. Un circuito que realiza una operacin lgica determinada (NOT, AND, OR) se llama puerta lgica. - Lgica Combinatoria: cuando en un circuito lgico el estado de las salidas depende slo del estado de las entradas, es decir combinaciones de diferentes valores lgicos a la entrada de un circuito lgico hacen que aparezcan distintos valores lgicos a la salida. En este curso se tratar la Lgica Combinatoria. - Lgica Secuencial: si el estado de la salida depende del estado de las entradas y tambin del estado anterior del circuito. Esta lgica no se tratar en este curso.
Puertas Lgicas
Puerta Amplificador Puerta NOT o Inversor Puerta AND Puerta OR Puerta NAND Puerta NOR Puerta XOR Puerta XNOR
Realiza la operacin denominada amplificacin.
Puerta Amplificador
Mantiene un nivel lgico de una entrada (A) en la salida (X). En trminos de bits mantiene: - Un 1 por un 1. - Un 0 por un 0. Se utiliza para retrasar la transmisin de una seal lgica y para distribuir la seal de salida a ms componentes que la seal original. Smbolo lgico estndar:
A
X
10
Puerta Amplificador
Tabla de verdad: A 1 0 X 1 0
Ecuacin Lgica: X = A
Puerta NOT o Inversor

Realiza la operacin denominada inversin o complementacin. Cambia el nivel lgico al nivel opuesto. En trminos de bits cambia:
Un 1 por un 0. Un 0 por un 1.
12
Puerta NOT: Smbolo y Funcionamiento

Smbolo lgico estndar:
Funcionamiento:
Cuando la entrada est a nivel BAJO, la salida est a nivel ALTO. Cuando la entrada est a nivel ALTO, la salida est a nivel BAJO.
13
Puerta NOT: Tabla de Verdad y Diagrama de Tiempos

Tabla de verdad:
Entrada A 0 1 Salida 1 0
Diagrama de tiempos:
Una grfica que representa de forma precisa las relaciones de dos o ms formas de onda en funcin del tiempo.
14
Puerta NOT: Ecuacin Lgica

En el lgebra booleana, una variable se designa mediante una letra. Las variables pueden tomar dos valores: 1 y 0. El complemento de una variable se designa mediante una barra encima de la letra. Si una variable dada es 1, su complemento es 0, y viceversa Ecuacin lgica:
X=
Puerta NOT: Ejemplo de Aplicacin

Un circuito que genera el complemento a 1 de un nmero binario de 8 bits:
Los bits del nmero binario se aplican a las entradas del inversor. El complemento a 1 del nmero se presenta en las salidas.
16
Puerta AND
La puerta AND es una de las puertas bsicas con la que se construyen todas las funciones lgicas. Tiene dos o ms entradas y una nica salida. Realiza la operacin que se conoce como multiplicacin lgica. Smbolo lgico estndar:
17
Puerta AND: Funcionamiento

En una puerta AND de dos entradas:
La salida AB es un nivel ALTO si A y B estn a nivel ALTO. La salida AB es un nivel BAJO si:
A es un nivel BAJO B es un nivel BAJO o si A y B estn a nivel BAJO
18
Puerta AND: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1 Entrada B 0 1 0 1 Salida X=AB 0 0 0 1
19
Puerta AND: Diagrama de Tiempos

A B X
20
Puerta AND: Ecuacin Lgica

La ecuacin lgica AND de dos variables se representa:
Colocando un punto entre las dos variables: AB Escribiendo las letras juntas sin el punto: AB
La multiplicacin booleana sigue las mismas reglas bsicas que la multiplicacin binaria:
00 = 0 01 = 0 10 = 0 11 = 1
Ecuacin lgica o expresin booleana:

X = AB
X = AB
21
Puerta AND: Mltiples Entradas

Se utilizan nuevas letras para cada variable de entrada.
22
Puerta AND: Ejemplo de Aplicacin

Un sistema de alarma para el cinturn de seguridad:
Si el interruptor de puesta en marcha est activado y el cinturn est desabrochado, durante 30 segundos:
Se produce una alarma audible.
23
Puerta OR
Es otra de las puertas bsicas con las que se construyen todas las funciones lgicas. Tiene dos o ms entradas y una nica salida. Realiza la operacin que se conoce como suma lgica. Smbolo lgico estndar:
24
Puerta OR: Funcionamiento

En una puerta OR de dos entradas:
La salida es un nivel ALTO si cualquiera de las entradas, A o B, o ambas, estn a nivel ALTO. La salida es un nivel BAJO si ambas entradas, A y B, estn a nivel BAJO.
25
Puerta OR: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1
Entrada B 0 1 0 1
Salida X=A+B 0 1 1 1
26
Puerta OR: Diagrama de Tiempos

27
Puerta OR: Ecuacin Lgica

La ecuacin lgica OR de dos variables se representa:
Colocando un + entre las dos variables: A+B
La suma booleana es similar a la suma binaria, con la excepcin de que no existe acarreo:
0+0=0 0+1=1 1+0=1 1+1=1
Ecuacin lgica o expresin booleana:

X = A+B
28
Puerta OR: Mltiples Entradas

Se utilizan nuevas letras para cada variable de entrada.
X=A+B+C+D
29
Puerta OR: Ejemplo de Aplicacin

Sistema de alarma y deteccin de intrusin. Genera una alarma cuando la puerta o las ventanas estn abiertas.
30
Puerta NAND
Es un elemento lgico popular debido a que se puede utilizar como puerta universal:
Se pueden combinar para implementar las operaciones de las puertas AND, OR y del Inversor.
El trmino NAND es una contraccin de NOTAND e implica:

Una funcin AND con la salida complementada (negada).

Puerta NAND: Funcionamiento

En una puerta NAND de dos entradas:
La salida es un nivel BAJO, si las entradas A y B estn a nivel ALTO. La salida es un nivel ALTO, si A o B estn a nivel BAJO o si ambas, A y B, estn a nivel BAJO.
Es la operacin opuesta a la operacin lgica AND.
32
Puerta NAND: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1
Entrada B 0 1 0 1
Salida X 1 1 1 0
33
Puerta NAND: Diagrama de Tiempos

34
Puerta NAND: Equivalencia con Negativa-OR

Se puede usar para realizar la operacin OR que requiere una o ms entradas a nivel BAJO, para generar una salida a nivel ALTO. Este modo de operacin se denomina Negativa-OR. El trmino negativa significa que las entradas se definen para que su estado activo o verdadero sea un nivel BAJO.
35
Puerta NAND: Ecuacin Lgica

La ecuacin lgica NAND de dos variables se representa:
Las dos variables de entrada, A y B, se multiplican (AND) primero y luego se complementan AB.
La operacin booleana que se obtiene sera: 00 = 0 = 1 01 = 0 = 1 10 = 0 = 1 11 = 1 = 0 X = AB X = A .B
Ecuacin lgica:
36
Puerta NAND: Ejemplo de Aplicacin

Un emisor de luz (LED) permanece encendido mientras el nivel de dos tanques sea superior a un 25%
37
Puerta NOR
Al igual que la puerta NAND, es un elemento lgico til porque tambin se puede emplear como puerta universal:
Se pueden usar combinadas para implementar las operaciones AND, OR y del Inversor.
El trmino NOR es una contraccin de NOT-OR e implica:

Una funcin OR con la salida complementada (negada).
38
Puerta NOR: Funcionamiento

En una puerta NOR de dos entradas:
La salida es un nivel BAJO, si cualquiera de sus entradas A o B est a nivel ALTO, o si ambas entradas A y B estn a nivel ALTO. La salida es un nivel ALTO, si A y B estn a nivel BAJO.
Es la operacin opuesta a la operacin lgica OR.
39
Puerta NOR: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1
Entrada B 0 1 0 1
Salida X 1 0 0 0
40
Puerta NOR: Diagrama de Tiempos

41
Puerta NOR: Equivalencia con Negativa-AND

Se puede usar para realizar la operacin AND cuyas entradas estn a nivel BAJO y generan una salida a nivel ALTO. Este modo de operacin se denomina NegativaAND.
42
Puerta NOR: Ecuacin Lgica

La ecuacin lgica NOR de dos variables se representa:
Las dos variables de entrada, A y B, primero se suman (OR) y luego se complementan: A+B.
La operacin booleana que se obtiene sera: 0+0 = 0 = 1 0+1 = 1 = 0 1+0 = 1 = 0 1+1 = 1 = 0 X = A+B
43
Ecuacin lgica:
Puerta NOR: Ejemplo de Aplicacin

Controlar que los trenes de aterrizaje de un avin se encuentran desplegados. Cuando un tren de aterrizaje se extiende, el sensor correspondiente genera una tensin a nivel BAJO. Una salida a nivel ALTO enciende el LED verde. Una salida a BAJO nivel enciende el LED rojo.
44
Puertas XOR y XNOR

Las puertas OR-exclusiva (XOR) y NORexclusiva (XNOR) se forman mediante la combinacin de otras puertas ya vistas. Debido a su importancia fundamental en muchas aplicaciones, estas puertas se tratan como elementos lgicos bsicos con su propio smbolo nico.
45
Puerta XOR
La puerta XOR tiene slo dos entradas. Smbolo lgico estndar:
46
Puerta XOR: Funcionamiento

La salida es un nivel ALTO si:
la entrada A est a nivel BAJO y la entrada B est a nivel ALTO o si la entrada A est a nivel ALTO y la entrada B est a nivel BAJO.
La salida es un nivel BAJO si tanto A como B estn ambas a nivel ALTO o BAJO.
47
Puerta XOR: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1
Entrada B 0 1 0 1
Salida X 0 1 1 0
48
Puerta XOR: Diagrama de Tiempos

49
Puerta XOR: Ejemplo de Aplicacin

Se puede utilizar como sumador de dos bits.
50
Puerta XOR: Equivalencia Se puede sustituir por la combinacin de puertas AND, OR y NOT. Ecuacin lgica equivalente:
A B = AB + AB
51
Puerta XNOR
La puerta XNOR, al igual que la XOR, slo tiene dos entradas. Smbolo lgico estndar:
52
Puerta XNOR: Funcionamiento

La salida es un nivel BAJO si:
la entrada A est a nivel BAJO y la entrada B est a nivel ALTO o si la entrada A est a nivel ALTO y la entrada B est a nivel BAJO.
La salida es un nivel ALTO, si tanto A como B estn ambas a nivel ALTO o BAJO. Es la operacin opuesta a la operacin lgica XOR.
53
Puerta XNOR: Tabla de Verdad

Tabla de verdad:
Entrada A 0 0 1 1
Entrada B 0 1 0 1
Salida X 1 0 0 1
54
Puerta XNOR: Diagrama de Tiempos

55
Puertas Lgicas Integradas

Existen varias tecnologas de circuitos integrados digitales que se usan para implementar las puertas lgicas bsicas. Las ms extendidas: Para aplicaciones ms especializadas: La funcin de las puertas lgicas bsicas es la misma independientemente de la tecnologa de circuitos integrados que se utilice.
CMOS TTL ECL
Puertas Lgicas Integradas: Caractersticas

CMOS (Complementary Metal-Oxide Semiconductor) se implementa con un tipo de transistor de efecto de campo. TTL (Transistor-Transistor Logic) se implementa mediante transistores bipolares. ECL (Emitter-Coupled Logic) tambin se implementa mediante la tecnologa bipolar.
57
Puertas Lgicas Integradas: CMOS y TTL

CMOS y TTL slo difieren en el tipo de componentes de circuito y los valores de los parmetros, y no en las operaciones lgicas bsicas. Una puerta AND CMOS realiza la misma operacin lgica que una puerta AND TTL. La diferencia entre ambas se encuentra en las caractersticas de funcionamiento, tales como:
La velocidad de conmutacin (retardo de propagacin). La disipacin de potencia. La inmunidad al ruido.
CMOS
Es la tecnologa utilizada en los circuitos de gran escala de integracin y microprocesadores. Es la ms popular en la actualidad. Su mayor ventaja reside en ofrecer mucha menor disipacin de potencia.
59
TTL
Es una tecnologa de circuitos integrados muy popular. Su mayor ventaja reside en las grandes velocidades de conmutacin. Tambin ofrece una enorme variedad de dispositivos.
60
Tipos de Puertas Lgicas Integradas

Todas las operaciones lgicas bsicas: NOT, AND, OR, NAND, NOR y XOR estn disponibles en las tecnologas de circuitos integrados. Los tipos de configuraciones de puerta normalmente disponibles en los circuitos integrados se indican mediante los dos o tres dgitos finales de la designacin de la serie. Por ejemplo 74LS04 es un circuito integrado inversor sxtuple Schottky, de baja potencia de la serie bsica TTL. Algunas configuraciones de puertas lgicas habituales y sus dgitos de identificacin estndar son:
Cudruple NAND de dos entradas: 00 Cudruple NOR de dos entradas: 02 Inversor sxtuple: 04 Cudruple AND de dos entradas: 08 Triple NAND de tres entradas: 10 Triple AND de tres entradas: 11 Doble NAND de cuatro entradas: 20 Doble AND de cuatro entradas: 21 Triple NOR de tres entradas: 27 NAND de ocho entradas: 30 Cudruple OR de dos entradas: 32 Cudruple XOR de dos entradas: 86 NAND nica de trece entradas: 133
61

Diagramas de configuracin de los pines para algunas de las configuraciones de puertas integradas ms comunes
62

Encapsulados tpicos DIP y SOIC con sus dimensiones bsicas y la numeracin de los pines
63
lgebra de Boole
El lgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lgicos. Se puede considerar las matemticas de los sistemas digitales. Operaciones bsicas:
Adicin booleana. Multiplicacin booleana.
Adicin Booleana
La suma booleana es equivalente a la operacin OR:
Un trmino suma es igual a 1 cuando uno o ms de sus literales es un 1. Un trmino suma es igual a 0 si y slo si cada uno de sus literales es 0.
65
Multiplicacin Booleana
La multiplicacin booleana es equivalente a la operacin AND:
Un trmino producto es igual a 1 si y slo si cada uno de sus literales es un 1. Un trmino producto es igual a 0 si uno o ms de sus literales es 0.
66
Leyes Bsicas del lgebra de Boole

Leyes bsicas del lgebra de Boole:
Leyes conmutativas de la suma y multiplicacin. Leyes asociativas de la suma y multiplicacin. Ley distributiva.
Son las mismas que las del lgebra ordinaria.
67
Leyes Conmutativas
El orden en que se aplica a las variables la operacin OR es indiferente:
Ley conmutativa de la suma para dos variables
A+B = B+A El orden en que se aplica a las variables la operacin AND es indiferente:
Ley conmutativa de la multiplicacin para dos variables
AB = BA
Leyes Asociativas
Al aplicar la operacin OR a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables: A + (B + C) = (A + B) + C
Ley asociativa de la suma para tres variables
Al aplicar la operacin AND a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables: A(BC) = (AB)C
Ley asociativa de la multiplicacin para tres variables
69
Ley Distributiva
Aplicar la operacin OR a dos o ms variables y luego aplicar la operacin AND al resultado de la operacin y a otra variable aislada, es equivalente a aplicar la operacin AND a la variable aislada con cada uno de los sumandos y luego aplicar la operacin OR a los productos resultantes. Esta ley tambin expresa el proceso de sacar factor comn, en el que la variable comn se saca como factor de los productos parciales. A(B + C) = AB + AC
Ley distributiva para tres variables
70
Reglas Bsicas del lgebra de Boole

Muy tiles para la manipulacin y simplificacin de expresiones booleanas.
1. 2. 3. 4. A+0=A A+1=1 A0=0 A1=A 5. 6. 7. 8. A+A=A A+A=1 AA=A AA=0 9. A = A 10. A + AB = A 11. A + AB = A + B 12. (A + B)(A + C) = A + BC
A, B, o C pueden representar una nica variable o una combinacin de variables.

Reglas del lgebra de Boole: Demostraciones (I)

1. A+0=A
X=0
2. A + 1 = 1 3. A 0 = 0 4. A 1 = A 5. A + A = A
X=1
X=0
72
Reglas del lgebra de Boole: Demostraciones (II)

6. A + A = 1 7. A A = A 8. A A = 0 9. A = A
X=0
Reglas del lgebra de Boole: Demostraciones (III)

10. A + AB = A
A + AB = A (1 + B) Sacar factor comn A (ley distributiva) =A1 Regla 2: (1 + B) = 1 =A Regla 4: A 1 = A
74
Reglas del lgebra de Boole: Demostraciones (IV)

11. A + AB = A + B A + AB = (A + AB) + AB = A + (A + A) B =A+1B =A+B Regla 10: A = A + AB Sacar factor comn Regla 6: A + A = 1 Regla 4: A 1 = A
75
Reglas del lgebra de Boole: Demostraciones (V)

12. (A + B)(A + C) = A + BC
(A + B)(A + C) = AA + AC + AB + BC = A + AC + AB + BC = A + BC Ley distributiva Regla 7: AA = A Regla 10: A + AB = A (aplicada 2 veces)
76
Teoremas de DeMorgan
DeMorgan propuso dos teoremas que constituyen una parte muy importante del lgebra de Boole. Estos teoremas nos demuestran la equivalencia entre:
Las puertas NAND y Negativa-OR Las puertas NOR y Negativa-AND
77
Primer Teorema de DeMorgan

El complemento de un producto de variables es igual a la suma de los complementos de las variables. De forma equivalente:
El complemento de dos o ms variables a las que se aplica la operacin AND es equivalente a aplicar la operacin OR a los complementos de cada variable.
Frmula para expresar el teorema para dos variables: XY = X + Y Puerta equivalente y tabla de verdad:
78
Segundo Teorema de DeMorgan

El complemento de una suma de variables es igual al producto de los complementos de las variables. De forma equivalente:
El complemento de dos o ms variables a las que se aplica la operacin OR es equivalente a aplicar la operacin AND a los complementos de cada variable.
Frmula para expresar el teorema para dos variables: X+Y=XY Puerta equivalente y tabla de verdad:
79
Teoremas de DeMorgan para Ms de Dos Variables

Los Teoremas de DeMorgan se aplican tambin a expresiones en las que existen ms de dos variables: XYZ = X + Y + Z X + Y + Z = XYZ
80
Aplicacin de las Leyes y Reglas del lgebra de Boole y de los Teoremas de DeMorgan
- Solucin:
A + BC + D (E + F) Paso 1. Identificar los trminos a los que se puede aplicar los teoremas de DeMorgan y considerar cada trmino como una nica variable. Definimos:
Paso 2. Dado que Paso 3. Utilizar la regla 9 (A = A) para eliminar la barra doble sobre el trmino de la izquierda (esta parte no tiene que ver con los teoremas de DeMorgan):
Paso 4. En el trmino de la derecha definimos
Paso 5. Como Paso 6. Utilizando la regla 9 A = A para eliminar la barra doble del termino E + F
Anlisis Booleano de los Circuitos Lgicos

El lgebra de Boole proporciona una manera concisa de expresar el funcionamiento de un circuito lgico formado por una combinacin de puertas lgicas, de tal forma que la salida puede determinarse por la combinacin de los valores de entrada. Para obtener la expresin booleana de un determinado circuito lgico, la manera de proceder consiste en:
Comenzar con las entradas situadas ms a la izquierda. Ir avanzando hasta las lneas de salida, escribiendo la expresin para cada puerta.
82
Expresin Booleana de un Circuito Lgico
A (B + CD)
La expresin de la puerta AND situada ms a la izquierda cuyas entradas son C y D es CD. La salida de la puerta AND situada ms a la izquierda es una de las entradas de la puerta OR y B es su otra entrada. Por tanto, la expresin para la puerta OR es B + CD. La salida de la puerta OR es una de las entradas de la puerta AND situada ms a la derecha, siendo A su otra entrada. Por lo tanto la expresin de esta puerta AND ser A (B + CD)
Elaboracin de la Tabla de Verdad de un Circuito Lgico

Una vez determinada la expresin booleana de un circuito dado, puede desarrollarse una tabla de verdad que represente la salida del circuito lgico para todos los valores posibles de las variables de entrada. Esto requiere que se evale la expresin booleana para todas las posibles combinaciones de valores de las variables de entrada.
Evaluacin de una Expresin (I)

En el caso de la expresin A(B + CD) hay cuatro variables de entrada (A, B, C y D) y, por tanto, hay 24 = 16 posibles combinaciones de valores. Para evaluar esta expresin, en primer lugar, utilizando las reglas de la adicin y multiplicacin booleanas, se localizan los valores de las variables que hacen que la expresin sea igual a 1. En este caso, la expresin es igual a 1 slo si A = 1 y (B + CD) = 1, ya que: A(B + CD) = 1 1 = 1
Evaluacin de una Expresin (II)

La expresin B + CD es 1 si:
B=1 CD = 1 Ambos son igual a 1 C y D son 1. A(B + CD) = 1 cuando:
A = 1 y B = 1, independientemente del valor de C y D A = 1 y C = 1 y D = 1, independientemente del valor de B
El trmino CD es 1 slo si: Conclusin:
B + CD = 1 + 0 = 1 B + CD = 0 + 1 = 1 B + CD = 1 + 1 = 1
A(B + CD) = 0 para el resto de combinaciones posibles.

Evaluacin de una Expresin (III)

Representacin de los resultados en una tabla de verdad.
Tabla de Verdad del Circuito Lgico
87
Simplificacin Mediante el lgebra de Boole

Muchas veces, a la hora de aplicar el lgebra booleana, hay que reducir una expresin a su forma ms simple o cambiarla a una forma ms conveniente para conseguir una implementacin ms eficiente. Este mtodo de simplificacin utiliza las reglas, leyes y teoremas del lgebra de Boole para manipular y simplificar una expresin.
Simplificar una Expresin

AB + A(B + C) + B(B + C) Aplicar la ley distributiva al segundo y tercer trmino de la expresin del siguiente modo: AB + AB + AC + BB + BC Aplicar la regla 7 (BB = B) al cuarto trmino: AB + AB + AC + B + BC Aplicar la regla 5 (AB + AB = AB) a los dos primeros trminos: AB + AC + B + BC Aplicar la regla 10 (B + BC = B) a los dos ltimos trminos: AB + AC + B Aplicar la regla 10 (AB + B = B) a los trminos primero y tercero: B + AC
Circuitos Lgicos Original y Simplificado

A partir de la simplificacin se obtienen dos redes de puertas equivalentes:
Se pasa de cinco a dos puertas necesarias para implementar la expresin. Para cualquier combinacin de valores de entrada A, B y C se obtiene siempre la misma salida.
90
Forma Estndar de las Expresiones Booleanas

Funcin lgica es una expresin booleana que relaciona variables lgicas directas o complementadas por medio de operaciones AND y OR. Todas las expresiones booleanas, independientemente de su forma, pueden convertirse en cualquiera de las dos formas estndar: Esto posibilita que la evaluacin, simplificacin e implementacin de las expresiones booleanas sea mucho ms sistemtica y sencilla.
Suma de productos o Suma de MinTerms. Producto de sumas o Producto de MaxTerms.
Suma de Productos o Suma de Minterms (I)

Es la suma de dos o ms productos mediante la adicin booleana. AB + ABC A + ABC + AC Una barra no puede extenderse sobre ms de una variable: Vlido: ABC No vlido: ABC
Suma de Productos o Suma de Minterms (II)

El dominio de una expresin booleana es el conjunto de variables (o sus complementos) contenido en una expresin:
El dominio de AB + ABC es el conjunto de variables A, B, C
La implementacin de una suma de productos simplemente requiere aplicar la operacin OR a las salidas de dos o ms puertas AND:
X = AB + BCD + AC
Conversin de una Expresin General a Formato Suma de Productos

Cualquier expresin lgica puede ser transformada a una expresin suma de productos, aplicando el lgebra de Boole. A(B + CD) = AB + ACD (A + B)(B + C + D) = AB + AC + AD + BB + BC + BD (A + B) + C = (A + B)C = (A + B)C = AC + BC
94
Forma Estndar de una Suma de Productos

Es aquella en la que todas las variables del dominio aparecen en cada uno de los trminos de la expresin: ABCD + ABCD + ABCD Cualquier suma de productos en forma no estndar puede convertirse al formato estndar utilizando el lgebra de Boole.
Conversin de una Suma de Productos a su Forma Estndar (I)

Cada trmino producto de una suma de productos que no contenga todas las variables del dominio, puede ser transformado a su forma estndar de manera que incluya todas las variables del dominio o sus complementos. Esta conversin se realiza mediante la regla 6 del lgebra booleana: A+A=1
Conversin de una Suma de Productos a su Forma Estndar (II)

Pasos a seguir:
Multiplicar cada trmino producto no estndar por un trmino formado por la suma de la variable que falta y su complemento. Con esto se obtienen dos trminos producto. Como se sabe, se puede multiplicar por 1 cualquier expresin sin que se altere su valor. Repetir el paso anterior hasta que todos los trminos de la expresin contengan todas las variables (o sus complementos) del domino. Al convertir cada producto a su forma estndar, el nmero de trminos producto se duplica por cada variable que falta.
Ejemplo: Convertir la siguiente expresin booleana al formato suma de productos

estndar: A B C + A B + A B C D Solucin. El dominio de esta suma de productos es A, B, C, D. Considerando cada trmino por separado, se comprueba que al primer trmino, ABC, le falta la variable D o D, por lo que lo multiplicamos por D o D, obteniendo: En este caso, se obtienen dos productos estndar. En el segundo trmino, A B, faltan las variables C o C y D o D, de manera que multiplicamos primero por C + C: Los dos trminos que obtenemos carecen de la variable D o D, por lo que multiplicamos por D + D:
Conversin de una Suma de Productos a su Forma Estndar (III)
En este caso, el resultado son cuatro productos estndar. El tercer trmino ABCD, ya est en formato estndar. La suma de productos estndar que obtenemos es finalmente:
98
Representacin Binaria de un Trmino Producto Estndar

Un trmino producto estndar es igual a 1 slo para una combinacin de los valores de las variables. Por ejemplo, el trmino ABCD es igual a 1 cuando A=1, B=0, C=1 y D=0. Una suma de productos es igual a 1 si y slo si uno o ms de los trminos producto que forman la expresin es igual a 1.
Producto de Sumas o Producto de Maxterms

Es la multiplicacin de dos o ms trminos suma. (A + B)(A + B + C) A(A + B + C)(B + C + D) Una barra no puede extenderse sobre ms de una variable: Vlido: A+B+C No vlido: A+B+C
Implementacin de un Producto de Sumas

La implementacin de un producto de sumas requiere simplemente la aplicacin de la operacin AND a las salidas de dos o ms puertas OR.
X = (A + B) (B + C + D) (A + C)
101
Forma Estndar del Producto de Sumas

Es aquella en la que todas las variables del dominio aparecen en cada uno de los trminos de la expresin: (A+B+C+D)(A+B+C+D)(A+B+C+D) Cualquier producto de sumas en forma no estndar puede convertirse al formato estndar utilizando el lgebra de Boole.
Conversin de un Producto de Sumas a su Forma Estndar (I)

Cada trmino suma de un producto de sumas que no contenga todas las variables del dominio, puede ser transformado a su forma estndar de manera que incluya todas las variables del dominio o sus complementos. Esta conversin se realiza mediante la regla 8 del lgebra booleana: AA = 0
Conversin de un Producto de Sumas a su Forma Estndar (II)

Pasos a seguir:
Aadir a cada trmino suma no estndar un trmino consistente en el producto de la variable que falta y su complemento; esto da lugar a la aparicin de dos sumandos en la expresin. Como se sabe, siempre se puede sumar 0 sin que se altere el valor de la expresin. Aplicar la regla 12: A + BC = (A + B)(A + C) Repetir el primer paso hasta que todos los sumandos resultantes contengan todas las variables del dominio o sus complementos.
Conversin de un Producto de Sumas a su Forma Estndar (III)
105
Representacin Binaria de un Trmino Suma Estndar

Un trmino suma estndar es igual a 0 slo para una combinacin de los valores de las variables. Por ejemplo, el trmino A+B+C+D es igual a 0 cuando A=0, B=1, C=0 y D=1. Un producto de sumas es igual a 0 si y slo si uno o ms trminos suma de la expresin es igual a 0.
106
Expresiones Booleanas y Tablas de Verdad

Todas las expresiones booleanas se pueden convertir fcilmente en tablas de verdad utilizando los valores binarios de cada trmino de la expresin. La tabla de verdad es una forma muy comn de expresar el funcionamiento lgico de un circuito. Las tablas de verdad se pueden encontrar en las hojas de especificaciones y en otras documentaciones relativas al funcionamiento de los circuitos y sistemas digitales. Las expresiones suma de productos y producto de sumas pueden calcularse mediante tablas de verdad.
Conversin de una Suma de Productos a Tabla de Verdad (I)

Una suma de productos es igual a 1 si y slo si al menos uno de los productos es igual a 1. Para una expresin cuyo dominio es n variables, existen 2n combinaciones distintas de estas variables. Pasos a seguir:
Enumerar todas las posibles combinaciones de los valores de las variables de la expresin. Pasar la suma de productos a su formato estndar, si no lo est ya. Escribir un 1 en la columna de salida para cada valor binario que hace que la suma de productos estndar sea 1, y un 0 para los restantes valores.
108
Conversin de una Suma de Productos a Tabla de Verdad (II)

Desarrollar la tabla de verdad de la expresin suma de productos estndar: ABC + ABC + ABC
N 0 1 2 3 4 5 6 7
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
X 0 1 0 0 1 0 0 1
Minterms (A . B . C)
(A . B . C )
(A . B . C)
109
Conversin de un Producto de Sumas a Tabla de Verdad (I)

Un producto de sumas es igual a 0 si y slo si al menos uno de los trminos suma es igual a 0. Para una expresin cuyo dominio es n variables, existen 2n combinaciones distintas de estas variables. Pasos a seguir:
Enumerar todas las posibles combinaciones de los valores de las variables de la expresin. Pasar el producto de sumas a su formato estndar, si no lo est ya. Escribir un 0 en la columna de salida para cada valor binario que hace que el producto de sumas estndar sea 0, y un 1 para los restantes valores.
110
Conversin de un Producto de Sumas a Tabla de Verdad (II)

(A+B+C)(A+B+C)(A+B+C)(A+B+C)(A+B+C)
N 0 1 2 3 4 5 6 7
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
X 0 1 0 0 1 0 0 1
Minterms (A . B. C )
Maxterms (A + B + C) (A + B + C) (A + B + C)
(A . B. C ) (A + B + C) (A + B + C) (A . B. C )
111
Conversin de un Producto de Sumas a Tabla de Verdad (III)

Las tablas de verdad del ejemplo anterior son las mismas. Esto significa que la suma de productos y el producto de sumas son equivalentes. Minterms F(A, B, C) = (A . B. C) + (A . B. C) + (A . B. C) = m1 + m4 + m 7 = (1, 4, 7) Maxterms F(A, B, C) = (A + B+ C) . (A + B + C) . (A + B + C) . (A + B + C) . (A + B + C) = M0 . M2 . M3 . M5 . M6 = (0, 2, 3, 5, 6)
Determinar la Expresin de la Suma de Productos Estndar Representada por una Tabla de Verdad
Se enumeran todos los valores de las variables de entrada para los que la salida es 1. Cada valor binario se convierte en el correspondiente trmino producto:
Se reemplaza cada 1 por la variable. Se reemplaza 0 por la variable complementada.
Por ejemplo, el valor binario 1010 se reemplaza por ABCD

Determinar la Expresin del Producto de Sumas Estndar Representada por una Tabla de Verdad
Se enumeran todos los valores de las variables de entrada para los que la salida es 0. Cada valor binario se convierte en el correspondiente trmino suma:
Se reemplaza cada 1 por la variable complementada. Se reemplaza 0 por la variable.
Por ejemplo, el valor binario 1001 se reemplaza por A+B+C+D

Determinar las Expresiones Estndar a Partir de una 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 X 0 0 0 1 1 0 1 1
X = ABC + ABC + ABC + ABC X = (A+B+C)(A+B+C)(A+B+C)(A+B+C)

Conversin de una Suma de Productos Estndar a Producto de Sumas Estndar (I) Los valores binarios de los trminos producto en una suma de productos estndar dada no aparecen en su producto de sumas estndar equivalente. Asimismo, los valores binarios que no estn representados en una suma de productos s aparecen en el producto de sumas equivalentes.
116
Conversin de una Suma de Productos Estndar a Producto de Sumas Estndar (II) Pasos para convertir una suma de productos estndar a un producto de sumas estndar:
Evaluar cada trmino de la expresin suma de productos, es decir, determinar los valores binarios que representan estos trminos. Determinar todos los nmeros binarios no incluidos al realizar el clculo del paso anterior. Escribir los trminos suma equivalentes para cada valor binario del paso anterior y expresarlos en forma de producto de sumas.
Conversin de una Suma de Productos Estndar a Producto de Sumas Estndar (III)

Convertir la expresin ABC+ABC+ABC+ABC+ABC a su expresin equivalente como producto de sumas:
El resultado de la evaluacin es 000+010+011+101+111 Puesto que son tres las variables que conforman el dominio de la expresin, existe un total de 23 = 8 posibles combinaciones. La expresin suma de productos o suma de minterms contiene cinco de estas combinaciones, luego la expresin producto de sumas o producto de maxterms debe contener las otras tres: 001, 100 y 110. Como estos son los valores binarios que hacen que cada operacin suma sea igual a cero, el producto de sumas equivalente es:
(A+B+C)(A+B+C)(A+B+C)
Mapas de Karnaugh (I)

Un mapa de Karnaugh proporciona un mtodo sistemtico de simplificacin de expresiones booleanas. Aplicado adecuadamente genera las expresiones suma de productos y producto de sumas ms simples posibles. Un mapa de Karnaugh es similar a una tabla de verdad, ya que muestra todos los posibles valores de las variables de entrada y la salida resultante para cada valor.
Mapas de Karnaugh (II)

El mapa de Karnaugh es una secuencia de celdas en la que cada celda representa un valor binario de las variables de entrada. Las celdas se disponen de tal manera que la simplificacin de una determinada expresin consiste en agrupar adecuadamente las celdas. Los mapas de Karnaugh pueden utilizarse para expresiones de dos, tres, cuatro y cinco variables. El mtodo de Quine-McClusky puede usarse para un nmero de variables mayor. Al igual que ocurra con el nmero de filas de una tabla de verdad, el nmero de celdas de un mapa de Karnaugh es igual al nmero total de combinaciones de las variables de entrada. Para tres variables, el nmero de celdas necesarias es 23=8. Para cuatro variables, el nmero de celdas es 24=16 celdas.
Mapas de Karnaugh de Tres Variables (I)

Es un conjunto de 8 celdas. Se utilizan A, B y C para denominar las variables, aunque se podran usar otras letras. Los valores binarios de A y B se encuentran en la parte izquierda y los valores de C en la parte superior. El valor de una determinada celda es:
el valor binario de A y B, en la parte izquierda de la misma fila combinado con el valor de C en la parte superior de la misma columna.
121
Mapas de Karnaugh de Tres Variables (II)

Representacin de un mapa de Karnaugh de tres variables vaco (matriz de 8 celdas) y con los trminos producto estndar representados para cada celda:
0 2 6 4
1 3 7 5
122
Mapas de Karnaugh de Cuatro Variables (I)

Es un conjunto de 16 celdas. Se utilizan A, B, C y D para denominar las variables, aunque se podran usar otras letras. Los valores binarios de A y B se encuentran en la parte izquierda y los valores de C y D en la parte superior. El valor de una determinada celda es:
el valor binario de A y B, en la parte izquierda de la misma fila combinado con el valor de C y D en la parte superior de la misma columna.
123
Mapas de Karnaugh de Cuatro Variables (II) Representacin de un mapa de Karnaugh de cuatro variables vaco (matriz de 16 celdas) y con los trminos producto estndar representados para cada celda:
CD AB 0 4 12 8 1 5 13 9 3 7 15 11 2 6 14 10 11 10 A B C D A B C DA B C D A B C D ABCD ABCD ABCD ABCD 00 01 00 01 11 10 ABCD ABCDABCD ABCD A B C D A B C DA B C D A B C D
124
Adyacencia de Celdas (I)

Las celdas de un mapa de Karnaugh se disponen de manera que slo cambia una nica variable entre celdas adyacentes. Las celdas que difieren en una nica variable son adyacentes. En el mapa de 3 variables, la celda 010 es adyacente a la celda 000, a la 011 y a la 110. Las celdas cuyos valores difieren en ms de una variable no son adyacentes. En el mapa de 3 variables, la celda 010 NO es adyacente a la celda 001, a la 111, a la 100 ni a la 101.
Adyacencia de Celdas (II)

Fsicamente, cada celda es adyacente a las celdas que estn situadas inmediatas a ella por cualesquiera de sus cuatro lados. Una celda NO es adyacente a aquellas que tocan diagonalmente alguna de sus esquinas. Adems, las celdas de la fila superior son adyacentes a las de la fila inferior y las celdas de la columna izquierda son adyacentes a las celdas situadas en la columna derecha.
Adyacencia de Celdas (III)

Adyacencia de celdas en un mapa de Karnaugh de cuatro variables. Las flechas apuntan a las celdas adyacentes.
127
Minimizacin de una Suma de Productos Mediante el Mapa de Karnaugh

El mapa de Karnaugh se utiliza para reducir expresiones booleanas a su mnima expresin, as los diseos lgicos de los circuitos que se construyan sean ms econmicos. Una expresin suma de productos minimizada est formada por el mnimo nmero de trminos producto posibles con el mnimo nmero de variables por trmino. Generalmente, una expresin suma de productos minimizada se puede implementar mediante un nmero de puertas menor que su expresin estndar, lo cual constituye la finalidad del proceso de simplificacin.
Mapa de Karnaugh de una Suma de Productos Estndar (I)

Por cada trmino de la expresin suma de productos se coloca un 1 en el mapa de Karnaugh en la celda correspondiente al valor del producto. Las celdas que no tienen 1 son aquellas para las que la expresin es 0.
129
Pasos para completar el mapa de Karnaugh: Paso 1. Determinar el valor binario de cada trmino producto de la suma de productos estndar. Paso 2. A medida que evaluamos cada trmino, colocamos un 1 en el mapa de Karnaugh, en la celda que tiene el mismo valor que dicho trmino.
Ejemplo de transformacin a mapa de Karnaugh de una suma de productos estndar
C AB 00 01 11 0 1 ABC + ABC + ABC + ABC 000 001 110 100
Mapa de Karnaugh de una Suma de Productos Estndar (II)
1 1 130
10
Mapa de Karnaugh de una Suma de Productos No Estndar (I)

Antes de poder utilizar un mapa de Karnaugh, las expresiones booleanas deben estar en su forma estndar. Si una expresin no lo est, se pasar al formato estndar. A un trmino en forma no estndar le faltan una o ms variables en su expresin. Este trmino se puede desarrollar numricamente para obtener una expresin estndar:
Se aaden todas las combinaciones de valores numricos de las variables que faltan en la expresin.
Mapa de Karnaugh de una Suma de Productos No Estndar (II)

Ejemplo: Transformar la siguiente expresin suma de productos en un mapa de Karnaugh: A + AB + ABC Solucin. Esta suma de productos no est en formato estndar, ya que cada trmino no contiene las tres variables. El primer trmino no posee dos de las tres variables; el segundo carece de una, mientras que el tercero s que es estndar. 1. Desarrollamos los trminos numricamente de la forma:
2. Cada uno de los valores binarios resultantes se traslada al mapa, colocando un 1 en la celda apropiada del mapa de Karnaugh de 3 variables.
Simplificacin de una Suma de Productos Mediante el Mapa de Karnaugh

El proceso que genera una expresin que contiene el menor nmero posible de trminos con el mnimo nmero de variables se denomina minimizacin. Despus de haber obtenido el mapa de Karnaugh de una suma de productos, se deben seguir tres pasos para obtener la expresin suma de productos mnima:
Agrupar los 1s. Determinar el trmino producto correspondiente a cada grupo. Sumar los trminos productos obtenidos.
133
Agrupacin de 1s (I)
La finalidad es maximizar el tamao de los grupos y minimizar el nmero de estos grupos. Reglas:
1. 2. Un grupo tiene que contener 1, 2, 4, 8 16 celdas. Cada celda de un grupo tiene que ser adyacente a una o ms celdas del mismo grupo, pero no todas las celdas del grupo tienen que ser adyacentes entre s. Incluir siempre en cada grupo el mayor nmero posible de 1s de acuerdo con la regla 1. Cada 1 del mapa tiene que estar incluido en al menos un grupo. Los 1s que ya pertenezcan a un grupo pueden estar incluidos en otro, siempre que los grupos que se solapen contengan 1s no comunes.
134
3. 4.
0 AB 00 1 01 11 1 10 AB 0 00 1 01 11 1 10 C
1
1 1
AB 0 00 1 01 1 11 10 1 AB 00 01 11 10 C 0
1 1
Agrupacin de 1s (II)
1
1 1 1
AB
CD
00 01 11 10 AB CD 00 01 11 10
00 01 11 10 AB
1 1 1 1 1 1 1 1
CD 00 01 11 00 1 01 1 1 11 1 1 1 10 1
10
1 1 1 1
1
1 1
1
1 1
00 01 11 10 AB CD00 01 11 1 1 00 1 1 1 1 1 01 1 1 11 1 1 1 1 1 10 1
10
1 1 1 1
135
Determinar el Trmino Producto Correspondiente a Cada Grupo (I)

1. Cada grupo de celdas que contiene 1s da lugar a un trmino producto compuesto por todas las variables que aparecen en el grupo en slo una forma (no complementada o complementada). Las variables que aparecen complementadas y sin complementar dentro del mismo grupo se eliminan. A stas se las denomina variables contradictorias. 2. Determinar la operacin producto mnima para cada grupo.
Determinar el Trmino Producto Correspondiente a Cada Grupo (II)

a) Determinar la operacin producto mnima para un mapa de 3 variables.
I. Un grupo formado por una nica celda da lugar a un trmino producto de tres variables. II. Un grupo formado por 2 celdas da lugar a un trmino producto de dos variables. III. Un grupo formado por 4 celdas da lugar a un trmino de una variable. IV. Un grupo formado por 8 celdas indica que la expresin vale 1.
137
Determinar el Trmino Producto Correspondiente a Cada Grupo (III)

b) Determinar la operacin producto mnima para un mapa de 4 variables.
I. Un grupo formado por una nica celda da lugar a un trmino producto de cuatro variables. II. Un grupo formado por 2 celdas da lugar a un trmino producto de tres variables. III. Un grupo formado por 4 celdas da lugar a un trmino producto de dos variables. IV. Un grupo formado por 8 celdas da lugar a un trmino de una variable. V. Un grupo formado por 16 celdas indica que la expresin vale 1.
Sumar los Trminos Productos Obtenidos (I)

Cuando se han obtenido todos los trminos mnimos, se suman para obtener la expresin suma de productos mnima.
B + AC + ACD
Sumar los Trminos Productos Obtenidos (II)

Ejemplo: Determinar los productos para cada uno de los mapas de Karnaugh y escribir las correspondientes expresiones suma de productos mnima resultante. Solucin. La expresin suma de productos mnima para cada uno de los mapas de Karnaugh es:
(a) AB + BC + A B C (c) AB + A C + ABD (b) B + AC + AC (d) D + ABC + BC
140
Sumar los Trminos Productos Obtenidos (III)

Ejemplo: Mediante un mapa de Karnaugh minimizar la expresin suma de productos siguiente:
BCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD
Se indica el trmino producto para cada grupo y la expresin suma de productos mnima resultante es: D + BC Nota: esta expresin mnima es equivalente a la expresin estndar original.
Obtencin Directa del Mapa de Karnaugh a Partir de la Tabla de Verdad

Los 1s de la columna de salida de la tabla de verdad se trasladan directamente al mapa de Karnaugh, a las celdas correspondientes a los valores asociados de las combinaciones de variables de entrada.
142
Condiciones Indiferentes (I)

Algunas veces se producen situaciones en las que algunas combinaciones de las variables de entrada no estn permitidas. Por ejemplo, en el cdigo BCD existan seis combinaciones no vlidas: 1010, 1011, 1100, 1101, 1110 y 1111. Estos pueden considerarse trminos indiferentes con respecto a su efecto en la salida. Esto significa que a estos trminos se les puede asignar tanto un 1 como un 0 en la salida; realmente no son importantes dado que nunca van a generarse.
Condiciones Indiferentes (II)

Para cada trmino indiferente, se escribe una X en la celda. Cuando se agrupan los 1s, las X se pueden considerar tambin como 1s para agrandar los grupos, o como 0s si no obtenemos ninguna ventaja. Cuanto mayor sea el grupo ms sencillo ser el trmino resultante.
144
Minimizacin de un Producto de Sumas Mediante el Mapa de Karnaugh

Este mtodo es similar al de la minimizacin de una expresin suma de productos mediante los mapas de Karnaugh. En esta ocasin, los 0s representan las operaciones de suma estndar y se colocan en el mapa de Karnaugh en lugar de los 1s.
145
Mapa de Karnaugh de un Producto de Sumas Estndar

Por cada trmino suma de la expresin producto de sumas se coloca un 0 en el mapa de Karnaugh en la celda correspondiente al valor de la suma. Las celdas que no tienen 0 son aquellas para las que la expresin es 1.
146
Simplificacin Mediante el Mapa de Karnaugh de Expresiones Producto de Sumas (I) El proceso de minimizacin de un producto de sumas es bsicamente el mismo que para una expresin suma de productos, excepto que ahora hay que agrupar los 0s para generar el mnimo nmero de trminos suma. Las reglas para agrupar los 0s son las mismas que para agrupar los 1s.
147
Simplificacin Mediante el Mapa de Karnaugh de Expresiones Producto de Sumas (II)
(C + D)(A + B + D)(A + B + C)
Conversin entre Suma de Productos y Producto de Sumas Mediante el Mapa de Karnaugh (I) Cuando un producto de sumas se traslada a un mapa de Karnaugh, puede fcilmente pasarse a la suma de productos equivalente. Tambin, dado un mapa de Karnaugh de una suma de productos, el producto de sumas equivalente puede obtenerse directamente a partir del mapa. Esto proporciona una excelente manera de comparar ambas formas mnimas de una expresin, para determinar si una de ellas puede implementarse con menos puertas que la otra.
Conversin entre Suma de Productos y Producto de Sumas Mediante el Mapa de Karnaugh (II) Para un producto de sumas, todas las celdas que no contienen 0s contienen 1s, de lo que se deriva su expresin suma de productos. De igual manera, para una suma de productos, todas las celdas que no contienen 1s contendrn 0s, de los que se obtiene la expresin producto de sumas.
150
Ejemplo: Utilizando un mapa de Karnaugh, convertir el siguiente producto de sumas estndar en: un producto de sumas mnimo, una suma de productos estndar y una suma de productos mnima.
(A + B + C + D) (A + B + C + D) (A + B + C + D) (A + B + C + D) (A + B + C + D) (A + B + C + D)
Conversin entre Suma de Productos y Producto de Sumas Mediante el Mapa de Karnaugh (III)
Solucin. En (a) los 0s de la expresin producto de sumas estndar se transforman y agrupan para obtener el producto de sumas mnimo. En (b) se aaden 1s en las celdas que no contienen 0s. De cada celda que contenga un 1, se obtiene un trmino producto estndar. Estos trminos producto forman la expresin suma de productos estndar. En (c) se agrupan los 1s y se obtiene una expresin suma de productos mnima.
151
Mapa de Karnaugh de Cinco Variables (I)

Las funciones booleanas de cinco variables pueden simplificarse mediante un mapa de Karnaugh de 32 celdas. Para construir un mapa de 5 variables se utilizan dos mapas de 4 variables (con 16 celdas cada uno).
152
Mapa de Karnaugh de Cinco Variables (II)

Cada mapa contiene 16 celdas con todas las posibles combinaciones de las variables B, C, D y E:
Un mapa es para A = 0 Otro es para A = 1
153
Adyacencia de Celdas (I)

La mejor manera de visualizar la adyacencia de celdas entre los dos mapas de 16 celdas consiste en imaginar que el mapa A=0 est colocado encima del mapa A=1. Cada celda del mapa A=0 es adyacente con la celda que est justo debajo en el mapa A=1.
154
Adyacencia de Celdas (II)

Agrupacin de 1s en celdas adyacentes de un mapa de 5 variables
Determinacin de los trminos producto correspondientes a cada grupo El trmino del grupo punteado es: DE El trmino del grupo rayado es BCE El trmino del grupo gris oscuro es: ABD El trmino de la celda gris claro junto con la celda gris oscuro es: BCDE X = DE + BCE + ABD + BCDE Suma de productos simplificada
Ejemplo: Utilizar un mapa de Karnaugh para minimizar la siguiente expresin estndar de la suma de productos de 5 variables: X=ABCDE + ABCDE + ABCDE+ ABCDE + ABCDE+ ABCDE + ABCDE + ABCDE + ABCDE+ ABCDE + ABCDE + ABCDE - Se traslada la suma de productos al mapa de Karnaugh y se realizan las agrupaciones indicando los trminos correspondientes. - Combinando estos trminos se obtiene la siguiente expresin suma de productos minimizada: X= ADE + BCD + BCE + ACDE
Adyacencia de Celdas (III)
156

Algebra Boo Le

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra Boo Le

Cargado por

Copyright:

Formatos disponibles

Tema 5: lgebra de Boole Funciones Lgicas

Escuela Politcnica Superior Ingeniera Informtica Universidad Autnoma de Madrid

Escuela Politcnica Superior

lgebra de Boole. Funciones Lgicas

Comprender su aplicacin a los circuitos digitales

Magnitudes Analgicas y Digitales

Grfica de una funcin analgica (temperatura en funcin del tiempo)

Escuela Politcnica Superior

Escuela Politcnica Superior

Variables y Funciones Lgicas

Variables y Funciones Lgicas

Escuela Politcnica Superior

AND con dos entradas y

OR con dos entradas y

Escuela Politcnica Superior

Escuela Politcnica Superior

Realiza la operacin denominada amplificacin.

Puerta NOT o Inversor

Escuela Politcnica Superior

Puerta NOT: Smbolo y Funcionamiento

Escuela Politcnica Superior

Puerta NOT: Tabla de Verdad y Diagrama de Tiempos

Escuela Politcnica Superior

Puerta NOT: Ecuacin Lgica

Puerta NOT: Ejemplo de Aplicacin

Escuela Politcnica Superior

Escuela Politcnica Superior

Puerta AND: Funcionamiento

Escuela Politcnica Superior

Puerta AND: Tabla de Verdad

Escuela Politcnica Superior

Puerta AND: Diagrama de Tiempos

Escuela Politcnica Superior

Puerta AND: Ecuacin Lgica

Ecuacin lgica o expresin booleana:

Puerta AND: Mltiples Entradas

Escuela Politcnica Superior

Puerta AND: Ejemplo de Aplicacin

Escuela Politcnica Superior

Escuela Politcnica Superior

Puerta OR: Funcionamiento

Escuela Politcnica Superior

Puerta OR: Tabla de Verdad

Escuela Politcnica Superior

Puerta OR: Diagrama de Tiempos

Escuela Politcnica Superior

Puerta OR: Ecuacin Lgica

Ecuacin lgica o expresin booleana:

Puerta OR: Mltiples Entradas

Escuela Politcnica Superior

Puerta OR: Ejemplo de Aplicacin

Escuela Politcnica Superior

El trmino NAND es una contraccin de NOTAND e implica:

Smbolo lgico estndar:

Puerta NAND: Funcionamiento

Es la operacin opuesta a la operacin lgica AND.

Escuela Politcnica Superior

Puerta NAND: Tabla de Verdad

Escuela Politcnica Superior

Puerta NAND: Diagrama de Tiempos

Escuela Politcnica Superior

Puerta NAND: Equivalencia con Negativa-OR

Escuela Politcnica Superior

Puerta NAND: Ecuacin Lgica