Beruflich Dokumente
Kultur Dokumente
(~p q) q
. Dmorgan en el 1 distributiva en el 2
. Asociativa en el 1 - complementacin en el 2
. Complementacin en el 1 - identidad en el 2
(p V) (~q ~p)
. Identidad
V (~q ~p)
. Identidad
(~p ~q)
Conmutativa
( p v q) v ~[(q p) ^ (p q)]
. Dmorgan
. Dmorgan en ambas
. Asociativa
. Asociativa
{p v [q v (q ^ ~p)]} v (p ^ ~q)
. Absorcin
(p v q) v (p ^ ~q)]
. Conmutativa asociativa
q v [p v (p ^ ~q)]
. Absorcin
(q v p)
C). [p ^ (~p ~q)] [(p q) v (~p ~q)] .Equivalente del condicional e involucin en el 1y el 3 - equivalencia del bicondicional en el 2
. Absorcin
p (p v ~q)
. Asociativa en el 1 - Dmorgan en el 2
. Complementacin en la 1 - distributiva en la 2
. Identidad en la 1 - complementacin en la 2
V ^ [V ^ (p v q)]
. Identidad
V ^(p v q) (p v q)
. Identidad
2.- Aplicando leyes del algebra de proposiciones, determine el valor de verdad de las siguientes formas proposicionales: A). [~q (p q)] v ~q . Equivalencia del bicondicional
. Conmutativa
. Asociativa
. Complementacin
. Identidad
F ^ [(~t v p) ^ t] F Columna final (contradiccin) C). [(q ~p) p] {[~(r ^ ~q) v (q r)] ^ p}
. Identidad
. Dmorgan en el 1 - complementacin en el 2 y 3
[(q ^ p) v p] [(V v V) ^ p]
. Absorcin en el 1 - identidad en el 2
P (V ^ p)
. Identidad
(p p)
. Complementacin