LEYES LÓGICAS
1. LEYES DE IDEMPOTENCIA : p^p≡p
pvp≡p
2. LEYES CONMUTATIVAS : p^q≡q^p
p^q≡q^p
3. LEYES ASOCIATIVAS : (p ^ q) ^ r ≡ p ^ (q ^ r)
(p v q) v r ≡ p v (q v r)
4. LEYES DE NEGACIÓN : ~(~p )≡ p
p ^~p ≡F
p v ~p≡V
5. LEYES DE IDENTIDAD : p^V≡p
pvF≡p
6. LEYES DE MORGAN : ~(p ^ q) ≡ ~ p v ~ q
~(pv q) ≡ ~ p ^ ~ q
7. DEFINICIÓN DE IMPLICACIÓN : p Þ q ≡ ~ pv q
8. LEYES DISTRIBUTIVAS : p ^ (q v r) ≡ (p ^ q) v (p ^
r)
p v (q ^ r) ≡ (p v q) ^ (p v r)
9. LEYES DE ABSORCIÓN : p ^ (p v q) ≡ p
p v (p ^ q) ≡ p
p ^ F ≡F
p v V≡V
10. DEFINICIÓN DE DOBLE IMPLICACIÓN : p <=> q ≡ (p => q) ^
(q => p)
11. EQUIVALENCIA LÒGICA : p <=> q ≡ ~ ( p v q)
( )
( )
Leyes condicionales
( )
Leyes bicondicionales
( ) ( )
( ) ( )
Leyes de absorción
( )
( )
( )
( )
Leyes de transposición
Leyes de exportación