Matemáticas/Lógica/Leyes
Apariencia
< Matemáticas | Lógica
| Leyes | Nombre |
|---|---|
| p∨-p≡V | Ley de medio Excluido |
| p∧-p≡F | Ley de Contradicción |
| p∨F≡p | Leyes de Indentidad |
| p∧V≡p | Leyes de Indentidad |
| p∨V≡V | Leyes de Dominación |
| p∧F≡F | Leyes de Dominación |
| p∨p≡p | Leyes de Idempotencia |
| p∧p≡p | Leyes de Idempotencia |
| p∨q≡q∨p | Leyes Conmutativas |
| p∧q≡q∧p | Leyes Conmutativas |
| (p∨q)∨r≡p∨(q∨r) | Leyes Asociativas |
| (p∧q)∧r≡p∧(q∧r) | Leyes Asociativas |
| (p∨q)∧(p∨r)≡p∨(q∧r) | Leyes Distributivas |
| (p∧q)∨(p∧r)≡p∧(q∨r) | Leyes Distributivas |
| -(p∧q)≡-p∨-q | Leyes de DeMorgan |
| -(p∨q)≡-p∧-q | Leyes de DeMorgan |
| ................................................................. | ................................................................. |