CIRCUITOS LGICOS

UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

LA INFORMTICA
DEFINICIN: La informtica (de informacin y automtica) es el estudio de los procedimientos que permiten manipular, almacenar, procesar y transmitir las informaciones en forma automtica y su utilizacin en ordenadores. La computadora es una mquina que trata automticamente la informacin. Realiza operaciones en la siguiente forma: acepta datos, los procesa de acuerdo a las indicaciones del programa respectivo y entrega el resultado.

QU ES INFORMACIN? La informacin es el conjunto de datos organizados, procesados, valorables en cantidad y calidad, que constituyen un mensaje sobre un determinado ente o fenmeno. Informacin significa toda transmisin de seales a travs de canales.
En Lgica la informacin la entenderemos como la situacin de verdadera o falsa de una proposicin, es decir, la calidad de una proposicin o en este caso el estado de cerrado o abierto de un interruptor y el estado de prendido o apagado de un foquito. PREMISA FUNDAMENTAL: La Lgica (Ciencia cuya unidad mnima es la frmula proposicional) y la Electrnica (Ciencia cuya base son los circuitos elctricos) son isomorfas y conforman la Informtica.

LA INFORMTICA

DEFINICIN DE CIRCUITO LGICO

Son estructuras formales (sistemas abstractos) que representan sistemas para la transmisin de informacin de toda ndole (desde la electricidad hasta datos informticos) simulando el comportamiento real de un circuito elctrico. Circuito elctrico es toda de transmisin de impulsos elctricos. Los circuitos elctricos reales tienen los siguientes elementos: A. Fuente de energa (batera, pila, tomacorriente) B. Cable de transmisin C. Interruptores (llamados as porque interrumpen o permiten el flujo de electricidad) D. Resistencia o receptor de informacin (foco, lmpara) La energa parte del polo negativo de la fuente y se transmite por el cable llega hasta el foco (que se prende) y viaja por el cable hasta llegar al polo positivo de la fuente.

CIRCUITO ELCTRICO

ISOMORFISMO

La aplicacin de la lgica proposicional a los circuitos elctricos es posible en virtud del isomorfismo existente entre ambos. Llamamos isomorfismo a la relacin de igualdad estructural que existe entre dos objetos. En efecto, el matemtico e ingeniero norteamericano Claudio Shannon uno de los diseadores de las modernas computadoras descubri, en 1936, el isomorfismo (igualdad de formas bsicas) existentes entre la lgica de proposiciones y la teora de los circuitos elctricos. Gracias a este descubrimiento se ha desarrollado una teora sistemtica de los circuitos elctricos y sta ha hecho posible resolver cualquier problema concerniente a la construccin y funcionamiento de estos circuitos bsicos de las computadoras electrnicas. Para hacer el isomorfismo es necesario considerar slo 3 funciones lgicas: la conjuncin, la disyuncin y la negacin. Como a travs de esas 3 funciones bsicas se puede definir las dems funciones lgicas, entonces el isomorfismo es total.

ISOMORFISMOS

La verdad o la falsedad de una proposicin puede representarse por 1 y 0. Mientras que el 1 indica presencia, el 0 indica ausencia, de ah que 1 y 0 se asocian a lo verdadero y lo falso. PRIMER ISOMORFISMO Una proposicin simple puede ser verdadera o falsa. De igual manera podemos decir que un interruptor puede estar cerrado o abierto. Ser verdadero es como estar cerrado y ser falso es como estar abierto. Las posibilidades son anlogas: V = 1 = interruptor cerrado pasa la informacin V = 0 = interruptor abierto no pasa la informacin SEGUNDO ISOMORFISMO Ahora bien, una proposicin compuesta puede ser verdadera o falsa. De igual manera, si fluye la informacin entonces el foquito encender, y si no fluye entonces el foquito no encender. El estado de encendido y apagado corresponden a los valores de verdad y falsedad respectivamente. De nuevo, las posibilidades son anlogas: V = 1 = foco prendido la informacin est pasando F = 0 = foco apagado la informacin no est pasando

TABLA DE ISOMORFISMOS

ESTADO LGICO F=0 V=1

INTERRUP TOR ABIERTO CERRADO

SITUACIN DEL CIRCUITO APAGADO ENCENDIDO

El interruptor determina si la informacin pasa o no pasa. El foquito forma parte del cable y, por tanto, tambin su situacin depende de los interruptores.

CIRCUITO EN SERIE: Es aquel que est constituido por interruptores dispuestos uno detrs de otro. Se le representa mediante una conjuncin. BASTA QUE UNO DE LOS INTERRUPTORES EST ABIERTO PARA QUE EL FOCO NO PRENDA

TIPOS DE CIRCUITOS LGICOS

p 1 1

q 1 0

pq 1 0

Circuito Lgico

0
0

1
0

0
0

CIRCUITO EN PARALELO: Es aquel que est constituido por interruptores dispuestos uno a lado del otro. Se le representa mediante una disyuncin. BASTA QUE UNO DE LOS INTERRUPTORES EST CERRADO PARA QUE EL FOCO PRENDA

p 1 1 0 0

q 1 0 1 0

pq 1 1 1 0

Circuito Lgico

LA AFIRMACIN Y LA NEGACIN

Convencin: Una proposicin simple se representa mediante un circuito con un solo interruptor. Cuando encontremos proposiciones simples negadas las representaremos de igual manera o con una coma como superndice: p . Ejemplo:

LGICA PROPOSICIONAL

La lgica proposicional es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

LGICA PROPOSICIONAL
Considrese el siguiente argumento: Maana es mircoles o maana es jueves. Maana no es jueves. Por lo tanto, maana es mircoles. Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo:

LGICA PROPOSICIONAL

Est soleado o est nublado. No est nublado. Por lo tanto, est soleado. Y me siento mal En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: Ni est soleado ni est nublado. No est nublado. Por lo tanto, est soleado.

LGICA PROPOSICIONAL
Las expresiones de las que depende la validez de los argumentos se llaman constantes. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as: p o q No q Por lo tanto, p Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as: Ni p ni q No q Por lo tanto, p