LEYES DEL ÁLGEBRA

ÁLGEBR A PROPOSICIONAL
(ÁLGEBRA DE BOOLE)
Disyunción Ley Conjunción
∨ ≡ Idempoenci! ≡

 p  p  p  p ∧ p  p
 p ∨ q ≡ q ∨ p Conmu!i"!  p ∧ q ≡ q ∧ p
 p ∨ (q ∨ r) ≡ (p ∨ q ) ∨ r  Asoci!i"!  p ∧ (q ∧ r) ≡ (p ∧ q ) ∧ r 
 p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p Dis#i$ui"!  p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧
 
p ∨ ~p ≡ V Ne%!ción p ∧ ~p ≡ F
 p ∨ V ≡ V p∧V≡p
Idenid!d
p ∨ F ≡ p p∧F≡F
∼ (∼ p) ≡ p Do$&e Ne%!ción ∼ (∼ p) ≡ p

∼ (p ∨ q) ≡ ∼ p ∧ ∼q D' o#%!n ∼ (p ∧ q) ≡ ∼ p ∨ ∼q

p → q ≡ ∼p ∨ q Condicion!& ∼ (p → q) ≡ p ∧ ∼q
p ↔ q ≡ (p ∧ q) ∨ (∼p ∧ Bicondicion!& p ↔ q ≡ (p → q) ∧ (q →

 p ∨ (p ∧ q) ≡ p  p ∧ (p ∨ q) ≡ p

A$so#ción
 p ∨ (∼ p ∧ q) ≡ p ∨ q  p ∧ (∼ p ∨ q) ≡ p ∧ q