1.
- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
p ~q p
~q q
~p q
{(p ^ ~ q) ν [~ q ν (~ p ^ q)]} ^ (p ν q)
* Solución
{(p ^ ~ q) ν [~ q ν (~ p ^ q)]} ^ (p ν q) Ley de Poretsky
[(p ^ ~ q) ν (~ q ν ~ p)] ^ (p ν q) Ley Asociativa
[(p ^ ~ q) ν ~ q ν ~ p] ^ (p ν q) Ley de Absorción
(~ q ν ~ p) ^ (p ν q)
~q p
~p q
2.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
q
p ~p
r
~q
p ~r
{[p ^ (q ν r)] ν (p ^ ~ r)} ^ (~ p ν ~ q)
* Solución
{[p ^ (q ν r)] ν (p ^ ~ r)} ^ (~ p ν ~ q) Ley Distributiva
{p ^ [(q ν r) ν ~ r]} ^ (~ p ν ~ q) Ley Asociativa
{p ^ [q ν r ν ~ r]} ^ (~ p ν ~ q) Condicion de Negacion
[p ^ (q ν V)] ^ (~ p ν ~ q) Condicion de Tautologia
(p ^ V) ^ (~ p ν ~ q) Elemento Neutro
p ^ (~ p ν ~ q) Ley de Poretsky
(p ^ ~ q)
p ~q
3.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
p q
~p ~q p
q ~p
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p
* Solución
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p Ley Distributiva
{(p ^ q) v [~ p ^ (~ q v q)]} ^ p Condicion de Negacion
[(p ^ q) v (~ p ^ V)] ^ p Elemento Neutro
[(p ^ q) v ~ p] ^ p Ley de Poretsky
(q v ~ p) ^ p Ley de Poretsky
(p ^ q)
p q
4.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar pel nuevo circuito
p
p q
~p p
q r
q
q
{{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)]
* Solución
{{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)] Ley de Absorción
[(p v q) ^ (p v q)] ^ [p ^ (q v r)] Idempotencia
(p v q) ^ [p ^ (q v r)] Ley Asociativa
(p v q) ^ p ^ (q v r) Ley de Absorción
p ^ (q v r)
q
p
r
5.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
~p q p
p ~p q
~q
q ~r
{[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q
* Solución
{[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley Asociativa
{[(~ p ^ q) v p v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley de Poretsky
{[(p v q) v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley Asociativa
[p v q v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Condición de Negación
(p v V) ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Condición de Tautología
V ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Elemento Neutro
{p v [~ q ^ (~ p v ~ r)]}} ^ q Distributiva
(p v ~ q) ^ [p v (~ p v ~ r)] ^ q Ley Asociativa
(p v ~ q) ^ [p v ~ p v ~ r] ^ q Condición de Negación
(p v ~ q) ^ (V v ~ r) ^ q Condición de Tautología
(p v ~ q) ^ V ^ q Elemento Neutro
(p v ~ q) ^ q Ley de Poretsky
p^q
p q
6.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima expresión y
diseñar el nuevo circuito
p q
p ~q
~p ~q
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solución
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q) Ley Distributiva
[p ^ (q v ~ q)] v (~ p ^ ~ q) Condiciona de Negación
(p ^ V) v (~ p ^ ~ q) Elemento Neutro
p v (~ p ^ ~ q) Ley de Poretsky
pv~q
p
~q
7.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
~p ~q p
p ~r
q
q ~p
[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]}
* Solución
[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
[(~ p ^ ~ q) v p v q] ^ {p v [q ^ (~ r v ~ p)]} Ley de Poretsky
[(~ q v p) v q] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
(~ q v p v q) ^ {p v [q ^ (~ r v ~ p)]} Condición de Negación
(V v p) ^ {p v [q ^ (~ r v ~ p)]} Condición de Tautología
V ^ {p v [q ^ (~ r v ~ p)]} Elemento Neutro
{p v [q ^ (~ r v ~ p)]} Ley Distributiva
(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa
(p v q) ^ (p v ~ r v ~ p) Condición de Negación
(p v q) ^ (V v ~ r) Condición de Tautología
(p v q) ^ V Elemento Neutro
(p v q)
p
8.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
~p ~q p
p q ~q
p q ~p ~p
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p
* Solución
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p Ley de Poretsky
[(~ q v p) v (p ^ q)] ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p Ley Asociativa
[~ q v p v (p ^ q)] ^ [p v q v (~ p ^ ~ q)] ^ ~ p Ley de Absorción
(~ q v p) ^ [p v q v (~ p ^ ~ q)] ^ ~ p Ley de Poretsky
(~ q v p) ^ [p v (q v ~ p)] ^ ~ p Ley Asociativa
(~ q v p) ^ (p v q v ~ p) ^ ~ p Condición de Negación
(~ q v p) ^ (V v q) ^ ~ p Condición de Tautología
(~ q v p) ^ V ^ ~ p Elemento Neutro
(~ q v p) ^ ~ p Ley de Poretsky
(~ q ^ ~ p)
~p ~q
9.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
p ~q p
~q q
~p q
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)
* Solución
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q) Ley de Poretsky
[(p ^ ~ q) v (~ q v ~ p)] ^ (p v q) Ley Asociativa
[(p ^ ~ q) v ~ q v ~ p] ^ (p v q) Ley Distributiva
(~ q v ~ p) ^ (p v q)
~q p
~p q
10.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
p q
~p ~q ~r
q ~r
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solución
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r Ley Asociativa
[(p ^ q) v (~ p ^ ~ q) v (q ^ ~ r)] ^ ~ r Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v [(q ^ ~ r) ^ ~ r] Ley de Idempotencia
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v (q ^ ~ r) Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) v q] ^ ~ r Ley de Poretsky
[(p ^ q) ^ ~ r] v [(~ p v q) ^ ~ r] Ley Distributiva
[(p ^ q) v (~ p v q)] ^ ~ r Ley Asociativa
[(p ^ q) v q v ~ p] ^ ~ r Ley de Absorción
(q v ~ p) ^ ~ r
q
~r
~p
11.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
~p q p
p ~p q
~q
q ~r
{[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q
* Solución
{[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley Asociativa
{[(~ p ^ q) v p v q] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley de Absorcion
{(p v q) ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley Asociativa
{(p v q) ^ q ^ [p v [~ q ^ (~ p v ~ r)]]} Ley de Absorcion
q ^ [p v [~ q ^ (~ p v ~ r)]] Ley Distributiva
(q ^ p) v {q ^ [~ q ^ (~ p v ~ r)]} Ley Asociativa
(q ^ p) v {q ^ ~ q ^ (~ p v ~ r)} Condicion de Negacion
(q ^ p) v {F ^ (~ p v ~ r)} Condicion de Antitautologia
(q ^ p) v F Elemento Neutro
(q ^ p)
p q
12.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresión y diseñar el nuevo circuito
~p ~q
p
p ~p
p q ~p ~q
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p}
* Solución
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley Asociativa
{[(~ p ^ ~ q) v p v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley de Absorcion
{[(~ p ^ ~ q) v p} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley de Poretsky
(~ q v p) ^ [(p v ~ q) ^ ~ p] Ley de Poretsky
(~ q v p) ^ (~ q ^ ~ p) Ley Asociativa
(~ q v p) ^ ~ q ^ ~ p Ley de Absorcion
~q^~p
~p ~q