LÓGICA MATEMÁTICA

LEYES DEL ALGEBRA DE PROPOSICIONES.- Las siguientes proposiciones son equivalencias

lógicas, y se las considera como leyes. Estas leyes se las utiliza para simplificar proposiciones
grandes, y para adquirir habilidad en el manejo de los conectores.

P, Q, R, como ya se ha indicado, puede ser reemplazada por cualquier otra proposición sin que
se alteren estas leyes.

En este capítulo la proposición y los polinomios booleanos tienen el mismo significado.

LEYES DE IDEMPOTENCIA
1. P v P ≡ P 2. P ^ P ≡ P

LEYES ASOCIATIVAS
3. (P v Q) v R ≡ P v (Q v R) 4. (P ^ Q) ^ R ≡ P ^ (Q ^ R)

LEYES CONMUTATIVAS
5. P v Q ≡ Q v P 6. P ^ Q ≡ Q ^ P

LEYES DISTRIBUTIVAS
7. P v (Q ^ R) ≡ (P v Q) ^ (P v R) 8. P ^ (Q v R) ≡ (P ^ Q) v (P ^ R)

LEYES DE IDENTIDAD
9. P v V ≡ V 10. P ^ V ≡ P
11. P v F ≡ P 12. P ^ F ≡ F

LEYES DEL COMPLEMENTO

13. P v ~P ≡ V 14. P ^ ~P ≡ F
15. ~(~𝑃) ≡ P 16. ~𝑉 ≡ F ; ~𝐹 ≡ V

LEYES DE D´MORGAN
17. ~(P v Q) ≡ ~P ^ ~Q 18. ~(P ^ Q) ≡ ~P v ~Q

LEYES DE ABSORCIÓN
19. P v (P ^ Q) ≡ P 20. P ^ (P v Q) ≡ P
21. P v (~P ^ Q) ≡ P v Q 22. P ^ (~P v Q) ≡ P ^ Q

OTRAS LEYES
23. P v Q ≡ (P v Q) ^ ~(P ^Q)
24. P → Q ≡ ~P v Q
25. Q → P ≡ ~Q v P
26. P ↔ Q ≡ (P → Q) ^ (Q → P)