Está en la página 1de 1

ESTRUCTURAS DISCRETAS WWW.WEBSISBLOG.ES.

TL

LEYES LÓGICAS
1. LEYES DE IDEMPOTENCIA : p p p
p p p

2. LEYES CONMUTATIVAS : pqq p


pqq p

3. LEYES ASOCIATIVAS :  p  q  r  p   q  r

 p  q  r  p   q  r

4. LEYES DE NEGACIÓN : (p )≡ p


p p ≡F
p  p≡V

5. LEYES DE IDENTIDAD : p V  p

pF  p

6. LEYES DE MORGAN : (p  q) ≡  p  q


(p q) ≡  p   q

7. DEFINICIÓN DE IMPLICACIÓN : p  q ≡  p q

8. LEYES DISTRIBUTIVAS : p   q  r    p  q   p  r 

p   q  r    p  q   p  r 

9. LEYES DE ABSORCIÓN : p   p  q  p

p   p  q  p
pF F
p V V

10. DEFINICIÓN DE DOBLE IMPLICACIÓN : p  q   p  q   q  p

11. EQUIVALENCIA LÒGICA : p  q    p  q

También podría gustarte