Leyes de Identidad
p v F ≡ p
p ^ F ≡ F
p v V ≡ V
p ^ V ≡ p
Leyes de Complementación
p v ~p ≡ V
p ^ ~p ≡ F
Leyes de Idempotencia
p v p ≡ p
p ^ p ≡ p
Leyes Conmutativas
p v q ≡ q v p
p ^ q ≡ q ^ p
Leyes Asociativas
p v (q v r) ≡ (p v q) v r
p ^ (q ^ r) ≡ (p ^ q) ^ r
Leyes Distributivas
p v (q ^ r) ≡ (p v q) ^ (p v r)
p ^ (q v r) ≡ (p ^ q) v (p
^ r)
Leyes de Morgan
~ (p v q) ≡ ~ p v ~ q
~ (p ^ q) ≡ ~ p ^ ~ q
Ley de Involución
~ ~ p
≡ p
Leyes de Absorción
p v (p ^ q) ≡ p
p ^ (p v q) ≡ p
Equivalencias del condicional
Equivalencias del Bicondicional
| Conector | Operación | Significado |
| ~ | Negación | No es cierto |
| ^ | Conjunción | Y |
| v | Disyunción | Ó |
| --> | Implicación | Si..Entonces.. |
| <--> | Doble implicación | ..Si y solo si.. |
| v - |
Disyunción exclusiva | O..o.. |
| p | ~p |
| V | F |
| F | V |
| p | q | p^q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
| p | q | pvq |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
| p | q | p-->q |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
| p | q | p<-->q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
| p | q | p | v _ |
q |
| V | V | V | ||
| V | F | F | ||
| F | V | F | ||
| F | F | V | ||
