UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
CIRCUITOS LÓGICOS
1. CIRCUITOS LÓGICOS.
La Lógica moderna tiene múltiples aplicaciones y una de ellas es en la tecnología, donde se
aplica la lógica de las proposiciones a los circuitos eléctricos. Esta aplicación es posible
gracias al isomorfismo. (Igualdad de formas) existente entre ambas teorías. Su
descubrimiento se debe al norteamericano Claudio Shanon en 1936.
Para establecer este isomorfismo es necesario referimos a las operaciones de conjunción,
disyunción y negación, que en electrónica se denominan producto, suma e inversión
respectivamente. Dado que las tres operaciones indicadas pueden representar a todas las
demás, el isomorfismo entre las dos teorías es completo.
Los elementos que intervienen en un circuito eléctrico (conmutadores, interruptores o
lámparas) se caracterizan porque no son de naturaleza mecánica sino eléctrica, magnética
o electromagnética, razón por la que pueden contener dos estados (llamados estados
binarios) que se designan por los símbolos "1" y "0".
2. CIRCUITOS A CONMUTADORES.
Un circuito a conmutador es un circuito que tiene “interruptores" que permiten el paso de
la corriente o la interrupción de la corriente.
En este caso, para diseñar los circuitos eléctricos se usa la siguiente notación:
El 1 indica que “pasa corriente”
El 0 indica "no pasa corriente"
De manera que en circuitos se usa como notación:
El 1 en lugar de V
El 0 en lugar de F
Quedaría establecida una correspondencia unívoca entre los conjuntos:
𝑉 = {𝑉, 𝐹} 𝑦 𝛽 = {1,0}
3. DISEÑO DE CIRCUITOS A CONMUTADORES.
a) Para una proposición p:
b) Para dos proposiciones p y q:
Circuito en Serie:
Circuito en Paralelo:
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
Nota.
En circuitos a conmutadores no es posible representar circuitos diferentes a los vistos
anteriormente (serie y paralelo) para fórmulas compuestas, por lo que es necesario que
transformemos aquellas fórmulas que no tienen representación directa (condicional, por
ejemplo) haciendo uso de las leyes de Equivalencia revisadas anteriormente.
c) La condicional: 𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
d) La disyunción exclusiva: 𝑝∆𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (~𝑝 ∨ ~𝑞)
𝑝∆𝑞 ≡ (𝑝 ∧ ~𝑞) ∨ (~𝑝 ∧ 𝑞)
e) La bicondicional: 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞)
𝑝 ↔ 𝑞 ≡ (~𝑝 ∨ 𝑞) ∧ (𝑝 ∨ ~𝑞)
4. SIMPLIFICACIÓN DE CIRCUITOS.
La simplificación de circuitos es posible por el isomorfismo existente explicado al inicio.
PROCEDIMIENTO.
1º. Se traducen los esquemas al lenguaje lógico.
2º. Se simplifica la expresión lógica obtenida.
3º. Se construye un esquema de la expresión simplificada
EJERCICIOS
1. Determinar la menor expresión que representa al circuito dado:
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
2. Determinar los circuitos lógicos que representan a los siguientes esquemas
moleculares:
a) ~[𝑝 → ~(𝑞 ∨ 𝑟)]
b) ~𝑝 ↔ (𝑝 → ~𝑞)
c) (𝑝 ∨ 𝑞) → [(~𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)]
d) (𝑝∆𝑞) → (𝑞∆𝑝)
e) {[(𝑟 ∨ 𝑞) ∧ 𝑝] ∨ ~𝑟} ∧ 𝑞
3. Simplificar y hallar el equivalente a los circuitos dados:
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
PRÁCTICA DE CLASE N° 2
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
Lógica
UNIVERSIDAD NACIONAL DE CAJAMARCA FACULTAD DE INGENIERÍA
Lógica