INSTITUTO TECNOLOGICO

DE

TUXTEPEC

ASIGNATURA:
ELECTRONICA DIGITAL
TRABAJO:
UNIDAD 11 FUNCIONES Y
COMPUERTAS LOGICAS
ALUMNO:
LUIS ANGEL MIGUEL MACARENO
CATEDRTICO:
HUGO CASTELLANOS MENESES
SEMESTRE:

GRUPO:
4

B
ESPECIALIDAD:
INGENIERA EN ELECTROMECANICA

UNIDAD 2 FUNCIONES Y COMPUERTAS LOGICAS

2.1 COMPUERTAS LOGICAS

2.2 TABLAS DE VERDAD

La tabla de verdad es un instrumento utilizado para la simplificacin de circuitos
digitales a travs de su ecuacin booleana.
Las tablas de verdad pueden tener muchas columnas, pero todas las tablas
funcionan de igual forma.
Hay siempre una columna de salida que representa el resultado de todas las
posibles combinaciones de las entradas.
El nmero total de columnas en una tabla de verdad es la suma de las entradas
que hay + 1 (la columna de la salida).

verdadero
El valor verdadero se representa con la letra V; si se emplea notacin numrica
se expresa con un uno: 1; en un circuito elctrico, el circuito est cerrado.

falso
El valor falso se representa con la letra F; si se emplea notacin numrica se
expresa con un cero: 0; en un circuito elctrico, el circuito est abierto.

Si

variable
Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen as:

negacin
La negacin es un operador que se ejecuta, sobre un nico valor de verdad,
devolviendo el valor contradictorio de la proposicin considerada.

Conjuncin
La conjuncin es un operador que acta sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro
caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

en simbologa "^" hace referencia a el conector "y"

Disyuncin
La disyuncin es un operador que acta sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son,
y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

implicacin o condicional
El condicional material es un operador que acta sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
falso slo cuando la primera proposicin es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia, doble implicacin o Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores
de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad son diferentes.
La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental

Nmero de combinaciones
Partiendo de un nmero n de variables, cada una de las cuales puede tomar el
valor verdadero: V, o falso: F, por Combinatoria, podemos saber que el nmero total
de combinaciones: Nc, que se pueden presentar es:
Nc = 2^n
el nmero de combinaciones que se pueden dar con n variable, cada una de las
cuales puede tomar uno entre dos valores lgicos es de dos elevado a n, esto es, el
nmero de combinaciones: Nc, tiene crecimiento exponencial respecto al nmero
de variable n:

Si consideramos que un sistema combinacional de n variables binarias, puede

presentar un resultado verdadero: V, o falso: F, para cada una de las posibles
combinaciones de entrada tenemos que se pueden construir Cp circuitos posibles
con n variables de entrada, donde:
Cp = 2^{2^{n}}
Que da como resultado la siguiente tabla:

Para componer una tabla de verdad, pondremos las n variables en una lnea
horizontal, debajo de estas variables desarrollamos las distintas combinaciones
que se pueden formar con V y F, dando lugar a las distintas Nc, nmero de
combinaciones. Normalmente solo se representa la funcin para la que se
confecciona la tabla de verdad, y en todo caso funciones parciales que ayuden en
su clculo, en la figura, se pueden ver todas las combinaciones posibles Cp, que
pueden darse para el nmero de variables dado.

2.4 COMPUERTAS COMPUESTAS

Otras funciones lgicas pueden derivarse de la combinacin de las compuertas
AND , OR y NOT as :
De la combinacin de AND con NOT se obtiene NAND.
Compuerta NAND (NO-AND): Equivale a una compuerta AND negada Se fabrica
de 2 y ms entradas.
De la combinacin de OR con NOT se obtiene NOR.
Compuerta NOR (NO OR): Equivale a una compuerta OR negada. Se fabrica
de 2 y ms entradas.
De la combinacin de NOT con NOT se obtiene YES.
Compuerta YES (Seguidor): Entrega el mismo nivel lgico que entra. Se fabrica
de 1 sola entrada.

2.5 LGEBRA BOOLEANA Y TEOREMAS DE DEMORGAN

El lgebra booleana es un sistema matemtico deductivo centrado en los valores
cero y uno (falso y verdadero). Un operador binario " " definido en ste juego de
valores acepta un par de entradas y produce un solo valor booleano, por ejemplo,
el operador booleano AND acepta dos entradas booleanas y produce una sola
salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de
aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del
sistema, el lgebra booleana a menudo emplea los siguientes postulados:
Cerrado. El sistema booleano se considera cerrado con respecto a un operador
binario si para cada par de valores booleanos se produce un solo resultado
booleano.
Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A
para todos los posibles valores de A y B.

Es posible probar todos los teoremas del lgebra booleana utilizando stos
postulados, adems es buena idea familiarizarse con algunos de los teoremas ms
importantes de los cuales podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A A = A
Teorema 3: A + 0 = A
Teorema 4: A 1 = A
Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1
Teorema 7: (A + B)' = A' B'
Teorema 8: (A B)' = A' + B'
Teorema 9: A + A B = A
Teorema 10: A (A + B) = A
Teorema 11: A + A'B = A + B
Teorema 12: A' (A + B') = A'B'
Teorema 13: AB + AB' = A
Teorema 14: (A' + B') (A' + B) = A'
Teorema 15: A + A' = 1
Teorema 16: A A' = 0
Los teoremas siete y ocho son conocidos como Teoremas de De Morgan en honor
al matemtico que los descubri.

Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A

(B C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.
Identidad. Un valor booleano I se dice que es un elemento de identidad con
respecto a un operador binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador
booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de
A.

2.6 LEYES Y POSTULADOS

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de

operadores y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a stos valores respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de
variables de una sola letra se eliminar el smbolo , por lo tanto AB representa
la operacin lgica AND entre las variables A y B, a esto tambin le llamamos el
producto entre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la
operacin lgica OR entre A y B, tambin llamada la suma de A y B.
- El complemento lgico, negacin NOT es un operador unitario, en ste texto
utilizaremos el smbolo " ' " para denotar la negacin lgica, por ejemplo, A'
denota la operacin lgica NOT de A.

- Si varios operadores diferentes aparecen en una sola expresin booleana, el

resultado de la expresin depende de la procedencia de los operadores, la cual es
de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y
operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por
la izquierda. Si dos operadores con la misma procedencia estn adyacentes,
entonces se evalan de izquierda a derecha. El operador lgico NOT es asociativo
por la derecha.
Utilizaremos adems los siguientes postulados:
P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT
P2 El elemento de identidad con respecto a es uno y con respecto a + es cero.
No existe elemento de identidad para el operador NOT
P3 Los operadores y + son conmutativos.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+
(AC) y A+ (BC) = (A+B) (A+C).
P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.
P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

caractersticas
Un lgebra de Boole es un conjunto en el que destacan las siguientes
caractersticas:
1- Se han definido dos funciones binarias (que necesitan dos parmetros) que
llamaremos aditiva (que representaremos por x
+ y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un solo
parmetro) que representaremos por x'.
2- Se han definido dos elementos (que designaremos por 0 y 1)
Y 3- Tiene las siguientes propiedades:
Conmutativa respecto a la primera funcin: x + y = y + x
Conmutativa respecto a la segunda funcin: xy = yx
Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z)
Asociativa respecto a la segunda funcin: (xy)z = x(yz)
Distributiva respecto a la primera funcin: (x +y)z = xz + yz
Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z)
Identidad respecto a la primera funcin: x + 0 = x
Identidad respecto a la segunda funcin: x1 = x
Complemento respecto a la primera funcin: x + x' = 1
Complemento respecto a la segunda funcin: xx' = 0

Propiedades Del lgebra De Boole

Idempotente respecto a la primera funcin: x + x = x
Idempotente respecto a la segunda funcin: xx = x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin: x'' = x
Inmersin respecto a la primera funcin: x + (xy) = x
Inmersin respecto a la segunda funcin: x(x + y) = x
Ley de Morgan respecto a la primera funcin: (x + y)' = x'y'
Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

2.7 MINIMIZACIN DE FUNCIONES DE CIRCUITOS

Que es la minimizacin?
Bsicamente es la simplificacin de una funcin, obteniendo una expresin que
contenga menos trminos o menos variables que la funcin original. Esto se refleja
en la obtencin de circuito mas econmicos por tener un menor numero de
compuertas.
La simplificacin de estas funciones puede realizarse con el uso de lgebra de
Boole pero no es un mtodo sencillo de ejecutar. La manipulacin de funciones
booleana puede llegar a ser muy compleja y muchas veces es necesario un ingenio
considerable y quizs mucha suerte.
La minimizacin con lgebra de Boole presenta dos limitaciones importantes:
No existe un algoritmo que nos garantice encontrar la forma mas simple de la
expresin.
Dado un determinado resultado intermedio no hay forma de saber si realmente
hemos llegado a la forma mnima.
Para efecto de este curso cuando nos referimos a una expresin mnima, nos
estamos refiriendo a la expresin mas simple de dos niveles.

Forma de dos niveles

Cualquier funcin booleana puede ser implantada con dos niveles de compuertas.
Como se seal anteriormente una funcin puede ser representada utilizando la
forma suma de productos como:
f = ( )+( )+( ) .......+ ( )
De esta manera los trminos ( ) son productos de las variables de entrada
(negadas o no ) que se realizan con compuertas AND. Los + se realizan con una
compuerta OR de tantas entradas como trminos productos haya en la funcin.
Como resultado tendremos que la funcin puede realizase con dos niveles de
compuertas:
El nivel 1 representado por las compuertas AND y el nivel 2 representado por la
compuerta OR, como se muestra en la figura. (En el nivel 1 se consideran tambin
la variables negadas, que siendo formales se implantan con una compuerta NOT.)

Como sealamos anteriormente, la simplificacin de las funciones lgicas es una

meta importante por el hecho de que cuanto mas sencilla sea la funcin, ms fcil
ser construir el circuito equivalente. El objetivo de la simplificacin es el de
minimizar el costo de implantacin de una funcin mediante componentes
electrnicos, donde el costo depende del nmero y complejidad de los elementos
necesarios para construirla.
La optimalidad de la simplificacin utilizando Algebra de Boole depende de la
habilidad del diseador para aplicar la propiedad ms adecuada en cada paso del
proceso. Esta tarea se hace cada vez ms difcil al crecer la complejidad de la
expresin. Por ello, se utilizan algunos mtodos que facilitan y automatizan el
proceso de simplificacin de las funciones lgicas, como lo son los Mapas de
Karnaugh, y el mtodo de Quine-McCluskey. (Para este curso solo se cubrir el
mtodo de Mapas de Karnaugh) l

En este punto, siendo la minimizacin el ltimo paso antes de la implantacin en el

diseo de un sistema digital y antes de pasar a describir el mtodo de minimizacin
utilizando Mapas de Karnaugh, resumamos los diferentes pasos que deben
seguirse en un problema de diseo de lgica combinacional.
1.Se toman las proposiciones y se simbolizan.
2.Se construye una tabla de verdad con todas las combinaciones posibles de las
variables de entrada y se coloca un 1 para las combinaciones que cumplan con las
condiciones de diseo.
3.Se obtiene la forma cannica Suma de productos tomando los min trminos de la
tabla de verdad que sean iguales a 1.
4.Se simplifica la funcin utilizando Mapas de Karnaugh y se obtiene una expresin
mnima de dos niveles

2.8 FAMILIAS LGICAS

Una familia lgica es un conjunto de circuitos integrados que implementan
distintas operaciones lgicas compartiendo la tecnologa de fabricacin y en
consecuencia, presentan caractersticas similares en sus entradas, salidas y
circuitos internos. La similitud de estas caractersticas facilita la implementacin
de funciones lgicas complejas al permitir la directa interconexin entre los
chips pertenecientes a una misma familia.
Teniendo en cuenta el tipo de transistores utilizados como elemento de conmutacin,
las familias lgicas pueden dividirse en dos grandes grupos: las que utilizan
transistores bipolares y las que emplean transistores
MOS.
En ingeniera electrnica, se puede referir a uno de dos conceptos relacionados:
una familia lgica de dispositivos circuitos integrados digitales monolticos, es un
grupo de puertas lgicas (o compuertas) construidas usando uno de varios diseos
diferentes, usualmente con niveles lgicos compatibles y caractersticas de fuente de
poder dentro de una familia. Muchas familias lgicas fueron producidas como
componentes individuales, cada uno conteniendo una o algunas funciones bsicas
relacionadas, las cuales podran ser utilizadas como construccin de bloques para
crear sistemas o como por as llamarlo pegamento para interconectar circuitos
integrados ms complejos.

Tambin puede referirse a un conjunto de tcnicas usadas para la implementacin

de la lgica dentro de una larga escala de circuitos integrados tal como un
procesador central, memoria, u otra funcin compleja; estas familias usan tcnicas
dinmicas registradas para minimizar el consumo de energa y el retraso.
MOS
Estas familias, son aquellas que basan su funcionamiento en los transistores de
efecto de campo o MOSFET. Estos transistores se pueden clasificar en 2 tipos,
segn el canal utilizado:
1. NMOS: se basa nicamente en el empleo de transistores NMOS para obtener
una funcin lgica. Su funcionamiento de la puerta lgica es el siguiente: cuando
la entrada se encuentra en el caso de un nivel bajo, el transistor NMOS estar en
su zona de corte, por lo tanto, la intensidad que circular por el circuito ser nula
y la salida estar la tensin de polarizacin (un nivel alto); y cuando la entrada se
encuentra en el caso de que est en un nivel alto, entonces el transistor estar
conduciendo y se comportar como interruptor, y en la salida ser un nivel bajo.
2. PMOS:
El transistor MOS se puede identificar como un interruptor controlado por la tensin
de la puerta, V_G, que es la que determinar cundo conduce y cuando no.

IIL
Tambin conocida en su forma abreviada como I^2L, es la lgica de Inyeccin
integrada, sus siglas vienen de su nombre en ingls: Integrated Interjection Logic. Es
una clase de circuitos digitales construido con colectores mltiples BJT. Cuando fue
introducido, tena una velocidad comparable con la del TTL, y su potencia tan baja
como la del CMOS.