03 - Puertas lógicas

Volver al curso

Las puertas lógicas son los elementos constituyentes de los circuitos digitales.

Puerta NOT

La salida es el complemento de la entrada:

$$ S=\overline{E} $$

Buffer o seguidor

$$ S=A $$

Puerta AND

$$ S=A\cdot B $$

Ejemplo con tres entradas:

Puerta OR

$$ S=A+B $$

Ejemplo con tres entradas:

 Puerta XOR

Puerta “OR exclusiva”

$$ S=A\oplus B = A \cdot \bar{B} + B \cdot \bar{A} $$

Si las entradas son iguales, la salida es “0”; si las entradas son distintas, la salida es “1”.

Ejercicio del tanque de agua

Ejercicio anterior resuelto. Simúlalo en Logisim:

Puerta NAND (AND negada)

$$ S=\overline{A\cdot B} $$

Puerta NOR (OR negada)

$$ S=\overline{A+ B} $$

Puerta XNOR (XOR negada)

$$ S=\overline{A \oplus B} $$

La simbología IEC y otras

https://tallerelectronica.com/2019/02/24/simbologia-de-funciones-o-puertas-logicas/
https://tallerelectronica.com/2019/02/24/simbologia-de-funciones-o-puertas-logicas/

Puertas lógicas en circuitos integrados de la familia 7400 (TTL)

ICs (circuitos integrados, “chips”) de la serie 7400:

Atención: si les metes tensiones negativas a la entrada, se estropean.

Puertas lógicas en circuitos integrados de la familia 4000 (CMOS)

Bajo consumo eléctrico, pero tiempos de respuesta ligeramente más rápidos que en TTL. Míralas en https://es.wikipedia.org/wiki/Serie_4000

Atención: no cuentan con protección antiestática, pueden estropearse con el contacto con las manos.

 Niveles de tensión y compatibilidad entre familias lógicas TTL y CMOS

https://www.jsykora.info/2014/05/logic-voltage-levels/
https://www.jsykora.info/2014/05/logic-voltage-levels/

Álgebra de George Boole

El álgebra booleana permite simplificar circuitos lógicos:

Leyes fundamentales de OR:

$$ A+0=A $$

$$ A+1=1 $$

$$ A+A=A $$

$$ A+\overline{A}=1 $$

Leyes fundamentales de AND:

$$ A\cdot 1=A $$

$$ A\cdot 0=0 $$

$$ A\cdot A=A $$

$$ A\cdot\overline{A}=0 $$

Ley fundamental de NOT:

$$ \overline{\overline{A}}=A $$

Propiedades conmutativa, asociativa, distributiva

Propiedad conmutativa:

$$ A+B= B+A $$

$$ A\cdot B= B \cdot A $$

Propiedad asociativa:

$$ (A+B)+C= A+(B+C)$$

$$ (A \cdot B) \cdot C= A \cdot (B \cdot C)$$

Propiedad distributiva:

$$ A \cdot (B+C) = (A \cdot B) + (A \cdot C)$$

$$ A + (B \cdot C) = (A + B) \cdot (A + C)$$

Leyes de Augustus De Morgan

Estas son las más importantes!!!

$$ \overline{A\cdot B}=\overline{A} + \overline{B} $$

$$ \overline{A+ B}=\overline{A} \cdot \overline{B} $$

Si combinamos con la ley fundamental del NOT, que decía que $ \overline{\overline{A}}=A $, podemos convertir fácilmente sumas en productos y viceversa:

$$ {A+ B}=\overline{\overline{A + B}} = \overline{\overline{A}\cdot \overline{B}} $$

¿No tienes puertas NOR? ¡usa NAND!

$$ {A\cdot B}=\overline{\overline{A \cdot B}} = \overline{\overline{A}+\overline{B}} $$

¿No tienes puertas NAND? ¡usa NOR!

PRÁCTICA 03a - Dibuja en Logisim (De Morgan)

AND (izquierda) y OR (derecha) implementadas cada una de dos formas distintas
AND (izquierda) y OR (derecha) implementadas cada una de dos formas distintas

Tenemos entonces dos formas de hacer cada uno de los dos circuitos. Fíjate que las entradas A, B se cortocircuitan para excitar los dos formatos a la vez.

Simplificación sólo con un tipo de puerta

Las leyes de De Morgan permiten resolver cualquier circuito lógico sólo con puertas NAND o bien sólo con puertas NOR. Esto se debe a que estas puertas engloban la función de la AND, de la OR y de la NOT.

Funciones canónicas

Las funciones canónicas son expresiones matemáticas que engloban toda una tabla de verdad. Ofrecen dos posibilidades:

Por ejemplo, dadas las entradas A, B, C, D podemos expresar la salida f1:

$$f1= \overline{A} \cdot \overline{B} \cdot \overline{C} \cdot D + \overline{A}\cdot\overline{B}\cdot C \cdot \overline{D} + \overline{A}\cdot \overline{B} \cdot C \cdot D + \overline{A} \cdot B \cdot \overline{C} \cdot D + A \cdot\overline{B}\cdot \overline{C} \cdot \overline{D} + A \cdot B \cdot C \cdot D $$

$$f1= (A+B+C+D)\cdot (A+\overline{B}+C+D)\cdot (A+ \overline{B}+ \overline{C} + D)\cdot (A+ \overline{B}+ \overline{C}+ \overline{D}) \cdot (\overline{A}+B+C+\overline{D}) \cdot (\overline{A}+B+\overline{C}+D) \cdot (\overline{A}+B+ \overline{C}+ \overline{D})\cdot (\overline{A}+\overline{B}+C+D)\cdot (\overline{A}+ \overline{B}+ C+ \overline{D})+(\overline{A}+ \overline{B}+ \overline{C}+D)$$

Ambas funciones son equivalentes. Usaremos la suma de productos casi siempre.

Simplificación mediante mapas de Karnaugh

Las funciones anteriores se podrían simplificar aplicando las propiedades del álgebra de Boole, pero no es rápido ni práctico. En lugar de eso, usaremos la técnica de los mapas de Karnaugh.

Se trata de representar la tabla de verdad en dos dimensiones en la que los bits se ordenen en código Gray.

Una vez representada la tabla, deberás rodear los grupos de bits adyacentes: grupos de 1, 2, 4, 8… (potencias de 2). Siempre la mayor cantidad posible.

Debes entender la tabla como un mapamundi (la tierra es redonda) y por tanto las celdas de los lados son adyacentes, y las de los lados también.

Dos variables de entrada:

Tres variables de entrada:

Cuatro variables de entrada:

PRÁCTICA 03b - Dibuja en Logisim (función canónica y Karnaugh)

Tenemos tres pulsadores y un grifo. El grifo se activa cuando se pulsan al menos dos de los tres pulsadores.

  1. Tabla de verdad.
  2. Función canónica por minterms
  3. Implementar la función canónica con puertas AND, OR, NOT

Y ahora hazlo simplificando:

  1. Función canónica por Karnaugh
  2. Implementar con puertas NAND.

PRÁCTICA 03c

Ejercicio 1: Escribe la función canónica y simplifica mediante mapas de Karnaugh las siguientes tablas de verdad:

a)

b)

c)

Fuente: https://ikastaroak.ulhi.net/edu/es/IEA/ELEC/ELEC02/ es_IEA_ELEC02_Contenidos/website_43_mtodo_de_karnaugh_ejemplos.html

Ejercicio 2: Dibuja la tabla de verdad y simplifica las siguientes funciones canónicas con el método de Karnaugh:

a)

b)


Volver al curso