Algebra proposicional

Algebra proposicional

1. Involución

   • ~(~p)≡p

2. Idempotencia

   • p∧p≡p p∨p≡p

3. Complemento

   • p∧∼p≡F p∨∼p≡V

4. Identidad

   • p∧V≡p p∧F≡F p∨V≡V p∨F≡p

5. Conmutativa

   • p∧q≡q∧p p∨q≡q∨p p ∨ q≡q∨p p↔q≡q↔p

6. Asociativa

   • (p∧q)∧r≡p∧(q∧r) (p∨q)∨r≡p∨(q∨r) (p↔q)↔r≡p⟷(q⟷r)

7. Distributiva

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

8. Ley de Morgan

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

9. Absorción

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

10. Otras

    • p→q≡∼p∨q p↓q≡∼p∧∼q p↔q≡(p→q)∧(q→p)