Вы находитесь на странице: 1из 8

Escuela de Ingeniera Mecatrnica

LECTURA 01
TEMA: INTRODUCCION A LA LOGICA DIGITAL

Tecnologa.
El mundo tecnolgico que tenemos hoy en da est fundamentado en el uso de mquinas que
realizan labores y para ello estas requieren de una estructura fsica, una fuente energtica que
les permita realizar sus labores, pero tambin requieren de sistemas de procesamiento de
informacin.
El procesamiento de informacin es importante porque le da a la mquina la capacidad de tomar
decisiones a la hora de desarrollar sus actividades, de manera que no requieren la intervencin
directa humana.
En la actualidad existen muy pocos equipos y sistemas que no incorporen algn tipo de
procesamiento de informacin, desde el horno de microonda, el automvil, hasta las plantas
industriales y los transbordadores y satlites.

Fig1. Mquina de vapor.

Fig 2. Brazo robot

Existen adems un conjunto de mquinas cuyo propsito es exclusivamente el procesamiento


de informacin en grandes volmenes y a gran velocidad, estas liberan al ser humano de tener
que hacer esta labor directamente y sin las limitaciones que esto implicara.
El cerebro humano tiene limitaciones naturales, entonces se utilizan sistemas de procesamiento
de informacin artificiales para soportar la necesidad cada vez ms creciente de manejar
informacin en grandes cantidades y rpidamente. Aqu encontramos desde las calculadoras,
las computadoras hasta los sistemas de gestin de datos en las empresas y las organizaciones
gubernamentales.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Fig3. Calculadora

Fig4. Computadora porttil

Fig5. Anlisis de imgenes

Electrnica
La electrnica es una tcnica que se basa en el uso de los fenmenos asociados a las corrientes
elctricas para procesar informacin. La ventaja de la electrnica respecto a otras tcnicas de
procesamiento de informacin anteriores es que tiene una mayor versatilidad en el manejo de
los datos (se puede amplificar, atenuar, filtrar, multiplexar, modular, etc), y adems trabaja a
mucha mayor velocidad.

Fig6. Circuito elctrico

Fig7. Pila

Fig8. Vlvula termoinica Fig9. Transistor

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


En los inicios de la tecnologa electrnica los sistemas eran fundamentalmente analgicos y
permitieron el desarrollo de tecnologas muy tiles para su poca, tales como la telefona, la
radiotransmisin, el control continuo, la televisin, la instrumentacin y equipos de medida, etc.
Luego los sistemas fueron convirtindose en sistemas digitales sobre todo debido a la aparicin
de los transistores de estado slido que abarataron los costos, redujeron los tamaos y redujeron
el consumo de los sistemas electrnicos. As la tecnologa de procesamiento digital creci
permitiendo la aparicin de las computadoras digitales y los sistemas de comunicaciones
digitales. Adems progresivamente los sistemas analgicos han sido reemplazados por sus
equivalentes digitales, esto debido a las ventajas que presentan los sistemas digitales en
comparacin con los sistemas analgicos, tales como la estabilidad de la informacin y la
flexibilidad en su operacin.

Fig10. Televisor analgico

Fig12. Instrumentacin analgica

Fig11. Televisor digital

Fig13. Instrumentacin digital.

La operacin de los sistemas llamados analgicos se basan en funciones lineales y continuas de


descripcin de las interacciones fsicas en sus etapas.
La operacin de los sistemas llamados digitales se basa en la lgica digital para el procesamiento
de informacin.

Pero, Qu es la lgica digital?

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


Lgica Digital
La lgica digital es una tcnica de procesamiento de informacin que emula el anlisis de la
lgica proposicional pero opera variables de valor 1 o 0 en reemplazo de Verdadero V o
Falso F.

V=verdadero

1=verdadero

F=falso

0=falso

Tenemos que entender primero la lgica proposicional para poder entender la lgica digital.

Lgica proposicional

La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia vlida.
La palabra deriva del griego antiguo logike, que significa dotado de razn, intelectual, dialctico,
argumentativo, que a su vez viene de logos, palabra, pensamiento, idea, argumento, razn o
principio.

Fig14. Aristteles

As como el objeto de estudio tradicional de la qumica es la materia, y el de la biologa la vida,


el de la lgica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a
partir de premisas. La lgica investiga los principios por los cuales algunas inferencias son
aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lgica, y no
por el contenido especfico del argumento o el lenguaje utilizado. Por esta razn la lgica se
considera una ciencia formal, como la matemtica, en vez de una ciencia emprica.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del siglo XIX,
su formalizacin simblica ha demostrado una ntima relacin con las matemticas, y dio lugar a
la lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica,
un clculo definido por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a la
informtica.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


A continuacin hablaremos del razonamiento lgico, de cmo relacionar juicios de tal manera
que si fueran verdaderos los juicios de los que partimos, ni nos podramos equivocar nunca en
los nuevos juicios que obtuviramos. Pues la propia estructura de los juicios y de la relacin que
establecemos entre ellos asegura la validez y la evidencia.

El razonamiento lgico es entonces un conjunto de juicios que mantienen entre s relaciones


lgicas de tal forma que partiendo de algunos juicios dados a los que denominamos premisas
podemos llegar deductivamente a un juicio que no tenamos y que denominamos conclusin.
La obtencin de la conclusin, si procedemos lgicamente, asegura la validez de la misma por
la propia estructura lgica de los juicios que componen las premisas.

Por ejemplo, si partimos como premisas de lo siguiente:

Si llueve entonces se moja la calle


y
Est lloviendo.
Qu podemos concluir?

La calle est mojada

Esto es una inferencia o razonamiento deductivo, en el cual si las premisas fueran verdaderas,
la conclusin tambin lo sera.

La lgica podemos definirla como la ciencia de los principios de la validez formal de la inferencia.

El contenido de una proposicin lo representamos mediante una variable. Para lo cual


emplearemos letras. Las proposiciones que interesan a la lgica son siempre proposiciones
enunciativas o aseverativas, y como es una lgica bivalente, sus proposiciones sern siempre
slo verdaderas o falsas. Por tanto, una proposicin formalizada por la variable p podr tener el
valor verdadero o falso. Simbolizaremos estos valores con (1,0). 1 para lo verdadero y 0 para lo
falso. Si lo expresamos en forma de tabla, obtendremos lo siguiente:

p
0
1

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


Para dos variables p y q, las posibles combinaciones de sus valores de verdad que se pueden
dar entre ellas seran:
p
0
0
1
1

q
0
1
0
1

En general dado un nmero n de proposiciones, el nmero de combinaciones posibles de sus


valores de verdad sera 2 As para n=3 sus combinaciones sern 8, para n=4 sern 16
combinaciones.

Las premisas en una expresin pueden tener algunas relaciones o conectividad entre ellas y en
relacin a la conclusin. A estas conectividades las llamaremos funciones lgicas.
A continuacin mencionamos algunas de estas funciones lgicas.

La Negacion: , NOT, NO, Complemento booleano.


Es una funcin que toma como argumento una proposicin y arroja como resultado el
valor contrario al de la proposicin.

Ejem: Si no llueve entonces la calle est seca


p= llueve
z=la calle est seca

z=f(p) el valor de z depende o es una funcin del valor de p


z=p

la tabla de verdad de este sistema sera

p
1
0

z
0
1

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


La conjuncin: , AND, Y, Producto booleano
Sean p y q dos proposiciones cualquiera podemos unirlas conjuntivamente mediante Y
o cualquier otra forma de unin conjuntiva del lenguaje natural. La conjuncin de dos
proposiciones es verdadera cuando lo son a su vez las dos proposiciones componentes.

Ejem: Si es de da y el cielo est limpio entonces la calle est soleada


p= es de da
q= el cielo est limpio

z=la calle est soleada

z=f(p,q) el valor de z depende o es una funcin del valor de p y de q


z=p q

la tabla de verdad de este sistema sera

p
0
0
1
1

q
0
1
0
1

z
0
0
0
1

La disyuncin: , OR, O, Suma booleana


Sean dos proposiciones cualquiera p y q. Podemos unirlas mediante la disyuncin O y
la simbolizaremos mediante . El valor de la conclusin ser verdadera si cualquiera de las
proposiciones es verdaderas o ambas.

Ejem: Si es de noche o el cielo esta nublado entonces la calle est oscura.


p= es de noche
q= el cielo est nublado

z=la calle est oscura

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica


z=f(p,q)

el valor de z depende o es una funcin del valor de p y de q

z=p q

la tabla de verdad de este sistema sera

p
0
0
1
1

q
0
1
0
1

z
0
1
1
1

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Похожие интересы