Vicente Efraín Gavidia CI-03 1

Aplicación de Proposiciones en Circuitos Lógicos

Son estructuras formales (sistemas abstractos) que representan sistemas 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éctrico. (Wikipedia, 2017)
Unas de las aplicaciones mas más interesantes del Cálculo Proposicional es la de la Teoría de los
Circuitos.
Las partes esenciales de cualquier circuito son: el hilo conductor. La fuente de electricidad y un
interruptor como se ve en la figura. (Jaramillo, 2011)

Por facilidad, esquematizaremos un circuito como el de la figura 1(b) en donde A es el interruptor y el

hilo conductor es ST y suponemos que la fuente siempre está funcionando; entonces, si el interruptor A
está cerrado, circula electricidad de S a T y si A está abierto diremos que no circula electricidad. Cuando
un interruptor está cerrado diremos que su estado es V y si está abierto que está en estado F.
Consideremos el siguiente circuito:

Donde L es una lámpara que puede estar prendida o apagada, si está prendida diremos que está en estado
V y si está apagado en estado F. Ahora consideremos los siguientes casos:

i) Que el interruptor A está cerrado, y el interruptor B cerrado.

Es claro entonces que la electricidad pasa por el hilo conductor ST y la lámpara L entonces se prende.
Dicho en otras palabras, si A es V y B es V entonces L es V.

ii) Que el interruptor A está cerrado, B está abierto. Luego la lámpara L estará apagada.

iii) Que el interruptor A está abierto, que B está cerrado. Luego la lámpara L estará apagada.

iv) Que el interruptor A está abierto, que B está abierto. Luego la lámpara L estará apagada.