Sie sind auf Seite 1von 1

LEYES DEL ÁLGEBRA LEYES DEL ÁLGEBRA

PROPOSICIONAL PROPOSICIONAL
Leyes del tercio excluido Leyes del tercio excluido
ppV ppF ppV ppF
Ley de involución o doble Ley de involución o doble
negación negación
~ (~ p)  p ~ (~ p)  p
Ley de idempotencia Ley de idempotencia
ppp ppp ppp ppp
Leyes conmutativas Leyes conmutativas
pqqp pqqp
pqqp pqqp
pqqp pqqp
Leyes asociativas Leyes asociativas
(p  q)  r  p  (q  r) (p  q)  r  p  (q  r)
(p  q)  r  p  (q  r) (p  q)  r  p  (q  r)
Leyes distributivas Leyes distributivas
p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r)
Leyes de De Morgan Leyes de De Morgan
 (p  q)   p   q  (p  q)   p   q
 (p  q)   p   q  (p  q)   p   q
Leyes condicionales Leyes condicionales
pqpq pqpq
Leyes bicondicionales Leyes bicondicionales
p  q  (p  q)  (q  p) p  q  (p  q)  (q  p)
Leyes de absorción Leyes de absorción
p  (p  q)  p p  (p  q)  p
p  (p  q)  p p  (p  q)  p
p  ( p  q)  p  q p  ( p  q)  p  q
p  ( p  q)  p  q p  ( p  q)  p  q
Formas normales para la Formas normales para la
conjunción y disyunción conjunción y disyunción
VVV FFF VVV FFF
pVp pFp pVp pFp
pFF pVV pFF pVV

Das könnte Ihnen auch gefallen