LEYES DEL ALGEBRA DE PROPOSICIONES

Leyes del Algebra de Proposiciones

Las leyes de la algebra de proposiciones son equivalencias lógicas que se
pueden demostrar con el desarrollo de las tablas de verdad del bicondicional.
Las leyes del algebra de proposiciones son las siguientes:
1. EQUIVALENCIA
P⇔P
2. INDEPOTENCIA
P∧P ⇔P
P∨ P ⇔P
3. ASOCIATIVA
P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R)
P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R)
4. CONMUTATIVA
P∧Q⇔ Q∧P
P∨Q⇔ Q∨P
5. DISTRIBUTIVAS
P∧(Q∨R)⇔ (P∧Q)∨(P∧R)
P∨(Q∧R)⇔(P∨Q)∧(P∨R)
6. IDENTIDAD
P∧F ⇔ F
P∧V⇔ P
P∨F⇔ P
P∨V⇔V
7. COMPLEMENTO
P∧¬P⇔F
P∨¬P⇔V
¬(¬P)⇔P
¬F⇔V
¬V⇔F
8. DE MORGAN
¬(P∧Q)⇔ ¬P∨¬Q
¬(P∨Q)⇔¬P∧¬Q
9. ABSORCION
P∧(P∨Q)⇔P
P∨(P∧Q)⇔P