LEYES LÓGICA
Ley de doble negación: ¬(¬p) ≡ p.
Ley de conmutatividad de la conjunción: p ∧ q ≡ q ∧ p.
Ley de asociatividad de la conjunción: (p ∧ q) ∧ r ≡ p
∧ (q ∧ r).
disyunción: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r).
Ley de distributiva de la conjunción sobre la
Ley de conmutatividad de la disyunción: p ∨ q ≡ q ∨ p.
Ley de asociatividad de la disyunción: (p ∨ q) ∨ r ≡ p
∨ (q ∨ r).
Ley de De Morgan de negación de la disyunción: ¬(p ∨ q)
≡ ¬p ∧ ¬q
Ley de absorción de la conjunción en la disyunción: p ∧
(p ∨ q) ≡ p.
Ley de absorción de la disyunción en la conjunción: p ∨
(p ∧ q) ≡ p.
Ley de De Morgan de negación de la conjunción: ¬(p ∧ q)
≡ ¬p ∨ ¬q