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 |
................................................................. | ................................................................. |