PRACTICA N° 02

Utilizando las leyes del algebra proposicional y la equivalencia lógica

simplificar los siguientes ejercicios y luego subirlo a la plataforma:

1. Simplificar:
[p  (p  ~ q ) ]  ~ [q  (~p  ~ q )]
P  ~ [q  ( ~ p  ~ q )] Ley de absorción
P ~[(q ~p)  (q~q) Ley de distribución
P ~ [ ( q  ~ p)  v Ley de complemento
P ~ [q  ~ p ] Ley de identidad
P  (~ q  p ) Ley de Morgan
~ p  (~ q  p ) Ley de condición
Ley de absorción
~p~q

RESPUESTA: ~ p  ~ q

2. Simplificar a su mínima expresión:

(p  q )  [(p  ~ q )  (p  q )]
~p  q  [(p  ~ q )  p  q Ley de condición
( ~ p  q )  (p  q ) Ley de absorción
~ (~ p  q )  (p  q ) Ley de Morgan
p  ~ q  (p  q ) Ley de asociativa
~q  p Ley de conmutativa
P ~q

RESPUESTA: P  ~ q

3. Simplificar:
M = [(~p  q )  (~ q  p)]  ~ (p  q )
M = [ ~ (~p  q )  (~ q  p)]  ~ (p  q ) Ley de conmutativa
M = [ (p  ~ q )  (~ q  p)]  ~ (p  q ) Ley de Morgan
M = [ p  ~ q ]  ~ (p  q ) Ley de asociativa
M = (p  ~ q )  ~ p  q Ley de Morgan
M = (p  q )  (~ q  p)  ~ p Ley de complemento
M = (p  q )  V  ~ p Ley de identidad
M = (p  q )  ~ p Ley de distributiva
M = (p  ~ p )  ( q  ~ p ) Ley de complemento
M=V(q ~p) Ley de identidad
M= V

RESPUESTA: V
4. Simplificar:

~ [(~p  q ) ↔ p]  [q  ~ q ) ]
~ [(~p  q )  ~ p ] [~ q  ~ q ] Ley de condicional
~ [(p  q ) ~ p]  ( [~ p ( p q)  [ ~ q  ~ q) Ley de bicondicional
~ [~ (p  q )  ~ p]  ( p  q)) ]  ( ~ q  ~ q) Ley condicional
~ [~ q  ( ( p  q ) ]  ( ~ q  ~ q) Ley absorción
~ [~ q ( p  ( ~ q  q) ) ]  ( ~ q  ~ q) Ley de Idempotencia
~ [~ q  p)  ( ~ q  ~ q)  ~ q Ley de distributiva
~ [~ q  p)  F ] ~ q Ley de Idempotencia
~F~ q Ley de complemento
F ~ q Ley de Identidad
F

RESPUESTA: F

5. Simplificar el siguiente circuito lógico

6. Hallar la proposición equivalente al circuito lógico

7. Simplificar el siguiente circuito lógico