Universidad de Talca Módulo: Álgebra

Instituto de Matemática y Fı́sica Carrera: Ingenierı́a (Curicó)

Tautologı́as básicas

1. Conmutatividad

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

2. Asociatividad

• p ∨ q ∨ r ≡ [(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)]
• p ∧ q ∧ r ≡ [(p ∧ q) ∧ r] ≡ [p ∧ (q ∧ r)]

3. Distributiva

• p ∨ (q ∧ r) ≡ [(p ∨ q) ∧ (p ∨ r)]
• p ∧ (q ∨ r) ≡ [(p ∧ q) ∨ (p ∧ r)]

4. Negación

• ∼ (∼ p) ≡ p
• ∼ (p ∨ q) ≡ (∼ p∧ ∼ q)
• ∼ (p ∧ q) ≡ (∼ p∨ ∼ q)

5. Transformación

• (p ⇒ q) ≡ (∼ p ∨ q)
• (p ⇒ q) ≡ (∼ q ⇒∼ p)
• (p ⇔ q) ≡ [(p ⇒ q) ∧ (q ⇒ p)]

6. Absorción

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

7. Idempotencia

• (p ∨ p) ≡ p
• (p ∧ p) ≡ p

8. Complemento

• (p ∨ V ) ≡ V
• (p ∨ F ) ≡ p
• (p ∧ V ) ≡ p
• (p ∧ F ) ≡ F