1

COMPLEMENTO TALLER UNIDAD 2: LGICA PROPOSICIONAL

APLICACIONES DE PROPIEDADES DE LA LGICA Y CIRCUITOS.
Docente: Jeaneth Gutirrez Rincn

1. Con los siguientes ejercicios realice:
- Diseo del circuito original.
- Simplificacin aplicando propiedades de la lgica. Recuerde justificar cada paso.
- Diseo del circuito simplificado.

a) (p.q) v (p.r)
b) (a.~b) v (a.c) v (a.b)
c) (pvq) . ~q
d) (s.r) q
e) (p.q.r) v (p.r.~q). En la simplificacin demuestre que (p.q.r) v (p.r.~q) es
equivalente a (p.r)
f) p (qvr). En la simplificacin demuestre que p (qvr) es equivalente a (p.~qr) r.
g) [(p.q) v (q.r)] v { p . [~q v (r.q)]}
h) p (q.~r)
i) [(~n . m) v m] . | m v (p . n)|
j) (a v ~b) . (b v ~c) . (~a v c) . (~a v ~b) (~a . ~b . ~c)
k) [(m . r) v (a . r)] . |(m . a) v (m . r) v (~m . ~r) (m . r)

2. La siguiente es una demostracin en donde se trata de comprobar que: [p(q v ~r)]
equivale a [(p . r) ~q]. Halle el error presente en uno de los pasos de la demostracin.
Corrjalo y adems frente a cada paso coloque la propiedad lgica que lo justifica.

3. Simplifique hasta donde sea posible y represente el circuito simplificado:
a) pvq v (~p . ~q)
b) r . (r v ~t v ~s v z) . (~t . t)
c) ~{~(r.p) v [q . (~r v ~p) }

4. Escriba la proposicin lgica que representa los siguientes circuitos. Tenga en
cuenta usar adecuadamente los parntesis en sus representaciones:
a) b)

~q
~p
~r
p
q
q
q
~p


2
c) d)








Nota: recuerde que para realizar el diseo de un circuito en los ejercicios que
contienen condicionales, stos deben ser transformados utilizando la propiedad:
(pq)

(~p v q)

5. Con los siguientes enunciados realice:
- La representacin con lgica proposicional (letras y conectores)
- La representacin con lgica proposicional de la negacin de cada uno de ellos.
Debe desarrollar la negacin adecuadamente aplicando propiedades.
- Escriba los enunciados (oraciones) correspondientes a las negaciones anteriores.

a) Hace mal tiempo y no ir a trabajar
b) Si Carolina no est enferma, entonces va a la excursin; ella la pasar bien
c) Yo no ganar el juego o no entrar en la competencia.
d) Si Juan se va de vacaciones, ser necesario que no lo llamen del trabajo para que
pueda descansar.
e) Si Juan se va de vacaciones, podr descansar slo si no lo llaman del trabajo.

Nota: al definir las proposiciones simples redctelas en forma afirmativa y luego
proceda con la representacin de la proposicin compuesta.

6. Diga si es Falso o Verdadero y Justifique usando propiedades de la lgica:
a) Si hubo un robo, algo desapareci es equivalente a Si nada ha desaparecido,
entonces no hubo robo
b) Si hubo un robo, algo desapareci es equivalente a No hubo un robo o algo no
desapareci.
c) Que no sea cierto que si hubo un robo, algo desapareci es equivalente a Hubo un
robo y algo no desapareci.
~r
~a
~c
b
t
~c
d
b
~r
~a f