Prof. Lic. LUIS ROLANDO PACHECO HUAROTTO

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.

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 transmisinC. 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.

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.

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.

ESTADO LGICOINTERRUPTORSITUACIN DEL CIRCUITOF = 0ABIERTOAPAGADO

V = 1CERRADOENCENDIDO

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

pqpqCircuito Lgico111100010000

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

pqpqCircuito Lgico111101011000

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:

1. Dado el siguiente circuito, escribir la proposicin equivalente:

2.- Dado el siguiente circuito, escribir la proposicin equivalente:

3.- Dada la siguiente proposicin: (p ~ p) ~ p A cul de los circuitos este es equivalente?

A)B)C)D)E)

4.- Disee los circuitos a conmutadores correspondientes a:

a) (p v q) v [(~p v q) (p q)]

[(p v ~q) ^ (q v ~p)] v [(p v ~q) ^ p ^ ~q] v [(p v ~q) ^ q ^~p)]

[(p v ~q) ^ (q v ~p)] v {[(p v ~q) ^ (p ^~q)] v [(p v ~q) ^ (q ^ ~p)]}d) { [(p v q) ^ r ] v [(p ^ q) v (~p ^ ~q)] } ^ [(p ^ q) v (r ^ q v p)]5.- Escriba la proposicin equivalente al siguiente CKT:a)b)c)d)http://www.lhs.edu.pe/recursos/matematica/2009/10mo/CIRCUITOS_LOGICOS.pdfGRACIAS POR SU ATENCIN !Prof. Luis R. Pacheco Huarotto