EQUIVALENCIAS LOGICAS

EQUIVALENCIAS LOGICAS

Informática I | LASI | Universidad Galileo 2015

Lic. Monroy
EQUIVALENCIAS LOGICAS

Equivalencias lógicas:

Se dice que p es lógicamente equivalente a q (p ≅ q),

si la tabla de verdad de p es igual a la tabla de verdad
de q.
p ≅ q ssi T(p) = T(q)

Informática I | LASI | Universidad Galileo 2015

Lic. Monroy
EQUIVALENCIAS LOGICAS

Algunas Equivalencias lógicas

1. p p  p Ley de Idempotencia de 
2. p p  p Ley de Idempotencia de 
3. p  (q  r )  ( p  q)  r Asociatividad de 

4. p  (q  r )  ( p  q)  r Asociatividad de 
5. pq  q p Conmutatividad de 
6. pq  q p Conmutatividad de 
7.  p  (q  r )  ( p  q)  ( p  r ) Distributividad de  sobre 
8.  p  (q  r )  ( p  q)  ( p  r ) Distributividad de  sobre 

9. ( p  q)  p  q Ley de DeMorgan
10. ( p  q)  p  q Ley de DeMorgan
Informática I | LASI | Universidad Galileo 2015
Lic. Monroy
EQUIVALENCIAS LOGICAS

Algunas Equivalencias lógicas

11. (p)  p Ley de la Doble Negación
12. pT  T Tautología

13. pC  p Contradicción

14. p T  p Tautología
15. pC  C Contradicción
16. p  q  p  q
17. ( p  q)  p  q Leyes Condicionales
18. q  p  p  q
19. ( p  q)  (q  p)  p  q Leyes Bicondicionales

Informática I | LASI | Universidad Galileo 2015

Lic. Monroy