PRACTICA Nº 03

Utilizando las leyes del algebra proposicional y la

equivalencia lógica simplificar los siguientes ejercicios y
luego subirlo a la plataforma:

1. Simplificar:

[(p  ~q )  q)]  p Ley de absorción

(pq)p Ley de condicional
~(p  q )  p Ley de Morgan
(~p  ~ q )  p Ley de absorción
~p  ( ~q  p)

RESPUESTA: ~p  ( ~q  p)

2. Simplificar:

[(~p  q )  (r  ~r)]  ~ q ) Ley del condicional

[(q ~ p )  (r  ~r)]  ~ q Ley de complemento
[(q  ~ p )  F ] ~ q Ley condicional
[~(q  ~ p )  F ] ~ q Ley de Morgan
[(~q  p)F]~q Ley de asociativa
~ q  (q  F )  ~ q Ley de identidad
[~ q p ]  ~ q Ley de absorción
~q
RESPUESTA: ~q
3. Hallar la proposición equivalente al circuito lógico

[[(p  q)  q ]  [[(~p  q )  p ] ]  p
[q  ( p  q ) ]  p
[p  ( q  q ) ]  p
(p  q)  p
P

RESPUESTA: P
4. Hallar la proposición equivalente al circuito lógico

[[~ p (( p  ~q )  [[ ( r  s  t )  [ ( r  s  t )  ( r  s  t ] ] 
~p

[[~ p (( p  ~q )  v ) ]  [[ ( r  s  t )  [ ( r  s  t )  [[r  s

 t ] ]  ~p

[[~ p (( p  ~q )  v ) ]  [[ ( r ( s  t )  [ ( r  s  t ) ] ]  ~p

[[ ~ p (( p  ~q )  v ) ]  [ r  ( s  t ) ] ]  ~p

[ [ ~ p  V ]  [r  ( s  t ) ]  ~p

V  ~p

~p

RESPUESTA: ~p