Practica #3: Universalidad de compuertas Nand
y Nor
Pablo Ambrosi Bustamante
Facultad de Ingenieras, Universidad de Cuenca
Cuenca, Ecuador
[email protected]
Abstracto en el presente informe se realiza operaciones de
conversin de compuertas: not, and y or en sus equivalentes:
nand y nor.
Index terms.- compuertas lgicas, Teoremas Booleanos,TTL.
I. INTRODUCCIN
Todas las expresiones Booleanas estn formadas por algunas
combinaciones de las operaciones bsicas OR, AND e
INVERSOR. De este modo cualquier expresin puede
implantarse con las compuertas OR, AND e INVERSOR. Sin
embargo, tambin es posible hacerlo nicamente con arreglos
de compuertas NAND, NOR, realizan las tres operaciones
Boolenas, OR, AND e INVERSOR..
II. OBJETIVOS
-
General:
o Implementar circuitos lgicos, empleando
nicamente compuertas NAND y NOR.
Especficos:
o Aplicar los Teoremas de DeMorgan, para la
simplificacin de expresiones algebraicas
booleanas.
o Reconocer la utilidad y ventajas en la
implementacin de circuitos mediante un solo
tipo de compuertas lgicas.
o Describir la operacin de un circuito lgico
mediante su expresin algebraica.
o Adquirir destreza y habilidad en la
implementacin de sistemas electrnicos
digitales.
o Emplear correctamente los catlogos de
dispositivos electrnicos integrados..
III. MATERIALES
Plataforma NI ELVIS
Protoboard
Resistencias(): 330
Compuertas 7408, 7404, 7432,7400, 7402
Cables de conexin.
Diodo led
IV. SUSTENTO TERICO
Algebra de Boole
Teoremas Booleanos
Prctica realizada el da 28 de marzo del 2016 en el Lab de Digital de la U
de Cuenca, bajo la supervisin del Ing. Alcides Araujo P.
Los teoremas booleanos son enunciados siempre verdaderos, lo
que permite la manipulacin de expresiones algebraicas,
facilitando el anlisis o sntesis de los circuitos digitales. Los
teoremas booleanos son los siguientes:
1. X + 0 = X
2. X + 1 = 1
3. X0 = 0
4. X1 = X
5. (X)=X
6. X + X = X
7. XX = X
8. X + X = 1
9. X.X= 0
10. X + XY = X
11. X +XY = X + Y
12. XY + XY = X (Teorema de combinacin)
13. (X +Y)(X + Y) = X + XY + XY = X
14. XY + XZ + YZ = XZ + YZ (Consenso)
El teorema 12 se conoce como la ley distributiva para tres
variables.
Demostracin teorema 12:
XY + XY = X
Utilizando la ley distributiva para tres variables
XY + XY= X(Y+Y)
Aplicando el teorema 8 se tiene,
XY + XY= X1
Dando como resultado,
XY + XY= X
Esta expresin indica que la suma de dos productos cannicos
adyacentes, es decir que difieren en una sola de las variables, se
reduce al producto de los dems trminos suprimindose dicha
variable. El teorema 13 es otro caso del teorema de
combinacin. Los teoremas 12 y 13 se utilizarn en las
lecciones siguientes de forma sistemtica para sintetizar
circuitos lgicos con los mtodos de mapas de Karnaugh y el
algortimo de Quine-McCluskey. [1]
Contraejemplo:
Teoremas de DeMorgan
es decir, el circuito combinatorio de un producto de sumas debe
de tener el siguiente patrn:
Los teoremas de DeMorgan demuestran la equivalencia entre
las puertas NAND y negativa - OR, y las puertas NOR y negativa
AND.
1.
El complemento de la suma de variables es igual al
producto de los complementos de las variables.
(X1 + X2 +.....+ Xn) = X1 X2 ..... Xn
Fig 2. Productos de sumas
En el caso de dos variables se tiene,
(X + Y) = X Y[1]
1) Suma de Productos y Producto de Sumas
Cuando se trabaja con expresiones booleanas, es deseable que
estas se encuentren expresadas en una de dos formas: como
suma de productos o como producto de sumas.
Una suma de productos consiste de dos o ms grupos de
literales, cada literal es recibida como entrada por un AND y la
salida de cada una de estas compuertas (AND) es recibida como
entrada por una compuerta OR.
Se puede pasar una expresin booleana a suma de productos o
producto de sumas utilizando las leyes distributivas vistas
anteriormente.
Ejemplo. Convertir a producto de sumas la siguiente
expresin:
.
Ntese
forma
esta expresin
donde
,
booleana
y
es
de la
, por lo
tanto como
factoriza
Ejemplo:
que
entonces
de
la
. Finalmente
misma
manera
obtener
se
para
.[3]
Finalmente, los siguientes teoremas permiten convertir a
producto de sumas o suma de productos una expresin de
manera sencilla:
Contraejemplo:
es decir, el circuito combinatorio de una suma de productos
debe de tener el siguiente patrn:
[3]
Tabla de equivalencias:
Fig 1. Suma de productos
Un producto de sumas consiste de dos o ms grupos de
literales, cada literal es recibida como entrada por un OR y la
salida de cada una de estas compuertas (OR) es recibida como
entrada por una compuerta AND.
Ejemplo:
Tabla 1. Equivalencia de compuertas not, and y or en nand y
nor
Tabla 2. Tabla de verdad circuito original G
Mintrminos:
Key = X
Para una funcin booleana de
variables
Key = Y
un producto booleano en el que cada una de las
variables
Key = Z
aparece
una
sola
vez
(negada
sin
negar)
es
llamado minitrmino. Es decir, un minitrmino es una
expresin lgica de n variables consistente nicamente en el
Fig3. Circuito Lgico para G
operador conjuncin lgica (AND) y el operador complemento
0
o negacin (NOT).
Key = X
Por
Key = Y
220
ejemplo,
son
ejemplos
de minterms para una funcin booleana con las tres variables
,
LED1
Key = Z
y .[4]
Simulacin: entradas 0, 0,0 salida 0
Maxtrminos:
0
Key = X
Un maxitrmino es una expresin lgica de n variables que
consisten nicamente en la disyuncin lgica y el operador
220
Key = Y
LED1
Key = Z
complemento o negacin. Los maxterms son una expresin
dual de los minitrminos. En vez de usar operaciones AND
utilizamos operaciones OR y procedemos de forma similar.
Simulacin: entradas 0, 1, 0 salida 0
1
Por ejemplo, los siguientes trminos cannicos son
Key = X
maxitrminos:
Key = Y
220
LED1
Key = Z
[4]
Simulacin: entradas 1, 1, 1 salida 0
G yxzyxzxyz
V. DESARROLLO DE LA PRCTICA
1.
Dada la siguiente expresin algebraica booleana,
realice
el
diagrama
del
circuito
lgico
correspondiente, construya la tabla de verdad,
incluyendo nodos o seales intermedias y determine la
salida para todas las posibles combinaciones de las
variables de ingreso. Utilizando mtodos algebraicos
hallar . Implementar simultneamente los circuitos
para y .
G y (x z) y (x z x z)
X
(X+Z)
Y (X+Z)
XZ + XZ
Y (XZ + XZ)
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
0
1
1
0
0
0
1
0
1
1
0
1
0
0
1
0
1
1
0
1
0
0
1
0
1
1
1
1
0
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
Tabla 3. Tabla de verdad circuito G
A
Fig4. Circuito lgico para G
Key = Y
Key = X
U14
0
AB
Key = Z
XLC1
U13
U12
220
LED1
Simulacin: entradas 0, 0,0 salida 1
U13
U12
0
Key = Y
Key = X
U14
0
Key = Z
220
Key = X
Key = Y
U14
1
U12
Simulacin: entradas 0, 1,0 salida 1
U13
LED1
Key = Z
Fig5. Circuitos solo con NOR
220
LED1
Simulacin: entradas 1, 1, 1 salida 1
2.
Convertir la expresin algebraica en operaciones
tipo NOR. Realice el diagrama del circuito lgico.
Implementar el circuito empleando nicamente
compuertas tipo NOR. Completar la tabla de
verdad y comprobar el funcionamiento del circuito,
comparndolo con la tabla del punto 1 para .
Usamos la tabla 1 para pasar a compuertas tipo nor,
obteniendo como circuito lgico el siguiente:
X
Fig6. Tabla de verdad obtenida de la simulacin de
circuitos NOR
0
0
0
0
0
0
1
1
0
1
0
0
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
0
Tabla 2. Tabla de verdad para funcin G
3.
Convertir la expresin algebraica en operaciones
tipo NAND. Realice el diagrama del circuito lgico.
Implementar el circuito empleando nicamente
compuertas tipo NAND. Completar la tabla de
verdad y comprobar el funcionamiento del circuito,
comparndolo con la tabla del punto 1 para .
Usamos la tabla 1 para pasar a compuertas tipo NAND,
obteniendo como circuito lgico el siguiente:
Fig6. Circuito lgico solo con NAND
X
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
Tabla 3. Tabla de verdad para funcin G
Y1
U19
Fig7. Foto de los 4 circuitos emulados
VI. CONCLUSIONES
-
Key = Z
Key = Y
U18
Key = X
220
Mediante el lgebra de Boole se logra obtener expresiones
como G y G .
Se comprob la universalidad de las compuertas NAND y
NOR, para ello se usa la tabla 1 que es la tabla de
equivalencias de las compuertas lgicas principales a las
NAND y NOR.
El lgebra de Boole ayuda a obtener expresiones reducidas
usando todos los teoremas tales como negaciones de
Morgan, identidades y propiedades.
LED1
VII. RECOMENDACIONES
-
Simulacin: entradas 0,0,0 salida 1
Y1
U19
Key = Z
Key = Y
U18
Key = X
220
Revisar que el NI ELVIS este correctamente conectado a
su fuente de poder, encender el pc y ejecutar el lanzador de
instrumentos.
Fijarse que los cables de conexin que vamos a usar el en
estn correctamente situados en los pines de las compuertas
y la alimentacin del NI ELVIS.
LED1
VIII. BIBLIOGRAFA
[1] www.virtual.unal.edu.co/cursos/ingenieria/2000477/lecciones/020102.htm
[2]Carlos Barco Gomez. (2005). lgebra Booleana. Aplicaciones
tecnolgicas. Caldas: Universidad de Caldas.
[3]http://homepage.cem.itesm.mx/pchavez/material/arqui/Modulos/ModuloIIS
implificacion/MaterialSimplificacion/SimplificacionAlgebraica/SOPyPOS/SO
PyPOS.htm
[4]https://es.wikipedia.org/wiki/Formas_can%C3%B3nicas_(%C3%A1lgebra
_de_Boole)
Simulacin: entradas 0,1,0 salida 1
Y1
U19
Key = Z
Key = Y
U18
1
Key = X
220
LED1
Simulacin: entradas 1,1,1 salida 1
Y1
U19
Key = Z
Key = Y
U18
0
Key = X
220
LED1
Simulacin: entradas 0,1,1 salida 0
