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

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.

ESTADO LGICO

INTERRUPTO
R

SITUACIN DEL CIRCUITO

F=0

ABIERTO

APAGADO

V=1

CERRADO

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

pq

Circuito Lgico

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

pq

Circuito
Lgico

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)]
c) [(p v ~q) ^ (q v ~p)] v [(p v ~q) ^ p ^ ~q] v [(p v ~q) ^ q ^~p)]
d) [(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)
c)

b)
d)

http://www.lhs.edu.pe/recursos/matematica/2009/10mo/CIRCUITOS_LOGICOS.pdf
GRACIAS POR SU ATENCIN !
Prof. Luis R. Pacheco Huarotto