Materia: Sistemas de Lógica Combinatoria.

Tarea/Investigación: “investigación 4.1. Teoremas de Demorgan.”

Nombre del docente: Ing. Aldo Esteban Aguilar Castillejos.

Carrera: Lic. En Ingeniería Mecatrónica.

Semestre: Quinto Semestre.

Segundo Parcial.

Nombre del Alumno: Oscar Antonio Barrientos Gutiérrez.

Número de Cuenta: 180005374.

Fecha de entrega: 15 de octubre del 2017.

Investigación 4.1.

Los teoremas de Demorgan, nos dicen que es para implementar el uso de

compuertas NAND o NOR, simplificando de alguna forma un circuito de
compuertas lógicas.

1er. Teorema de Demorgan.

El cual nos dice lo siguiente.

• ̅̅̅̅̅̅̅̅
𝐴 + 𝐵 = 𝐴̅ ∗ 𝐵̅

Lo cual visto de una forma más matemática y extensa para indicar que esto no
cambia si en vez de dos entradas como se ve anteriormente hubiesen 3 o 4,
incluso cinco.

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
Así, que tenemos lo siguiente: 𝑋 ̅̅̅ ̅̅̅ ̅̅̅̅
1 + 𝑋2 + ⋯ + 𝑋𝑛 = 𝑋1 ∗ 𝑋2 ∗ … ∗ 𝑋𝑛

Esto nos indica que una compuerta NOR, es equivalente a dos NOT seguidos de
un AND.
Lo cual se podría confirmar con una simulación.

A lo cual le hacemos su tabla de verdad a cada uno y obtenemos lo siguiente.

A B OUT
A B OUT
0 0 1
0 0 1
0 1 0
0 1 0
1 0 0
1 0 0
1 1 0
1 1 0

2ndo. Teorema de Demorgan.

Este nos dice que.

• ̅̅̅̅̅̅̅
𝐴 ∗ 𝐵 = 𝐴̅ + 𝐵̅

Si tuviésemos en vez de dos puertas, 3 ó 4 puertas, tendríamos que no cambia ya

que este teorema se puede expresar de igual forma como.

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑋 ̅̅̅ ̅̅̅ ̅̅̅̅
1 ∗ 𝑋2 ∗ … ∗ 𝑋𝑛 = 𝑋1 + 𝑋2 + ⋯ + 𝑋𝑛

Por lo que este teorema nos dice que una compuerta NAND es equivalente a dos
NOT, seguidos de un OR.
Esto se puede comprobar con el uso de una simulación en Proteus.

A lo cual se le realiza la tabla de verdad a cada una para poder comprobar.

A B OUT
A B OUT

0 0 1
0 0 1

0 1 1
0 1 1

1 0 1
1 0 1

1 1 0
1 1 0

Doble negada.

Se dice que un 𝐴̅ es la negación de A, por lo tanto podemos decir lo siguiente.

𝐴̿ = A

Teniendo unas variaciones de dichos teoremas.

1ER TEOREMA:

𝐴 + 𝐵 = ̅̅̅̅̅̅̅
𝐴̅ ∗ 𝐵̅

2NDO TEOREMA:

̅̅̅̅̅̅̅̅
𝐴∗𝐵 = 𝐴 ̅ + 𝐵̅

Referencias.

Uso de algunos sitios web.

https://www.ecured.cu/index.php/Teorema_de_Morgan

http://arantxa.ii.uam.es/~ig/practicas/enunciados/prac3/teoremasBoole.pdf