TRABAJO DE ALGEBRA BOOLEANA Y CIRCUITOS INTEGRADOS

PEDRO NEL CAMACHO ALVAREZ

ARLEY IMBACHI
JHON ALEXANDER ROMERO
ERIKA .

Asignatura: LOGICA MATEMATICA

INSTITUTO TECNOLOGICO DEL PUTUMAYO

FACULTAD DE INGENIERIA DE SISTEMAS
TECNOLOGIA PROGRAMACION Y SISTEMAS
MOCOA - PUTUMAYO
2010

TRABAJO DE ALGEBRA BOOLEANA Y CIRCUITOS INTEGRADOS

Trabajo presentado al Ingeniero:

EDGAR ARCINIEGAS
Docente

Presentado por:
PEDRO NEL CAMACHO ALVAREZ
ARLEY IMBACHI
JHON ALEXANDER ROMERO
ERIKA .

Asignatura: LOGICA MATEMATICA.

INSTITUTO TECNOLOGICO DEL PUTUMAYO

FACULTAD DE INGENIERIA DE SISTEMAS
TECNOLOGIA PROGRAMACION Y SISTEMAS
MOCOA - PUTUMAYO
2010

INTRODUCCION

Es de suma importancia y conocimiento medir el alcance de las expresiones

lgicas, las cuales e han convertido en la herramienta esencial en el desarrollo
de nuevas maquinas, accesorios y por ende en el funcionamiento de los
mismos; as pues, es necesario e importante sumergirse en el contenido de
ste texto para darse cuenta del porque y como funcionan ciertos artculos de
manera sincronizada.
Aunado a lo anterior l contexto permite ampliar el conocimiento acerca del
tema, toda vez que es indispensable en el aprendizaje de la Programacin en
equipos de cmputo y a la vez es el pilar fundamental en la estructura de los
computadores.

TABLA DE CONTENIDO

OBJETIVOS
ALGEBRA BOOLEANA
OPERACIONES
PROPIEDADES DEL ALGEBRA DE BOOLE
FORMAS QUE PUEDEN ADOPTAR LAS EXPRESIONES BOOLEANA
MAPA DE KARNAUGH
EXPRESIONES BOOLEANAS (Disyuntiva-Conjuntiva vs. Ejemplos)
CIRCUITOS INTEGRADOS
CIRCUITO DE CONMUTACION (Ejemplos)
COMPUERTA O PUERTA LOGICA
CLASES DE COMPUERTAS LOGICAS
CIRCUITO LOGICO
CONCLUSIONES
BIBLIOGRAFIA

OBJETIVOS

GENERALES
El presente escrito tienen como objetivo dar a conocer al consultor los
diferentes procesos que sufren los elementos para su funcionamiento, en
especial las funciones binarias las cuales se encuentran inmersas en cada una
de las partes que compone el equipo de computo, en efecto se trasladan o
transforman en piezas que por insignificantes que sean para el ser humano, su
construccin a travs de la historia requiri de mucho tiempo y esfuerzo para
que ste lograra funcionar.
ESPECIFICOS
Dar a conocer las implicaciones que conllevan la distribucin y aplicacin del
algebra booleana en los diferentes circuitos para que stos puedan funcionar
correctamente en su debida forma y oportunidad.

ALGEBRA BOOLEANA
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.
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.
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, esto es, (AB) C = A (BC) y (A+B)+C =
A+ (B+C).
Es posible probar todos los teoremas del lgebra booleana utilizando stos
postulados, los teoremas ms importantes son 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, lo

anterior en honor al matemtico que los descubri.
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

OPERACIONES:
Hemos definido el conjunto A = {0,1} como el conjunto universal sobre el que se
aplica el lgebra de Boole, sobre estos elementos se definen varias
operaciones, veamos las ms fundamentales:
Operacin suma
La operacin suma (+) asigna a cada par de valores a, b de A un valor c de A:

Su equivalencia en lgica de interruptores es un circuito de dos interruptores en

paralelo.
a

a+b

Si uno de los valores de a o b es 1, el resultado ser 1, es necesario que los

dos sumandos sean 0, para que el resultado sea 0.

Operacin producto
La operacin producto ( ) asigna a cada par de valores a, b de A un valor c de
A:

Esta operacin en lgica de interruptores es un circuito en serie de dos

interruptores
a

a b

Solo si los dos valores a y b son 1, el resultado ser 1, si uno solo de ellos es 0
el resultado ser 0.

Operacin negacin
La operacin negacin presenta el opuesto del valor de a:

a
0

Un interruptor inverso equivale a esta operacin:

Operaciones combinadas
Partiendo de estas tres operaciones elementales se pueden realizar otras ms
complejas, que podemos representar como ecuaciones booleanas, por
ejemplo:
a

Que representado en lgica de interruptores es un

de dos interruptores en paralelo, siendo el primero de ellos inverso.

circuito

La distinta secuencia de valores de a y b da los resultados vistos en la tabla de

verdad.

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'
FORMAS QUE PUEDEN ADOPTAR LAS EXPRESIONES BOOLEANA
(CANONICAS):
Minitrminos
Para una funcin booleana de n variables x1,...xn, un producto booleano en el
que cada una de las n variables aparece una sola vez (negada o sin negar) es
llamado minitrmino. Es decir, un minitrmino es una expresin lgica de n
variables consistente nicamente en el operador conjuncin lgica (AND) y el
operador complemento o negacin (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una funcin
booleana con las tres variables a, b y c.
Indexando minitrminos
En general, uno asigna a cada minterm (escribiendo las variables que lo
componen en el mismo orden), un ndice basado en el valor binario del
minterm.

Un trmino negado, como a' es considerado como el nmero binario 0 y el

trmino no negado a es considerado como un 1.
Por ejemplo, se asociara el nmero 6 con abc', y nombraramos la expresin
con el nombre m6. Entonces m0 de tres variables es a'b'c' y m7 debera ser abc
al ser 111(2.

Se puede observar que cada minterm solo devuelve verdadero, (1), con una
sola entrada de las posibles.
Por ejemplo, el minitrmino 5, ab'c es verdadero solo cuado a y c son ciertos y
b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.
Funcin equivalente
Si tenemos una tabla de verdad de una funcin lgica: f(a,b), es posible escribir
la funcin como "suma de productos". Por ejemplo, dada la tabla de verdad.

Observamos que las filas con resultado '1 son la primera y la tercera, entonces
podremos escribir f como la suma de los minitrminos: f(a,b) = m0 + m3.
Si queremos verificar esto:
f(a,b) = m0 + m3 = (a'b') + (ab)
Tendremos que la tabla de verdad de la funcin, calculndola directamente,
ser la misma.

Esta expresin aplicada a interruptores seria el de la figura, se puede ver que

hay dos ramas, en la superior dos interruptores inversos: a y b puestos en
serie, lo que es equivalente a ab, en la inferiores directos: a y b tambin en
serie que es equivalente a ab, estos dos circuitos puestos en paralelo resultan
ab + ab.

Maxitrminos
Un maxitrmino es una expresin lgica de n variables que consiste
nicamente en la disyuncin lgica y el operador complemento o negacin. Los
maxterms sn una expresin dual de los minitrminos. En vez de usar
operaciones AND utilizamos operaciones OR y procedemos de forma similar.
Por ejemplo, los siguientes trminos cannicos son maxitrminos:
a + b' + c
a' + b + c
Dualizacin [editar]
El complemento de un minterm es su respectivo maxitrmino. Esto puede ser
fcilmente verificado usando la Ley de De Morgan. Por ejemplo:
m1' = M1
(a'b)' = a + b'

Indexando maxitrminos
Para indexar maxitrminos lo haremos justo de la forma contraria a la que
seguimos con los minterms. Se asigna a cada maxterm un ndice basado en el
complemento del nmero binario que representa (otra vez asegurndonos que
las variables se escriben en el mismo orden, usualmente alfabtico). Por
ejemplo, para una funcin de tres variables f(a,b,c) podemos asignar M6
(Maxitrmino 6) al maxitrmino: a' + b' + c. De forma similar M0 de tres
variables debera ser a + b + c y M7 es a' + b' + c'.
Se puede ver fcilmente que un maxitrmino slo da como resultado un cero
para una nica entrada de la funcin lgica. Por ejemplo, el maxitrmino 5, a +
b' + c, es falso solo cuando a y c son ciertos y b es falso - la entrada a = 1, b =
0, c = 1 da como resultado un cero.
Funcin equivalente

Si tenemos una tabla de verdad de una funcin lgica, f(a,b), es posible escribir
la funcin como "producto de sumas". Por ejemplo, dada la tabla de verdad.

Observamos que las filas que tiene como salida un 0 son la segunda y la
cuarta, entonces podemos escribir f como un producto de maxitrminos M1M2.
Si queremos verificar esto:

f(a,b) = (a + b')(a' + b)
Tendremos que la tabla de verdad de la funcin, calculndola directamente,
ser la misma.

La

aplicacin en un circuito de interruptores, es el del esquema, donde se puede

ver los dos interruptores superiores a y a', y los inferiores b' y b.

En primer lugar tenemos puestos en paralelo a y b', lo que seria a+b', y a

continuacin, a' y b en paralelo que seria a'+b, estos dos circuitos parciales
puestos en serie son equivalentes a (a+b')(a'+b), las distintas combinaciones
de a y b, corresponden, como se puede ver a la tabla de verdad.
Este circuito y el anterior son claramente diferentes, pero los dos corresponden
a la misma tabla de verdad y por lo tanto equivalentes.

Aun partiendo de la misma expresin booleana, se pueden realizar distintas

configuraciones equivalentes, as se puede ver en esta segunda figura.
Se puede demostrar la equivalencia, simplificando la funcin, partiendo de:
f(a,b) = (a + b')(a' + b)
Realizando las multiplicaciones, tendremos:
f(a,b) = aa' + ab + b'a' + b'b
Simplificando:
f(a,b) = ab + b'a'
Con lo que tenemos la funcin obtenida por minitrminos.
MAPA DE KARNAUGH:
Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o
diagrama de Veitch, abreviado como K-Mapa o KV-Mapa) es un diagrama
utilizado para la minimizacin de funciones algebraicas booleanas. El mapa de
Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico
de los laboratorios Bell.
Los mapas K aprovechan la capacidad del cerebro humano de trabajar mejor
con patrones que con ecuaciones y otras formas de expresin analtica.
Externamente, un mapa de Karnaugh consiste de una serie de cuadrados,
cada uno de los cuales representa una lnea de la tabla de verdad. Puesto que
la tabla de verdad de una funcin de N variables posee 2 N filas, el mapa K
correspondiente debe poseer tambin 2N cuadrados. Cada cuadrado alberga
un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas
de Karnaugh se pueden utilizar para funciones de hasta 6 variables.
Reglas para el uso de mapas de Karnaugh
1. Los lazos de minterms (minitrminos) o maxterms (maxitrminos) son
con base en la potencia del sistema binario.
2. Los lazos van a ser horizontales y verticales; los diagonales no estn
permitidos. Aunque si que estn permitidos los verticales y horizontales
que lleguen al final de la fila o la columna, y vuelvan a enlazar-se otra
vez al inicio, o viceversa.
3. En un lazo las variables que cambien se deben eliminar. Las variables
que no cambien se deben representar en dicho lazo. Estas variables
sern positivas o negativas, positivas si dicho lazo que no cambia es un
1, negativas si es 0.

4. Hacer la menor cantidad de lazos o grupos con la mayor cantidad de

maxterms y minterms. Estos lazos solo pueden estar formados por
potencias de 2, por lo tanto los grupos sern de 2^1 o 2^2...2^n,
mientras 2^n sea ms pequeo que el nmero total de posiciones en la
tabla.
Esquema del mapa de Karnaugh:

0
8
10
2

X4|
|

X2|
|

X1
X3
__________
__________
4
5
1
12
13
9
14
15
11
6
7
3

Nmeros correspondientes a las posiciones de la tabla de la verdad

Ejemplo mapa de Karnaugh:

0
0
0
1

X4|
|

X2|
|

X1
X3
_________
_________
1
1
1
0
1
1
0
1
0
1
0
0

Tabla de lazos que se pueden permitir, segn las variables que contenga un
mapa: MAPAS segn su variable

v
2
3
4
5
6

2
2
3
4
5
6

4
1
2
3
4
5

8
C
1
2
3
4

16
NA
C
1
2
3

32
NA
NA
C
1
2

64
NA
NA
NA
C
1

NA
NA
NA
NA
C

v= variables
C= constantes
NA= no permitido
EXPRESIONES BOOLEANAS:
Una expresin booleana es una sucesin de smbolos que incluye 0,1, algunas
variables
y
las
operaciones
booleanas.

Para ser ms precisos definamos una expresin boolena en n variables x 1, x2...,

xn recursivamente como:
Los smbolos 0 y 1 y x1, x2,..., xn son expresiones booleanas en x1, x2,...
xn.
Si E1 y E2 son expresiones booleanas en x1, x2,... xn tambin lo son E1 +
E2; E1 E2 y E1.
Ejemplo 1.
Las siguientes son cuatro expresiones booleanas en las tres variables x, y, z:

(x + y)(x + z).1.
xz + xy + z.

x + y.
z.

Es obvio que las expresiones del lado izquierdo involucran las tres variables,
las del lado derecho dos y una variable respectivamente. Las expresiones
booleanas 0 y 1 pueden verse como expresiones en cualquier nmero de
variables.
El nmero de variables de una expresin booleana es el nmero de letras
distintas que aparezcan en la expresin, sin tener en cuenta si estn o no
complementadas.
FORMA NORMAL DISYUNTIVA: Una expresin booleana est en forma
normal disyuntiva en n variables x1, x2,... xn, si la expresin es una suma de
trminos del tipo E1 (x1) x E2( x2) x ... x En(xn), donde Ei(xi) = xi o xi para i = 1,
2,..., n, y ningn par de trminos son idnticos. Adems se dice que 0 y 1 estn
en F.N.D en una variable para todo n 0.
Teorema. Toda expresin booleana que no contiene constantes es igual a una
funcin en forma normal disyuntiva.
La manera de realizar esa transformacin la ilustra el siguiente ejemplo.
Ejemplo 2
Escribir (xy + xz) + x' en F.N.D
Solucin:
( xy + xz) + x' = (xy)(xz) + x'
= (x + y)(x + z) + x
= (x + y)x + (x + y)z + x
= x + xy + xz + yz + x

= x + yz
= x(y + y)(z + z) + yz(x + x)
= x y z + x y z + x y z + x y z + x y z
Cualquier expresin booleana puede colocarse en forma normal disyuntiva en
ms de una forma. Basta cambiar el nmero de variables.
Ejemplo 3.
f = x y es una expresin booleana en dos variables en F.N.D. Si la
multiplicamos por z + z (que es 1), obtenemos f = x y z + x y z la cual es una
expresin
booleana
en
tres
variables
escrita
en
F.N.D.
Se considerar, a menos que se diga otra cosa, que la F.N.D se refiere a
aquella forma que contiene el menor nmero posible de variables. Con esta
excepcin, se puede demostrar que la F.N.D de una funcin est determinada
unvocamente
por
la
funcin.
Si se desea escoger slo uno de los trminos posibles en una F.N.D en n
variables, es decir, escoger a x o a x para cada una de las n variables x i, i =
1,2,...,n; hay exactamente 2n trminos distintos que pueden aparecer.
Definicin. La forma normal disyuntiva en n variables, que contiene 2 n
trminos se llama forma normal disyuntiva completa en n variables.
Teorema. Si a cada una de las n variables de una expresin booleana en la
F.N.D se le asigna el valor 0 o 1 de una forma arbitraria pero fija, entonces
exactamente un trmino de la F.N.D completa tendr el valor 1, todos los
dems
trminos
tendrn
el
valor
0.
Demostracin. Suponga que a1, a2,... an, representan los valores asignados a
x1, x2,... xn, en ese orden, donde cada a i es 0 o 1. Escoja un trmino de la forma
normal completa como sigue: Use x i si ai = 1, y use xi si ai = 0 para cada xi, i =
1,2,...,n. El trmino as escogido es un producto de n unos, y por lo tanto, es 1.
Todos los otros trminos contendrn por lo menos un factor 0, y en
consecuencia,
sern
0.
Una consecuencia de este teorema, es que la F.N.D completa sea identica a 1.
Ejemplo 4.
Sea f(x,y) = x y + x y + x y + x y. Si se asigna a x el valor de 0 y a y el valor 1
entonces se tendr:
f(x,y) = 1.1 + 1.0 + 0.1 + 0.0
= 1 + 0 + 0 + 0 = 1.

Teorema. Dos expresiones booleanas son iguales si y slo si sus respectivas

F.N.D
son
iguales.
Teorema. Para establecer cualquier Identidad en lgebra booleana, es
suficiente verificar el valor de cada funcin para todas las combinaciones de 0 y
1
que
pueden
asignarse
a
las
variables.
Se concluye entonces, que una expresin booleana est completamente
determinada por los valores que toma para cada asignacin posible de 0 y 1 a
las variables respectivas. Luego las funciones se pueden especificar
completamente dando una tabla que represente estas propiedades.
En el diseo de circuitos, esta es precisamente la manera como las
expresiones booleanas son construidas. Si tal tabla ha sido dada, entonces la
expresin booleana en F.N.D puede escribirse por inspeccin. A cada conjunto
de condiciones para los cuales la expresin booleana sea 1, corresponder un
trmino en la F.N.D escogida. La suma de estos trminos da la funcin aunque
no
necesariamente
en
la
forma
ms
simple.
Ejemplo

5.

Encuentre y simplifique la expresin booleana especificada por la siguiente

tabla.
RENGLON

f(x,y,z)

La expresin booleana tendr dos trminos que se obtienen de las filas 5 y 7

donde la expresin booleana vale 1.
f(x,y,z) = x y' z' + x y z'
= x z' (y + y')
= x z.
Ejemplo 6.

Hallar el complemento de la expresin booleana del ejemplo 5, en F.N.D.

Solucin. El complemento de cualquier expresin booleana en la F.N.D
contiene los trminos de la forma normal disyuntiva completa que faltan en la
funcin
dada.
El complemento ser entonces la siguiente expresin booleana.
f'(x,y,z) = x z + x' z + x' z'
Se puede demostrar fcilmente que f'(x,y,z) = x' + z que es el resultado
obtenido si hubiramos utilizado las leyes de morgan en la expresin f(x,y,z) = x
z'.
FORMA NORMAL CONJUNTIVA: En esta forma cada funcin se representa
como un producto de sumas, en lugar de una suma de productos.
4.3.3.1 Definicin. Una funcin booleana est en F.N.C en n variables x 1, x2,...
xn, para n 0, si la funcin en un producto de factores del tipo E 1 (x1) + E2( x2)
+ ... + En(xn), donde Ei(xi) = xi o xi para i = 1, 2, ..., n, y ningn par de factores
son idnticos. Se dice tambin que 0 y 1 estn en F.N.C en n variables para n
0.
4.3.3.2 Teorema. Toda funcin en un lgebra booleana que no contiene
constantes es igual a una funcin en forma normal conjuntiva.
Ejemplo 7.
Escribir la funcin (x y' + x z)' + x' en F.N.C.
Solucin:
(x y' + xz)' + x'
= (x' + y) (x' + z') + x'
= (x' + x' + y) (x' + x' + z' )
= (x' + y) (x' + z' )
= (x' + y + z z' ) (x' + z' + yy' )
= (x' + y + z ) (x' + y + z' ) (x' + y' + z ) (x' + y' + z' )
Definicin. La forma normal conjuntiva en n variables que contienen 2 n
factores se llama forma normal conjuntiva completa en n variables.
Teorema. Si a cada una de las n variables de una F.N.C se le asigna el 0 o 1
de una manera arbitraria, pero fija, entonces exactamente un factor de la F.N.C

en las n variables tendr el valor 0 y todos los dems factores tendrn el valor
1.
Ac se asignar a las variables sin prima el valor de 0 y las variables con prima
el valor de 1. El factor adecuado es entonces la suma de estas letras, cada una
de las cuales tiene el valor 0. Todos los dems factores tienen el valor 1.
Teorema. Dos funciones, cada una expresada en la forma normal conjuntiva en
n variables, son iguales si y slo si contienen idnticos factores.

Ejemplo 8.
Encuentre y simplifique la funcin f(x,y,z) dada por la siguiente tabla.
x

f(x,y,z)

La F.N.C tendr 2 trminos o factores y sern los correspondientes a las filas

segunda y sexta las cuales la funcin es 0.
Esto es:
f(x,y,z) = ( x + y + z) ( x + y + z)
f(x,y,z) = y + z

Generalmente la F.N.C es usada cuando el nmero de ceros es menor que el

nmero de unos en la columna F; y la F.N.D es usada cuando el nmero de
unos es menor que el nmero de ceros en la columna f.
El complemento de una funcin booleana escrito en F.N.C est constituido por
los factores de la F.N.C completa que faltan en la funcin dada.

Ejemplo 9.
El complemento de ( x + y')( x + y) es ( x + y)( x + y).

CIRCUITOS INTEGRADOS
CIRCUITOS DE CONMUTACION:
En electricidad y electrnica, las leyes del lgebra de Boole y de la lgica
binaria, pueden estudiarse mediante circuitos de conmutacin. Un circuito de
conmutacin estar compuesto por una serie de contactos que representarn
las variables lgicas de entrada y una o varias cargas que representarn las
variables lgicas o funciones de salida. Los contactos pueden ser normalmente
abiertos (NA) o normalmente cerrados (NC). Los primeros permanecern
abiertos mientras no se acte sobre ellos (por ejemplo al pulsar sobre
interruptor, saturar un transistor, etc.). Los contactos NC funcionarn
justamente al contrario. Esto significa que si se acta sobre un contacto NA se
cerrar y si se hace sobre uno NC se abrir.
Ejemplo de un interruptor
Se debern de tener en cuenta los siguientes convenios (ver Figura 1):
Un contacto NA representa una variable lgica.
Un contacto NC representa una variable lgica negada (A').
Un circuito cerrado se considera un uno lgico (1).
Un circuito abierto se considera un cero lgico (0).
Si no se acta sobre un contacto se considera que la variable que
representa es 0.
Si se acta sobre un contacto se considera que la variable que
representa es 1.
Si la carga no se excita la funcin se considera 0 (por ejemplo una
lmpara apagada).
Si la carga se excita la funcin se considera 1 (lmpara encendida).

COMPUERTAS LGICAS:
Una compuerta lgica es un circuito lgico cuya operacin puede ser definida
por una funcin del lgebra lgica, cuya explicacin no es el objeto de esta
obra.
Veamos entonces las compuertas lgicas bsicas, para ello definamos el
termino tabla de la verdad, por utilizarse a menudo en las tcnicas digitales.
Se llama tabla de verdad de una funcin lgica a una representacin de la
misma donde se indica el estado lgico 1 o 0 que toma la funcin lgica
para cada una de las combinaciones de las variables de las cuales depende.
CLASES DE COMPUERTAS LOGICAS:
Todos los circuitos lgicos digitales, desde el mas simple contador hasta el mas
sofisticado microprocesador, son hechos interconectando combinaciones de
simples bloques de construccin llamados compuertas lgicas (logia gates).
Compuertas bsicas (AND, OR, NOT).
Compuertas secundarias (NOR, NAND, XOR, XNOR)
Inversor: Circuito lgico que tiene una sola entrada y una sola salida. La salida
del inversor se encuentra en el estado lgico 1 si y solo si la entrada se
encuentra en el estado lgico 0. Esto significa que la salida toma el estado
lgico opuesto al de la entrada.
Compuerta lgica AND : Las puertas lgicas AND (o Y en castellano) son
circuitos de varias entradas y una sola salida, caracterizadas porque necesitan
disponer de un nivel 1 en todas las primeras para que tambin la salida adopte
ese nivel.
Basta con que una o varias entradas estn en el nivel 0 para que la salida
suministre tambin dicho nivel. Todas las unidades AND o derivadas del AND,
deben tener seal simultnea en todas sus entradas para disponer de seal de
salida. Observando el funcionamiento de la unidad AND se comprende
fcilmente que las entradas pueden ser aumentadas indefinidamente. Las
compuertas AND pueden tener ms de dos entradas y por definicin, la salida
es 1 si cualquier entrada es 1.

Compuerta lgica NAND: La funcin NO-Y, llamada mas comnmente NAND

es la negacin de la funcin Y (AND) precedente. As como en una puerta Y se
necesita que exista nivel 1 en todas las entradas para obtener el mismo nivel
en la salida, en una NAND el nivel de la salida seria 0 en las mismas
condiciones. Por el contrario, cuando hay un nivel 0 en alguna de las entradas
de una puerta Y la salida esta a nivel 0, mientras que en iguales circunstancias
en una puerta NAND el nivel de salida seria 1. Una designacin ms adecuada
habra sido AND invertido puesto que Es la funcin AND la que se ha invertido.
Compuerta lgica OR : La funcin reunin, tambin llamada O, al traducir su
nombre ingles OR, es la que solo necesita que exista una de sus entradas a
nivel 1 para que la salida obtenga este mismo nivel. La expresin algebraica de
esta funcin, suponiendo que disponga de dos entradas, es la siguiente: s = a +
b. Es suficiente que tenga seal en cualquiera de sus entradas para que de
seal de salida (OR). Las compuertas OR pueden tener ms de dos entradas y
por definicin la salida es 1 si cualquier entrada es 1.
Compuerta lgica NOR : La funcin NOR consiste en la negacin de la O, o
sea, as como esta suministra nivel 1 a su salida si cualquiera de las entradas
que posee esta a nivel 1, una puerta NOR se comporta justamente al revs. En
la funcin NOR es suficiente aplicarle una cualquiera de sus entradas para que
niegue su salida. la NOR pueden tener ms de dos entradas, y la salida es
siempre el complemento de las funciones AND u OR, respectivamente.
Compuerta lgica EX - OR:
La funcin O exclusiva (exclusive OR segn el idioma ingles) se caracteriza
porque su salida esta a nivel 1 siempre y cuando tambin lo estn un numero
impar de sus entradas.
Para conseguir la funcin O exclusiva de 3 entradas pueden usarse funciones
O exclusiva de dos entradas para acoplarse entre si.
Compuerta lgica EX - AND : La funcin Y exclusiva (exclusive AND en
ingles) se emplea para verificar comparaciones entre sus entradas. En efecto
su salida presenta nivel 1 cuando sus entradas se encuentran en el mismo
nivel, sin importar que dicho nivel sea 1 o 0
Compuerta lgica EX - NOR: Es la funcin negada de la compuerta EX - OR y
es el contrario de la EX - OR, su salida presenta nivel 1 cuando sus entradas
se encuentran en el mismo nivel, sin importar que dicho nivel sea 1 o 0, al igual
que las EX - AND
Compuerta lgica EX - NAND: Es la funcin negada de la compuerta EX AND y es el contrario de la EX - AND, Para conseguir la funcin O exclusiva de
3 entradas pueden usarse funciones O exclusiva de dos entradas para
acoplarse entre si.
CIRCUITO LOGICO:

Circuito lgico es aquel que maneja la informacin en forma de "1" y "0", dos
niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low". Los
circuitos lgicos estn compuestos por elementos digitales como la compuerta
AND (Y), compuerta OR (O), compuerta NOT (NO)...... y combinaciones poco o
muy complejas de los circuitos antes mencionados. Estas combinaciones dan
lugar a otros tipos de elementos digitales como las compuertas, entre otros.

Compuerta nand (No Y)

Compuerta nor (No O)
Compuerta or exclusiva (O exclusiva)
Multiplexores o Multiplexadores
Demultiplexores o Demultiplexadores
Decodificadores

-Codificadores
-Memorias
-Flip-Flops
-Microcontroladores
-Etc.

La electrnica moderna usa electrnica digital para realizar muchas funciones.

Aunque los circuitos electrnicos podran parecer muy complejos, en realidad
se construyen de un nmero muy grande de circuitos muy simples. En un
circuito lgico digital se transmite informacin binaria (ceros y unos) entre estos
circuitos y se consigue un circuito complejo con la combinacin de bloques de
circuitos simples; la informacin binaria se representa en la forma de:
- "0" "1",
- "abierto" "cerrado" (interruptor),
- "On" y "Off",
- "falso" o "verdadero", etc.

Los circuitos lgicos se pueden representar de muchas maneras. En los

circuitos de los grficos anteriores la lmpara puede estar encendida o
apagada ("on" o "off"), dependiendo de la posicin del interruptor. (Apagado o
encendido)
Los posibles estados del interruptor o interruptores que afectan un circuito se
pueden representar en una tabla de verdad.

CONCLUSIONES
Se pudo deducir que es de suma importancia entender el funcionamiento de los
diferentes componentes de una estructura electrnica, para el caso que nos
ocupa, los computadores por cuanto el objetivo es observar detalladamente el
recorrido que hacen los ceros (0) y unos (1) a travs un sinnmero de
componentes electrnicos y que un error equivale a la perdida total o parcial de
un programa o componente fsico, al igual que el fracaso de un experimento.

BIBLIOGRAFIA
WWW.GOOGLE.COM
WWW.WIKKIPEDIA.ORG
WWW.MONOGRAFIAS.COM
WWW.ELRINCONDELVAGO.COM
WWW.ALTAVISTA.COM