EJERCICIOS DE APLICACIN DE LEYES DE ALGEBRA PROPOSICIONAL

APLICACIN DE CIRCUITOS LGICOS

Nombre: Ivn Choque Contreras

1. Simplifique las siguientes formulas

A. [(~p q) (r ~r)] (~q) Condicional
[~(~p q) (r ~r)] (~q) Morgan y Complemento
[(p q) (F)] (~q) Identidad
(p q) (~q)

B. (~p q) (q p) Condicional
(~p q) (~q p) Condicional
~ (~p q) (~q p) Morgan
(p ~q) (~q p) Impotencia
(p ~q)

C. [(p q) p] [(p q) ~p] Condicional

[(~p q) p] [(~p q) ~p] Distributiva
[(~p p) (p q)] [(~p q) (~p ~p)] Complemento
[ V (p q)] [~p (~p q)] Identidad
~p (~p q)

D. (p q) (p ~q) (~p q~) Asociativa

(p q) (~p q~) (p ~q) Bicondicional
(p q) (p ~q)

E. [(p q) (~p ~q)] [(p q) (~p ~q)] Morgan

[(p q) ~ (p q)] [(p q) ~ (p q)] Asociativa
[(p q) ~ (p q)] [(p q) ~ (p q)] Complemento
VF

F. [p (p q) q] [r (~r q) p] Absorcin
[p q] [(r q) p] Asociativa
(p q) [(r (q p)]
G. {p [q (~q ~p)]} ~p Distributiva
{p [(q ~q) (q ~p)]} ~p Complemento
{p [(V) (q ~p)]} ~p Identidad
{p [q ~p]} ~p Distributiva
{p q} {p ~p} ~p Complemento
{[p q] [V]} ~p Identidad
{V} ~p Complemento
~p

H. {(p q) [(~p ~q) q]} p Distributiva

{(p q) [(~p q) (~q q)} p Complemento
{(p q) [(~p q) (V)} p Identidad
{(p q) [(~p q)]} p Distributiva
{[(p q) p] [(~p q) p]} Distributiva
{[(p p) (q p)] [(~p p) (q p)]} Complemento
{[(p p) (q p)] [(V) (q p)]} Identidad
{[(p p) (q p)] [V]} Identidad
V

I. [~ (p q) (~p q)] (p q) Condicional

[~ (p q) (~p q)] (~p q) Morgan
[(~p ~q) (~p q)] (~p q) Distributiva
[(~p ~q) (~p q)] [(~p q) (~p q)] Idempotencia
[(~p ~q) (~p q)] [(~p q)] Absorcin
~p q

J. (~p) (p q) Condicional
(~p) (~p q) Bicondicional
[~p (~p q)] [~(~p) ~ (~p q)] Morgan
[~p (~p q)] [p (p ~q)] Absorcin
~p [p (p ~q)] Distributiva
[(~p p) [~p (p ~q)] Complemento
[V [~p (p ~q)] Identidad
~p (p ~q)
2. Determinar la menor expresin que representa el circuito
A.

(~p ~q) [p (~p q)] Absorcin

(~p ~q) (p q) Bicondicional
pq

B.

{(p q) [(~p ~q) q)]} p Distributiva

{(p q) [(~p q) (~q q)]} p Complemento
{(p q) [(~p q) V]} p Identidad
{(p q) (~p q)} p Distributiva
{[(p q) p] [(~p q) p]} Absorcin
{[(p q) p] [q p]} Distributiva
{(p q) (q p)} [p (q p)] Idempotencia
(p q) [p (q p)] Absorcin
(p q) p
C.

{[(r s) (~r ~s)] ~s} [r (p ~r)] Distributiva

{[(r s) (~r ~s)] ~s} [(r p) (r ~r)] Complemento
{[(r s) (~r ~s)] ~s} [(r p) (F)] Identidad
{[(r s) (~r ~s)] ~s} (r p) Bicondicional
{(r s) ~s} (r p)

D.

[(~p q) (p q)] {[(p q) [ (~p ~q) p]} ~p Distributiva

[(~p q) (p q)] {[(p q) [ (~p p) (~q p)]} ~p Complemento
[(~p q) (p q)] {[(p q) [ (V) (~q p)]} ~p Identidad
[(~p q) (p q)] {(p q) (~q p)} ~p Distributiva
[(~p q) (p q)] {[(p q) ~p] [(~q p) ~p]} Asociativa
[(~p q) (p q)] {[q (p ~p)] [(~q p) ~p]} Complemento
[(~p q) (p q)] {[q F] [(~q p) ~p]} Identidad
[(~p q) (p q)] {F [(~q p) ~p]} Identidad
[(~p q) (p q)] [(~q p) ~p] Distributiva
[(~p q) (p q)] [(~q ~p) (p ~p)] Complemento
[(~p q) (p q)] [(~q ~p) (F)] Identidad
[(~p q) (p q)] (~q ~p)