Beruflich Dokumente
Kultur Dokumente
PROPOSICIONAL PROPOSICIONAL
Leyes del tercio excluido Leyes del tercio excluido
ppV ppF ppV ppF
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
ppp ppp ppp ppp
Leyes conmutativas Leyes conmutativas
pqqp pqqp
pqqp pqqp
pqqp pqqp
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
pqpq pqpq
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
VVV FFF VVV FFF
pVp pFp pVp pFp
pFF pVV pFF pVV