Universidad del Bio Bio, Facultad de Ciencias, Departamento de Matemática

Segundo semestre de 2010

Profesor: Walter A. Chambı́o M.

Leyes del Algebra de Proposiciones

Algebra y trigonometrı́a (220004)

1.a p ∨p ≡ p 1.b p ∧ p ≡ p

2.a p ∨q ≡ q ∨p 2.b p ∧ q ≡ q ∧ p

3.a (p ∨ q) ∨ r ≡ (p ∨ r) ∨ (q ∨ r) 3.b (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

4.a p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) 4.b p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

5.a p ∨ (∼ p) ≡ V 5.b p ∧ (∼ p) ≡ F

6.a p ∨F ≡p 6.b p ∧ F ≡ F

7.a p ∨V ≡V 7.b p ∧ V ≡ p

8.a ∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q) 8.b ∼ V ≡ F, ∼ F ≡ V

Listado de equivalencias lógicas muy útiles

a. p =⇒ q ≡ (∼ p) ∨ q

b. p =⇒ q ≡ (∼ q) =⇒ (∼ p)

c. p ∧ (p ∨ q) ≡ p

d. p ∨ (p ∧ q) ≡ p

e. p ⇐⇒ q ≡ (p =⇒ q) ∧ (q =⇒ p)

f. p ⇐⇒ q ≡ (p ∧ q) ∨ [(∼ p) ∧ (∼ q)]