p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r)
¬ (¬ p) ⇔ p
¬ ( p ∧ q ) ⇔ ¬ p ∨ ¬ q
p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r)
¬ ( p ∨ q ) ⇔ ¬ p ∧ ¬ q
p ∨ ( p ∧ q )⇔ p
p ∧ ( q ∧ r ) ⇔ ( p ∧ q ) ∧ r
p ∨ ( q ∨ r ) ⇔ ( p ∨ q ) ∨ r
p ∧ q ⇔ q ∧ p
p ∧ ( p ∨ q )⇔ p
Ley Asociativa
Ley de Morgan
Ley de Absorción
Ley Distributiva
Ley de la doble negación
Ley Distributiva
Ley de Absorción
Ley Asociativa
Ley de Morgan
Ley Conmutativa