ejercicio N04

I.-Dados los siguientes circuitos lgicos, hallar la proposicin equivalente ms simple,

luego representarlo como circuito.

a)

p
q
r

~q
~r
~p

~p

p
q

~r
~s
~t

Solucin:
{[p~q][q~r][r~p]}{p[~p(qr)][(rst)(~r~s~t)]} Esquema molecular
{[p~q][q~r][r~p]}{p[~p(qr)][(rst)~(rst)]}

Teorema de Morgan

{[p~q][q~r][r~p]}{p[~p(qr)]V}

Tercio Excluido

{[p~q][q~r][r~p]}{p[~p(qr)]}

Forma Normal de

{[p~q][q~r][r~p]}{pqr}

Absorcin

{{[(p~q)q][(p~q)~r]}(r~p)}{pqr}

Distributiva

{{[pq][(p~q)~r]}(r~p)}{pqr}

Absorcin

{{[pq][(p~r)(~q~r)]}(r~p)}{pqr}

Distributiva

{{[pq](p~r)(~q~r)}(r~p)}{pqr}

Asociativa

{{(pq)(~q~r)(p~r)}~(p~r)}{pqr}

Teorema de Morgan

{[(pq)(~q~r)]~(p~r)}{pqr}

Absorcin

{[(pq)(~q~r)](~pr)}{pqr}

Teorema de Morgan

[(pq)(~q~r)](~pr){pqr}

Asociativa

[(pq)(~q~r)]{[(pqr)~p][(pqr)r]}

Distributiva

[(pq)(~q~r)]{[(qr)~p]r}

Absorcin

[(pq)(~q~r)]{[(qr)r][~pr]}

Distributiva

[(pq)(~q~r)]{r[~pr]}

Absorcin

[(pq)(~q~r)]r

Absorcin

[(pq)r][(~q~r)r]

Distributiva

[(pq)r][~q~rr]

Asociativa

[(pq)r][~qV]

Tercio Excluido

[(pq)r][V]

Forma Normal de

[pqr]

Forma Normal de

p
q
r

p
b)

q
q
~r

p
q

Solucin:
[p(pq)q][r(~rq)p]

Esquema Molecular

[pq][r(~rq)p]

Absorcin

[pq][(rq)p]

Absorcin

[pq][(pq)r]

Asociativa

pq

Absorcin

c)

~p

~q
p

~p

~q

~p

Solucin:
[(~p~q)(pq)][(pq)(~p~q)p]~p

Esquema Molecular

[~(pq)(pq)][(pq)(~p~q)p]~p

Teorema de Morgan

[V][(pq)(~p~q)p]~p

Tercio Excluido

[(pq)(~p~q)p]~p

Forma Normal de

[(pq)p(~p~q)]~p

Asociativa

[p(~p~q)]~p

Absorcin

[p~q]~p

Absorcin

~q~p

Absorcin

~p
d)

~q
~p

q
~q

p
~p

Solucin:
[pq(~q~p)](~pq)p

Esquema Molecular

[p(q~p)](~pq)p

Absorcin

[p(q~p)](qp)

Absorcin

[p~pq)](qp)

Asociativa

(Vq)(qp)

Tercio Excluido

V(qp)

Forma Normal de

qp

Forma Normal de
q

e)

p
q
p

~q

q
~q

Solucion:
p{[q(p(s~q))][q((sp)~q)]}r(sq)

Esquema Molecular

p{[q(ps~q)][q((sp)~q)]}r(sq)

Asociativa

p{[q(ps)][q(sp)]}r(sq)

Absorcin

p{[q(ps)][qsp]}r(sq)

Asociativa

p{q[(ps)(sp)]}r(sq)

Distributiva de vuelta

qp[(ps)(sp)]r(sq)

Asociativa

q{[p(ps)][p(sp)]}r(sq)

Distributiva

q{p[p(sp)]}r(sq)

Absorcin

q{p[pps]}r(sq)

Asociativa

q{p[ps]}r(sq)

Idempotencia

q{p}r(sq)

Absorcin

q(qs)pr

Asociativa

qpr

Absorcin

f)

q
r
p

~q

Solucin:
(qr){[(pq)r](r~q)}

Esquema Molecular

(qr){[(pr)(qr)](r~q)}

Distributiva

(qr){(qr)[(pr)(r~q)]}

Asociativa

qr

Absorcin

q
____________________________________r _________________________________
g)

p
p

~p

~q

~p

~p

~q

Solucin:
{[(pq)(~p~q)][(pq)(~p~q)]}{[p(pq)r(pr)][(pr)(~pr)]}

Esquema Molecular

{[(pq)(~p~q)][(pq)(~p~q)]}{[pr][(pr)(~pr)]}

Absorcin

{[(pq)~(pq)][(pq)(~p~q)]}{[pr][(pr)(~pr)]}

Teorema de Morgan

{[(pq)~(pq)](pq)(~p~q)}{[pr][(pr)(~pr)]}

Asociativa

{(pq)(pq)(~p~q)}{[pr][(pr)(~pr)]}

Absorcin

{pq(pq)(~p~q)}{[pr][(pr)(~pr)]}

Asociativa

{pq(~p~q)}{[pr][(pr)(~pr)]}

Absorcin

{pq~p}{[pr][(pr)(~pr)]}

Absorcin

{p~pq}{[pr][(pr)(~pr)]}

Asociativa

{Vq}{[pr][(pr)(~pr)]}

Tercio Excluido

V{[pr][(pr)(~pr)]}

Forma Normal de

{[pr][(pr)(~pr)]}

Forma Normal de

(pr){[(pr)~p][(pr)r)]}

Distributiva

(pr)[r~p][r]

Absorcin

(pr)r

Absorcin

Absorcin
r

h)

p
q
~q
~p

p
q

p
Solucin:
{[(p~q)q][(~pq)p]}p

Esquema Molecular

{[pq][qp]}p

Absorcin

{[pq]qp}p

Asociativa

{qp}p

Absorcin

Absorcin

i)

~q

~p
p

~q

~p

p
~q

Solucin:
{[(p~q)(q~p)][(p~q)(q~p)]}(p~q)

Esquema Molecular

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

Distributiva

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

Absorcin

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

Distributiva

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

Absorcin

{(pq)~(qp){(pq)(~q~p)}}(p~q)

Teorema de Morgan

{(pq)~(qp)(~q~p)}(p~q)

Absorcin

{(pq)(~q~p)~(qp)}(p~q)

Asociativa

Teorema de Morgan

{V~(qp)}(p~q)

Tercio Excluido

{V}(p~q)

Forma Normal de

(p~q)

Forma Normal de

p
~q

j)

~q
r
p

~r

Solucin:
p{[(~qr)(q~r)]{[(qr)(st)][(qr)(st)]}}

Esquema Molecular

p{[(~qr)(q~r)]{[(qr)(st)] }}

Absorcin

p{[~qr(q~r)]{[(qr)st)] }}

Asociativa

p{[~qrq]{[(qr)st)] }}

Absorcin

p{[~qqr]{[(qr)st)] }}

Asociativa

p{[Vr]{[(qr)st)] }}

Tercio Excluido

p{V{[(qr)st)] }}

Forma Normal de

p{V}

Forma Normal de

Forma Normal de