Leyes de Lógica

Doble negación

1) ¬¬ p≤¿ p

De Morgan

2) ¬ ( p ∨q )≤¿ ¬ p ∧¬ q
¬ ( p ∧q )≤¿ ¬ p ∨¬ q
Conmutativa

3) p ∨q≤¿ q ∨ p
p ∧q≤¿ q ∧ p
Asociativa

4) p ∨ ( q ∨ r )≤¿ ( p ∨q ) ∨r
p ∧ ( q ∧ r )≤¿ ( p ∧q ) ∧r
Distributiva

5) p ∨ ( q ∧ r )≤¿ ( p ∨q ) ∧ ( p ∨r )
p ∧ ( q ∨ r )≤¿ ( p ∧q ) ∨( p∧ r )
Idempotencia

6) p ∨ p≤¿ p
p ∧ p≤¿ p
Neutro

7) p ∨ F o≤¿ p
p ∧T o≤¿ p
Inversa

8) p ∨¬ p≤¿ T o
p ∧¬ p≤¿ F o
Dominación

9) p ∨T o≤¿ T o
p ∧ F o≤¿ F o
Absorción

10) p ∨( p ∧ q)≤¿ p
p ∧( p ∨ q)≤¿ p