OPERACIONES MATEMATICAS I I.E.

S CESCA

Semana 13: LEYES y CIRCUITOS LOGICOS

LEYES LOGICAS
p q ~p p q p q p v q p q p  q p
q p q Idempotencia ppp
ppp
V V F V F V F V V F Doble Negacin ( p ) p
V F F F V V F F F V
Conmutativa pqqp
pqqp
F V V F V V F V F V pqqp
Asociativa (pq)rp(qr)
F F V F V F V V V F (pq)rp(qr)
(pq)rp(qr)
NEGACION CONJUNTIVA: p q ~ (p v q) ~p ~q Distributiva p(qr)(pq)(pr)
Se lee ni p ni q. Ni Palma fue escritor ni Maritegui fue poeta (qr)p(qp)(rp)
NEGACION ALTERNATIVA: p q ~ (p q) ~p v ~q p(qr)(pq)(pr)
(qr)p(qp)(rp)
Se lee no p o no q: 6 no es divisor de 20 o no es numero primo Condicional p q p q
DISYUNCIN EXCLUSIVA:
(p q) p q
p q ~ (p
q) (p q) ~ (p q) (p ~q) v (q ~p) Bicondicional p q (p  q) (q  p)
p q (p q) (p q)
p q (p q)
Absorcin p(pq)p
p ( p q ) p q
p(pq)p
p ( p q ) p q
De Morgan (pq) p q
(pq) p q
Identidad pTp
pCC
pTT
pCp
Complemento pp C
pp T
T C
C T
T= Tautologa (V) . C = contradiccin (F)

1|Pgina Jorge La Chira

 OPERACIONES MATEMATICAS I I.E.S CESCA

LEYES y CIRCUITOS LOGICOS PROBLEMAS PROPUESTOS 13. La proposicin equivalente a (p q)  q es:

1. Si r s es falso y rs es falso. Hallar el VV de r y s 14. Simplifica la proposicin (p  q) (p q)
2. Si w t es verdadero y v t es falso, hallar el VV de 15. Simplifica la proposicin p  (p q)
t, v, w 16. Seale el circuito equivalente a (p q)  q
3. Si la proposicin compuesta: (p ~q) (r ~s) Es falsa, 17. Seale el circuito equivalente a (p  q) (p q)
hallar el valor de verdad de las proposiciones q, p, r, s, 18. Seale el circuito equivalente a p  (p q)
respectivamente. 19. Descubre el error en la demostracin siguiente:
4. Si la proposicin compuesta: ~(p ~q) (q r) es p (q r) p (q r)
verdadera y las proposiciones s y t tienen valor de verdad p ( r q)
desconocido. Cules de las siguientes proposiciones son ( p r) q
verdaderas? (p r) q
a. (p s) q b. (t q) r c. (s t) q (p r) q
5. Si la proposicin (p ~q)(r  ~s) es falsa, halla el valor 20. Halla una proposicin equivalente a
de verdad de q, p, r, s. [( p q) (r r)] ( q)
6. De la falsedad de la proposicin (p  ~q) v (~r  s) deduce 21. Halla otra forma equivalente de la proposicin:
el valor de verdad de los esquemas moleculares: Es necesario entrenar debidamente y no cometer infracciones
a. (~p ~q) v ~q para cumplir un buen papel deportivo
b. (~r q) [(~q v r) s] 22. Simplifica el esquema [(~p q)]  (s ~s)] ~q
c. (p q)  [(p v q) ~q] 23. Simplifica ~ [~ (~p v q)]  p] v q
7. Si s y la proposicin s  ~ (p v q) son verdaderas, indique 24. .
los valores de verdad de las siguientes expresiones:
i) ~ (p ~q) ii) (p q) v ~s iii) s v (q p)
8. Si V (p) = V, q y r dos proposiciones cualquiera. Halla el
valor de verdad de
a) ~ q (~p v ~q) 25. .
b) [(r v ~p) (q v p)] r
c) [q (p q)] (q ~p)]
9. Si   al aplicar la LEY DEL CONDICIONAL resulta:
10. Si    usando la LEY DE MORGAN resulta:
11. Si     al aplicar LA ABSORCION resulta:
12. Qu Ley usas en p v p = p?
2|Pgina Jorge La Chira