Universidad Catlica Los ngeles Matemtica y Lgica

de Chimbote
CIRCUITOS LGICOS

4.17 Circuitos Lgicos. George Boole desarroll a mediados del siglo XIX el
lgebra de Boole, conocida tambin como lgebra de la lgica y que permite
simplificar deductivamente afirmaciones lgicas.

4.17.1 Bit. Un bit es un dgito del sistema de numeracin binario (binary digit)
en el que se usan dos dgitos, el 0 y el 1. En nuestro sistema de numeracin
decimal se usan 10 dgitos.

Podemos suponer un bit como un foco que puede estar en uno de los
siguientes dos estados:

apagado o encendido

Se puede representar dos valores cualesquiera, como verdadero o falso, abierto

o cerrado, blanco o negro etc.

4.17.2 Combinaciones de Bits. Para codificar mayor informacin en un

dispositivo digital, necesitamos una mayor cantidad de bits. Si usamos dos bits,
tendremos cuatro combinaciones posibles, como el caso de dos proposiciones
lgicas:

Hay 4 combinaciones posibles Hay 4 combinaciones posibles

con dos bits con dos proposiciones
p q
Bit 1 Bit 0

1 1 V V

1 0 V F

0 1 F V

0 0 F F

Los unos representan estados encendidos y los ceros estados apagados.

Mg. Julio Nez Cheng 1

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
Con tres bits (tres proposiciones) cuantas combinaciones se pueden obtener?

2 =8

En general, con n nmero de bits (n proposiciones) pueden representarse hasta

2 valores diferentes.

Se crearn dos nuevas proposiciones representadas por 0 y 1, respectivamente.

El cero (0) representa toda proposicin que es Falsa y uno (1) como la
proposicin que siempre es Verdadera.
La conjuncin p q se representar por p q (un producto).
La disyuncin inclusiva p q se representar por p + q (una suma).
La Tabla de Verdad para p q ser usando el cero y el uno:

La conjuncin

p q pq
1= Verdadero 1 1 1
0 = Falso 1 0 0
pq=pq 0 1 0
0 0 0

La Disyuncin Inclusiva

p q p+q
1 1 1
1 0 1
0 1 1
0 0 0

pq=p+q

4.18 lgebra de Conmutacin. Una aplicacin importante del lgebra

booleana, es el lgebra de circuitos con dispositivos de dos estados: El ejemplo
ms simple es un conmutador que cumple una funcin de estar cerrado o
abierto.

Mg. Julio Nez Cheng 2

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
Los interruptores de corriente cumplen una funcin de cerradura:
Cerrados Dejan pasar la Corriente Elctrica
Abiertos No dejan pasar la Corriente Elctrica

Los interruptores pueden representarse mediante letras; p, q, r, s, t.

Si un interruptor est cerrado: p

Si est abierto: p
p: Cerrado p: Abierto
1: Cerrado 0: Abierto

4.18.1 Circuitos en Serie. Dos o ms interruptores estn en serie, cuando se

encuentran uno a continuacin de otro y la corriente que pasa al primer
interruptor, ser la misma que atraviesa al ltimo.

p q r

FOCO

BATERIA

Si uno o dos interruptores estn abiertos, entonces no pasa corriente y el

foco no prende.

En un circuito en serie, basta que un interruptor (conmutador)

este abierto, para que no pase corriente.

Es decir en un circuito en serie, todos los interruptores deben estar cerrados

para que pase corriente.

Con tres interruptores en serie: Pasa corriente, si los tres interruptores estn
cerrados.

Mg. Julio Nez Cheng 3

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
p q r pqr
1 1 1 1
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0

4.18.2 Circuitos en Paralelo. Cada receptor conectado a la fuente de

energa, est independiente del resto.
p

FOCO

BATERIA

En un Circuito en paralelo, basta que un interruptor este cerrado para que pase
corriente

Solo cuando los interruptores estn abiertos, no pasa corriente.

Mg. Julio Nez Cheng 4

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
La disyuncin Inclusiva Circuito en Paralelo

p q pq p q p+q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0

Con tres interruptores en Paralelo

p q r p+q+r
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 1
0 0 1 1
0 0 0 0

4.18.3 Funciones y Circuitos. En la figura se representa un circuito de

interruptores en serie y otro en paralelo, con su respectiva funcin (F).
X
X Y
Y
Circuito en Serie Circuito en Paralelo
F=xy F=x+y
Cul es la funcin, que representa al circuito de la siguiente figura?

X W

Z
Observar que X, W estn en serie y estos a su vez con Z en Paralelo: su
representacin ser: XW+Z

Mg. Julio Nez Cheng 5

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
Finalmente el interruptor Y est en serie con X W, Z por lo tanto la funcin
que representa al circuito ser: F = Y (X W + Z).

Establecer la funcin del circuito de la figura siguiente:

X W

X Y W

Comprobar su respuesta: F = Z (X W + Z) + X Y W

Un circuito que realice la funcin Booleana: F = X Y Z + X (Y + Z) se

presenta a continuacin.

X Y Z

Todo producto representa conmutadores en serie y la suma conmutadores en

paralelo

Hallar la funcin booleana que representa el circuito en la figura:

X Y Z

Y U V X

Z Y U

Respuesta: F = ( X + Y + Z ) U V ( Y Z + X + Y U )

Mg. Julio Nez Cheng 6

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
4.18.4 Puertas o Compuertas Lgicas. Es la expresin fsica de un
operador booleano en la lgica de conmutacin.

4.18.4.1 Puerta Y (and). Es la funcin Booleana del producto.

p
pq
q

Su ecuacin es:
F=p q

Su tabla de verdad, es igual a la conjuncin de proposiciones donde se ha

cambiado V= 1 y F= 0:

Tabla de verdad de la puerta Y

Entrada p Entrada q Salida p q
1 1 1
1 0 0
0 1 0
0 0 0

4.18.4.2 Puerta O (or). Es la funcin Booleana de la suma.

p
p+q
q

Su ecuacin es:
F=p +q

Su tabla de verdad, es igual a la disyuncin inclusiva.

Tabla de verdad de la puerta O

Entrada p Entrada q Salida p + q
1 1 1
1 0 1
0 1 1
0 0 0

Mg. Julio Nez Cheng 7

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

4.18.4.3 Puerta No (not). Niega a una variable lgica.

Su ecuacin:

F = p

p
p

Tabla de verdad de la puerta NO

Entrada de p Salida de p
1 0
0 1

AUTOEVALUACIN

1. Comprobar que la tabla de verdad de la proposicin compuesta es una

tautologa.

[(p q) ^ (q r) ] (p )

2. Usar las tablas de verdad y demostrar la validez o invalidez de la

siguiente inferencia. Verificar la respuesta aplicando el mtodo
abreviado.

p ~q

q v ~r

p r

3. Determinar la validez de la siguiente inferencia:

Si me gusta el ingls, entonces estudiar. Estudio o desapruebo el curso; en

consecuencia, si desapruebo el curso, entonces no me gusta el ingls.
Respuesta: Inferencia no vlida.

4. En las siguientes proposiciones compuestas determinar su valor de

verdad resultante:

Mg. Julio Nez Cheng 8

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

a) Todos los hombres son mortales y los peces son acuticos.

b) Scrates fue un filsofo griego y Pel un jugador de ftbol.
c) El sol es el centro del sistema planetario solar y la luna no es un satlite
de la tierra.
Solucin: a) Verdadera b) Verdadera c) Falsa

5) De los enunciados son proposiciones:

a) 8 es par b) x es impar

b) 3 + 5 > 6 d) Arriba Per!

Solucin: a y c

Mg. Julio Nez Cheng 9

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

BIBLIOGRAFA
1. Figueroa R, Matemtica Bsica. 3 ed. Lima-Per. editorial Grficas Amrica
S.R.L.,2004
2. Venero A, Matemtica Bsica. 4 ed. editorial Lima-Per. Graf. Top E.I.R.L,
2004.
3. Lzaro M, Matemtica Bsica. 3 ed. Lima-Per. editorial Moshera S.R.,
2007.
4. Mena D, Matemtica. 1ra ed. Lima Per. ediciones Jurdicas, 2008.
5. Mir R, Nmeros Combinatorios y Probabilidades. 1ra. ed. Argentina.
editorial Universitaria de Buenos Aires, 2009.

BIBLIOTECA DIGITAL:
1. Construccin de conjuntos finitos. Colombia. Escobar, Gladis J. Trujillo S.,
Carlos A. Zemanate, Oscar H.Red Matemticas: Enseanza Universitaria. 2006.

Disponible en:
http://site.ebrary.com/lib/bibliocauladechsp/docDetail.action?docID=10109967&p00
=tEORIA+DE+CONJUNTOS

2. La teora de conjuntos y los fundamentos de la matemtica. Lewin, Renato.

Chile. Editorial ebooks Patagonia -J.C. SezEditor. 2011.

Disponible en:
http://site.ebrary.com/lib/bibliocauladechsp/docDetail.action?docID=10526962&p00=tEOR
IA+DE+CONJUNTOS

3. Fundamentos de matemtica y lgica. Gutirrez Gonzlez, Eduardo Larios

Garca, Ral. Instituto Politcnico Nacional. Mxico. 2010.
Disponible en:

http://site.ebrary.com/lib/bibliocauladechsp/docDetail.action?docID=10378509&p00=logica
+matematica

Mg. Julio Nez Cheng 10