3.1.3. Actividad de Aprendizaje AA3. Aplicar El Álgebra de Boole y Mapas de Karnaugh para La Implementación de Circuitos Digitales
3.1.3. Actividad de Aprendizaje AA3. Aplicar El Álgebra de Boole y Mapas de Karnaugh para La Implementación de Circuitos Digitales
3.1.3. Actividad de Aprendizaje AA3. Aplicar El Álgebra de Boole y Mapas de Karnaugh para La Implementación de Circuitos Digitales
Tenga en cuenta que, para el caso de las dos últimas técnicas, los resultados deben ser los mismos. La primera
estaría sujeta a su habilidad para implementar circuitos digitales usando solo la lógica, como se muestra en la
siguiente figura.
Finalmente, si se desea, complemente la información consultando el texto Sistemas digitales, capítulo 4; este
podrá encontrarse en los referentes bibliográficos de esta guía. El informe debe ser redactado siguiendo la
normatividad vigente para la presentación de trabajos escritos y debe contener recomendaciones de
implementación y mejoras posibles al circuito.
Lineamientos generales para la entrega de la evidencia:
• Productos para entregar: informe técnico.
• Extensión: 15 páginas.
• Formato: PDF.
• Para hacer el envío de la evidencia remítase al área de la actividad correspondiente y acceda al espacio:
Informe de cálculos y diagramas de circuitos. AA3-EV01.
Sistemas digitales
Lógica matemática
Álgebra de conjuntos
Propiedades de las operaciones entre conjuntos
Las siguientes cuatro propiedades, son válidas para las operaciones de unión e
intersección:
a. Leyes de idempotencia:
AUA=A
A∩A=A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)
b. Leyes conmutativas:
AUB=BUA
A∩B=B∩A
d) Leyes distributivas:
A U (B ∩ C) = (A U B) ∩ (A U C)
A ∩ (B U C) = (A ∩ B) U (A ∩ C)
Las siguientes propiedades están relacionadas con los conjuntos Universal “U” y vacío ∅:
e) Leyes de identidad:
AUU=U
A∩U=A
AUФ=A
A∩Ф=Ф
Propiedades con respecto al complemento.
f) Leyes del complemento:
A U A' = UA ∩ A' = Ф
(A' )' = A
Ф' = U
g) Leyes de D’Morgan:
(A U B)' = A' ∩ B'
(A ∩ B)' = A' U B'
Estas leyes se pueden representar gráficamente de la siguiente forma:
a) Leyes de idempotencia:
AUA=A
A∩A=A
b) Leyes de identidad:
AUU=U
A∩U=A
AUФ=A
A∩Ф=Ф
Conectivos Lógicos
Estos términos de enlace reciben el nombre de Conectivos lógicos y al igual que a las
proposiciones, también se les asignan un lenguaje simbólico, así:
LENGUAJE NATURAL
LENGUAJE FORMAL
y ᴧ
o v
No ~
Si … entonces →
Sí y sólo si ↔
Vemos varios ejemplos de notación simbólica de las proposiciones:
p : Las rosas son rojas.
q : Las rosas tienen espinas.
P ᴧ q: Las rosas son rojas y tienen espinas.
r: La selección Colombia ganó?.
s: La selección Colombia perdió?.
r v s : La selección Colombia ganó o perdió?.
t : En el país hay violencia.
~ t : En el país no hay violencia.
x : Estudio lógica matemática
y : Seré un destacado ingeniero de sistemas
x → y : Si estudio lógica matemática seré un destacado ingeniero de sistemas.
u : 4 es un número par.
v : 4 es divisible por 2.
u ↔ v : 4 es un número par si y sólo si es divisible por 2.
Para simbolizar los valores de verdad de una proposición, se utiliza el sistema binario,
mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla
resume los valores de verdad de los conectivos lógicos:
Ejemplo 1
Demostrar que:
1. p ᴧ p ↔ p
2. p v p ↔ p.
Estas demostraciones se pueden efectuar partiendo del primer miembro y llegar al
segundo o partiendo del segundo y llegar al primero. En la parte derecha se escribe el
nombre de la ley que justifica ese paso.
1. Partiendo del primer miembro se llega al segundo así:
p ᴧ p ↔ (p ᴧ p) v 0
Identidad
p ᴧ p ↔ (p ᴧ p) v (p ᴧ ~ p) Complemento
p ᴧ p ↔ p ᴧ (p v ~ p)
Distributiva
pᴧp↔pᴧ1
Complemento
pᴧp↔p
Identidad
2. Partiendo del segundo miembro se llega al primero así:
p↔pv0
Identidad
p ↔ p v (p ᴧ ~ p)
Complemento
p ↔ (p v p) ᴧ (p v ~ p)
Distributiva
p ↔ (p v p) ᴧ 1
Complemento
p ↔ (p v p)
Identidad.
Se sugiere hacer las demostraciones partiendo del primer miembro.
Ejemplo 2
Demostrar que: (p v q) ᴧ (~ p v q) ↔ q
( q v p) ᴧ (q v ~ p) ↔ q
Conmutativa
qv(pᴧ~p)
Distributiva
qv0
Complemento
q
Identidad
Ejemplo 3.
Demostrar que: [ (p ᴧ q) v (~ p ᴧ r) v (q ᴧ r) ] ↔ [ (p ᴧ q) v (~ p ᴧ r)]
[ (p ᴧ q) v (~ p ᴧ r) v (q ᴧ r) ] ↔ [ (p ᴧ q) v (~ p ᴧ r) v (q ᴧ r) ] v 0
Identidad
↔ [(p ᴧ q) v (~ p ᴧ r) v (q ᴧ r)] v (q ᴧ r) ᴧ ~ (q ᴧ r)
Complemento
↔ (p ᴧ q) v (~ p ᴧ r) v (q ᴧ r) ᴧ ~ (q ᴧ r)
Asociativa
↔ (p ᴧ q) v (~ p ᴧ r) v 0
Complemento
↔ (p ᴧ q) v (~ p ᴧ r)
Identidad
Ejemplo 4.
Demostrar: (p v ~ q) ᴧ (q v r) ᴧ (q v ~ r) ↔ (p ᴧ q)
(p v ~ q) ᴧ [q v (r ᴧ ~ r)]
Distributiva
(p v ~ q) ᴧ [q v 0]
Complemento
(p v ~ q) ᴧ q
Identidad
(p ᴧ q) v (~ q ᴧ q)
Distributiva
(p ᴧ q) v 0
Complemento
(p ᴧ q)
Identidad.
Ejemplo 5.
Demostrar: ~ [(p ᴧ ~ q ᴧ r) v (p ᴧ q ᴧ r)] ↔ (~ p v ~ r)
~ [(p ᴧ ~ q ᴧ r) v (p ᴧ q ᴧ r)] ↔ ~ [(p ᴧ r) ᴧ (~ q v q)] Conmutativa y distributiva
~ [(p ᴧ ~ q ᴧ r) v (p ᴧ q ᴧ r)] ↔ ~ [(p ᴧ r) ᴧ 1]
Complemento
~ [(p ᴧ ~ q ᴧ r) v (p ᴧ q ᴧ r)] ↔ ~ (p ᴧ r)
Identidad
~ [(p ᴧ ~ q r) v (p ᴧ q ᴧ r)] ↔ (~ p v ~ r)
D’ Morgan
5.
Complementación: Para cada proposición p, existe en el conjunto A una
proposición ~p, llamada la negación de p, tal que:
p v (~ p) ↔ 1 y p ʌ (~ p) ↔ 0
Es preciso recordar que las tablas de verdad son una herramienta para demostrar estas
propiedades, su elaboración se deja como ejercicio.
Expresiones Booleanas
Expresiones Booleanas y sus propiedades
En este caso la tabla muestra el valor de la función lógica para las 2 3 = 8 posibles
combinaciones de 0 y 1 para las variables x, y, z.
Las combinaciones en las filas 1,2 y 6 tienen valor 1, por lo tanto la forma normal
disyuntiva contendrá tres términos así:
f (x, y, z) = x y z’ + x y’ z + x’ y’ z
= x y z’ + y’z (x + x’)
= x y z’ + y’z (1)
= x y z’ + y’z.
En estos casos, se recomienda usar la forma normal disyuntiva cuando el número de unos
(1) es menor que el número de ceros (0) en la columna f (x, y, z).
El complemento de una función en forma normal disyuntiva contendrá exactamente
aquellos términos de la forma normal disyuntiva que no aparecen en la función dada.
Ejemplo 6:
Escribir el complemento de cada una de las siguientes funciones:
1.
x’ y’ + x’ y
2.
x’ y’ z’ + x’ y’ z + x’ y z’ + x’ y z + x y’ z’
Como el complemento de una forma normal disyuntiva son los términos que no aparecen
en la función, entonces el complemento de cada función es:
1.
x y + x y’
2.
x y’ z + x y z’ + x y z.
Como sólo dos filas de la tabla, la 2 y la 6, tienen el valor cero, es más fácil escribir la
función en forma normal conjuntiva, así:
f (x, y, z) = (x’ + y + z’) (x + y + z’)
= (y + z’ + x’) (y + z’ + x)
= (y + z’ + x’x)
= (y + z’ + 0)
= y + z’
La forma normal conjuntiva se usa si el número de ceros (0) es menor que el número de
unos (1) en la columna f.
El complemento de una función escrita en forma normal conjuntiva es una función cuyos
factores son exactamente aquellos de la forma normal conjuntiva, que no aparecen en la
función dada, por ejemplo, el complemento de (x + y’) (x’ + y’) es (x’ + y) (x + y). El
complemento se puede utilizar para encontrar la forma normal disyuntiva, para cambiar
una función de una forma normal a la otra se utiliza el complemento del complemento de la
función, es decir, (f ' )’ = f.
Ejemplo 4.
Encontrar la forma normal conjuntiva para la función
f (x, y, z) = x y z + x’ y z + x y’ z’ + x’ y z’
Aplicando el complemento del complemento se tiene:
[f ‘(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’) (x + y’ + z’) ( x’ + y + z) (x + y’ + z)]’
Los términos que no aparecen en la función son:
= (x + y + z) ( x’ + y + z) ( x + y’ + z’) (x’ + y + z’)
Ejemplo 5.
Cambiar la siguiente expresión de la forma normal disyuntiva a la forma normal conjuntiva.
f (x, y, z) = x y z + x y’ z’ + x’ y z’ + x’ y’ z + x’ y’ z’
Aplicando el complemento se tiene que:
[f ‘ (x, y, z)]’ = [(x y z + x y’ z’ + x’ y z’ + x’ y’ z + x’ y’ z’)’]’
Aplicando el complemento del paréntesis interno, (los términos que no aparecen), se tiene:
= [ x’ y z + x y’ z + x y z’]’ y por el complemento externo
= (x’ y z)’ (x y’ z)’ (x y z’)’
= (x + y’ + z’) (x’ + y + z’) (x’ + y’ + z)
Ejemplo 6.
Cambiar la siguiente expresión de la forma normal conjuntiva a la forma normal disyuntiva.
f (x, y, z) = [ (y + z’) (y’ + z) (y’ + z’)]
Aplicando el complemento se tiene que:
[f ‘ (x, y, z)]’ = { [ (y + z’) (y’ + z) (y’ + z’)] ‘ }’
= { (y + z’)’ + (y’ + z)’ + (y’ + z’)‘}’
= {(y’ z) + (y z’) + (y z)}’
= {y’ z + y z’ + y z}’
= y’ z’
Ejemplo 7
Escribir las funciones descritas en la siguiente tabla y simplificarla utilizando la forma más
conveniente:
Para F1 se usa la forma normal conjuntiva porque sólo hay dos ceros, por lo tanto la
expresión booleana es:
F1 (x, y, z) = (x + y + z’) ( x’ + y’ + z). Ya esta simplificada
En F2 se utiliza la forma normal disyuntiva porque sólo hay dos unos, la expresión
booleana es:
F2 (x, y, z) = x’ y’ z + x y z’. Ya esta simplificada.
En F3 se puede utilizar cualquiera de las dos formas, debido a que el número de ceros y
de unos es igual, la forma normal disyuntiva es:
F3 (x, y, z) = x’ y z’ + x’ y z + x y’ z’ + x y z’.
= x’ y ( z’ + z) + x z’ ( y’ + y)
= x’ y (1) + x z’ (1)
= x’ y + x z’
La forma más conveniente para F4 es la forma norma conjuntiva
F4 (x, y, z) = (x + y + z) (x’ + y + z)
= y + z + x x’
=y+z+0
=y+z
Lo anterior es el proceso desde los conjuntos y la comparación con las tablas de verdad con conectores lógicos y su
reducción a traves del Algebra de Boyle. Nos indica la similitud de las operaciones y su forma de reducir.
Ahora viene un metodo que funciona para reducir a terminos minimos que es muy util y ahorra tiempo, ese metodo
se llama Karnaugh.
¿ como se usa el mapa de karnaugh para simplificar funciones lógicas?
1) Partimos de la tabla de verdad
En la tabla de verdad de la función lógica, nos interesa identificar para que valores de la
función, esta es 1, valores que resaltamos a continuación con círculos, las flechas están
indicando la función lógica correspondiente:
Nota:
Al simplificar usando los mapas de K, debemos obtener la siguiente simplificación,
deducida mediante las propiedades del álgebra booleana:
f (x, y) = x’ y’ + x y’
= y’ (x’ + x)
= y’. 1
=y
Estos dos unos agrupados se pueden representar por y’ únicamente, así nos que da la
siguiente simplificación:
f (x, y) = y’
Observemos que para agrupar se buscó la variable que definía a los dos unos al mismo
tiempo, la fila identificada como Y’ define muy bien este par de unos, luego la solución es
y’
Observemos como esta simplificación es equivalente a la simplificación obtenida usando
las propiedades del álgebra booleana.
Otro ejemplo:
1) Si el mapa de Kargaugh fuera:
¿Quién define mejor en este caso a los unos? ¿Cuál de las siguientes cuatro adyacencias
es la mejor?
Si observas los unos encerrados, podrás ver que x’ los define completamente.
Si observas los unos encerrados, x’ no definen completamente toda la función, sólo define
completamente dos unos.
Para considerar el otro uno podemos tomarlo sólo, de la siguiente manera:
Diseñaremos un sistema lógico que active una alerta cuando un cultivo tenga necesidad de riego.
La alerta de demanda de riego debe de activarse cuando 3 o 4 de estos indicadores estén señalando necesidad de
agua.
Convenciones:
El estado logico que señala indicador activo es 1
El estado lógico que señala que la alerta esta activa es 1
¿En cual estado el indicador señala necesidad de agua?
Necesidad de agua
Indicador A 1
Indicador B 0
Indicador C 0
Indicador D 1
24=16
1 0 0 1
Dígito A B C D Indicador
0 0 0 0 0 0
1 0 0 0 1 1
2 0 0 1 0 0
3 0 0 1 1 0
4 0 1 0 0 0
5 0 1 0 1 0
6 0 1 1 0 0
7 0 1 1 1 0
8 1 0 0 0 1
9 1 0 0 1 1
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 0
Explicación:
Son cuatro condiciones, por descarte los indicadores A y D deben encenderse y los demas deben estar apagados,
pues si se presenta condiciones de lluvia y humedad pues no es necesario que se encienda el sistema de riego, lo
mismo si no se presentan las condiciones de sequia. Se tacha o marca esas condiciones desfavorables y las que son
favorables se dejan en blanco. Luego se observa si hay 3 o mas condiciones desfavorables que se cumplen y se marca
con 1. Esta tabla se basa con numeros binarios. Observe que son cuatro bits y corresponde a los consecutivos de sus
pares decimales desde 0 hasta 15, estos corresponden fielmente al sistema hexadecimal.
Después en ese orden se coloca en la tabla de karnaugh ceros o unos donde corresponda y se simplica sin tener que
usar la reducción booleana. La clave para armar la tabla de karnaugh es que de izquierda a derecha o arriba hacia
abajo se coloca este estricto orden, 00 01 11 10 si usamos numeros o ¬A¬B ¬AB AB A¬B si usamos la simbologia
negado.
A continuación se agrupan los 1 (si lo hacemos como la forma disyuntiva) y miramos a que duo pertenece y lo
escribimos, si hay mas terminos todos juntos los unimos con signo +
En este caso observamos que se forman 4 terminos en este orden:
(¬B¬CD)+(A¬CD)+(A¬B¬C)+(A¬BD)
Si lo hubieramos realizado por medio de las propiedades booleanas quedaria así, tomando de la tabla general los
cinco resultados con salida de 1
Flip flop es elemento biestable para un dispositivo secuencial que normalmente muestrea sus entradas y cambia sus
salidas solamente en ocasiones determinadas por una señal de reloj. La mayor diferencia entre un latch y un flip flop
es el uso del reloj de este último.
la entrada J podrá cambiar el estado de la salida tomando el valor de 1. Pero una vez en este
estado, solo K podrá cambiar el estado de la salida.
Este es el resumen de su comportamiento:
En esta hay cuatro estados deseables para que funcione consecutivamente, sin que se
afecte el estado prohibido.
En este caso tenemos tres variables J K y Q. Para la salida deseada es el comportamiento
del flip flop en el estado siguiente, por lo que necesitamos 8 estados y los identificamos
mejor:
Recordemos, que el LATCH SR nos dio la posibilidad de desenclavar sin desenergizar pero
usando dos
señales de entrada diferentes (S y R), luego el LATCH D nos otorgó la misma posibilidad con
una sola
señal de entrada a cambio de esto, desapareció el estado de permanencia y el estado
prohibido.
Posteriormente, adicionamos una señal de control al LATCH D para no perder el dato
almacenado.
Luego, el LATCH JK nos permitió adicionar la propiedad de permanencia perdida con el
LATCH D, y
eliminó el estado prohibido convirtiéndolo en el estado complementario.
Ahora, con el objeto de conservar el dato de la salida, adicionemos una señal de control:
Contadores:
Para proceder al diseño del contador, debemos partir de determinar el número de bits
requeridos para
representar un número decimal de 0 a 15 y éstos son cuatro bits, es decir un nible
Con un sistema binario se requieren cuatro bits, ya que 2 4 = 16, luego son 16
combinaciones diferentes para 16 números decimales..
El número 16 es conocido como el módulo del contador, es decir el número máximo de la
cuenta.
El siguiente diagrama de tiempos nos muestra la secuencia que deben seguir las salidas Q1,
Q2, Q3 y
Q4 para poder seguir la secuencia
Estos son los números equivalentes en decimal con la respectiva tabla de verdad veamos la
tabla para
comprenderlo mejor; observa cómo en la tabla se resalta el mismo dígito que el diagrama de
tiempos.
Una manera de diseñar este contador es usando varios flip-flop JK enclavados en el estado
de
conmutación:
Ahora vamos a representar la secuencia de cada estado deseadoa partir de la ecuación característica:
Secuenci Q3 Q Q1 Q0 J0 Q3 Secuenci Q2 Q Q0 K0
a Actual 2 a 1
deseada
0 0 0 0 0 1 0 1 0 0 0 X
1 0 0 1 1 X 0 2 0 1 0 1
2 0 0 0 0 x 0 3 0 1 1 0
3 0 0 0 1 0 0 4 1 1 0 X
4 0 1 1 0 1 0 5 1 1 0 X
5 0 1 1 0 X 0 6 1 1 1 1
6 0 1 1 1 x 0 7 1 1 1 0
7 0 1 1 1 0 1 8 0 0 0 x
8 1 0 0 0 0 1 9 0 0 0 ?
9 1 0 0 0 1 0 0 0 0 0 X
JD
KD
JC
KC
JB
CD
JA
KA
A partir de este ejemplo, podemos resumir el cálculo de los números que deseamos calcular a partir de la tabla de
excitación de Flip flop JK teniendo como resultado las siguientes ecuaciones de estado:
Número JD KD JC JC JB KB JA KA
de
intervalo
0-1 1
0-2 A 1 -B 1
0-3 A A 1 1
0-4 BA 1 A A -A-C 1
0-5 BA -BA -CA A 1 1
0-6 BA B-A A BA+CB-A -B+-C-A 1
0-7 BA BA A A 1 1
0-8 CBA -C BA D+BA A A C+D 1
0-9 CBA D-BA BA BA+D -DA -DA 1 1
0-10 CBA DB-A -DBA D+BA A A+D-C -D+-B-C 1
0-11 CBA DBA -DBA BA A A -C+-D 1
0-12 CBA C BA BA+D A A -C+-D 1
0-13 CBA C-BA BA BA+DA -DA+-CA A 1 1
0-14 CBA CB-A BA BA+DB A DC+A -D+-C+-B 1
0-15 CBA CBA BA BA A A 1 1
Para 0-1
Para 0-2
Para 0-3
Para 0-4
Para 0-5
Para 0-6
Para 0-7
Para 0-8
Para 0-9
Para 0-10
Para 0-11
Para 0-12
Para 0-13
Para 0-14
Para 0-15