1. CIRCUITOS LÓGICOS
2.1. Premisa fundamental de la informática
Para que la informática pueda ser enfocada desde el
punto de vista de la lógica es menester plantear la
El circuito eléctrico es un dispositivo por el que fluye (o premisa fundamental de esta ciencia de las
se transmite) la corriente (o los impulsos eléctricos).
computadoras según la cual:
Distingamos sus elementos en el siguiente gráfico:
* La Lógica (ciencia cuya unidad mínima es la fórmula
1) Fuente de energía (pila, batería o tomacorriente)
proposicional) y la Electrodinámica (ciencia
2) Cable conductor que transmite el flujo eléctrico
relacionada con los circuitos eléctricos) son isomorfas y
3) Foco o lámpara (que es un tipo de carga o conforman la Informática.
resistencia (o receptor). Otros pueden ser una plancha,
una refrigeradora, un receptor de ondas de radio o de
TV, etc.)
4) Interruptores (llamados así porque interrumpen o
permiten el flujo de electricidad. También se llaman
conmutadores)
1. Circuito eléctrico
2.2.2. Circuito en paralelo
Es aquel que está constituido por interruptores dispuestos
uno a lado del otro. Se le representa mediante una
disyunción. En este circuito basta que uno de los
interruptores esté cerrado para que el foco prenda.
2.2. Tipos de circuitos
Los circuitos que vamos a presentar reciben el nombre
de circuitos a conmutadores, llaves o switches:
2.2.1. Circuito en serie
2. Circuito lógico
Es una estructura formal (sistema abstracto) que
representa modelos para la transmisión de información
de toda índole (desde la electricidad hasta datos
informáticos) simulando el comportamiento real de un
circuito. El anterior circuito eléctrico puede ser
expresado lógicamente así:
Es aquel que está constituido por interruptores
dispuestos uno detrás de otro. Se le representa mediante
una conjunción. En este circuito basta que uno de los
interruptores esté abierto para que el foco no prenda.
2.2.3. Negación
Una proposición simple se representa mediante un
circuito con un solo interruptor. Pero, cuando
encontremos proposiciones simples negadas las
representaremos de la manera tradicional ( p) o con
una coma como superíndice (p ´). Ejemplo: