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.

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

ESTADO
LGICO

INTERRUPTOR

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. Simplificar al mximo el siguiente circuito: (contina en la

siguiente diapositiva)

Sabiendo que la proposicin:

xy
es equivalente al circuito:

2. Dado el circuito correspondiente a la

funcin boolena: (pq) (qp)
A cul de los circuitos este es equivalente?

A)
B)
C)
D)
E)

QUIJANO HIYO, J. (s.a) lgebra. Teora y

Problemas. Lima: San Marcos.
GARCA ZRATE, O. (2007) Lgica. Lima:
UNMSM.