LEYES DEL ALGEBRA PROPOSICIONAL

LEY DE IDENTIDAD LEY DE IDENTIDAD LEY DE TERCIO EXCLUIDO

p→p ~ (p ∧ ~p) p ∨ ~p ≡ V
p↔p p ∧ ~p ≡ F
1.- LEY DE LA DOBLE NEGACION 2.- LEY DE LA IDEMPOTENCIA 3.- LEYES CONMUTATIVAS

a) ~(~p) ≡ p a) p ∧ p ≡ p a) p ∧ q ≡ q ∧ p Conjunción
Conjunción b) p ∨ q ≡ q ∨ p Disyunción
b) p ∨ p ≡ p c) p ↔ q ≡ q ↔ p
Disyunción Bicondicional

4.- LEYES DE MORGAN 5.- LEYES DEL CONDICIONAL 6.- LEYES DEL BICONDICIONAL

a) ~ (p ∧ q) ≡ ~p ∨ ~q Conjunción a) p → q ≡ ~p ∨ q p ↔ q ≡ (p → q) ∧ (q → p)
b) ~ (p ∨ q) ≡ ~p ∧ ~q Disyunción b) ~ (p → q) ≡ p ∧ ~q

7.- LEYES ASOCIATVAS 8.- LEYES DISTRIBUTIVAS 9.- LEYES DE LA ABSORCIÓN

a) p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
Conjunción a) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) ABSORCIÓN TOTAL
b) p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r b) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) a) p ∧ (p ∨ q) ≡ p
Disyunción c) p → (q ∧ r) ≡ (p → q) ∧ (p → r) b) p ∨ (p ∧ q) ≡ p
c) p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r d) p → (q ∨ r) ≡ (p → q) ∨ (p → r)
Bicondicional ABSORCIÓN PARCIAL
a) p ∧ (~p ∨ q) ≡ p ∧ q
b) p ∨ (~p ∧ q) ≡ p ∨ q

10.- LEYES DE TRANSPOSICION 11.- LEYES DE EXPORTACION 12.- ELEMENTOS NEUTROS

a) (p → q) ≡ ~ q → ~ p a) (p ∧ q) → r ≡ p → (q → r) a) p ∨ F ≡ p
b) (p ↔ q) ≡ ~ q ↔ ~ p b) p ∧ V ≡ p

TAMBIEN: FORMAS NORMALES

a) (p ∨ q) ∧ (p ∨ ~q) ≡ p CONJUNCIÒN
b) (p ∧ q) ∨ (p ∧ ~q) ≡ p a) V ∧ V ≡ V
b) p ∧ V ≡ p
c) p ∧ F ≡ F
DISYUNCIÒN
a) F ∨ F ≡ F
b) p ∨ F ≡ p
c) p ∨ V≡ V