Genere la expresión lógica (defina variables y escriba la expresión), luego simplifique

Compramos materiales de óptima calidad o no podremos comenzar a construir la

urbanización. Y, si la Curaduría nos da el permiso de construcción el cliente nos exigirá que
cumplamos el contrato antes de finalizar el año. Si el cliente nos exige que cumplamos el
contrato antes de fin de año, podríamos estar en graves problemas. Pero, no compramos
materiales de calidad y la Curaduría nos dará el permiso. Entonces no podremos construir
la urbanización y podríamos estar en graves problemas.

p: compramos materiales de optima calidad

q: poder comenzar a construir la urbanización
r: Curaduría da el permiso de construcción
s: El cliente exige cumplir el contrato antes del fin de año
t: estamos en graves problemas

~˄→↔v

[(p v ~q) ˄ (r → s) ˄ (s → t) ˄ (~p ˄ r)] → (~q ˄ t)

[(p v ~q) ˄ (r → s) ˄ (s → t) ˄ (~p ˄ r)] → (~q ˄ t) Implicación

~ [(p v ~q) ˄ (~r v s) ˄ (~s v t) ˄ (~p ˄ r)] v (~q ˄ t) Morgan
[(~p ˄ ~~q) v (~~r ˄ ~s) v (~~s ˄ ~t) v (~~p v ~r)] v (~q ˄ t) Doble negación
[(~p ˄ q) v (r ˄ ~s) v (s ˄ ~t) v (p v ~r)] v (~q ˄ t) Conmutativa
[(~p ˄ q) v (p v ~r) v (r ˄ ~s) v (s ˄ ~t)] v (~q ˄ t) Asociativa
[(~p ˄ q) v p v [~r v (r ˄ ~s)] v (s ˄ ~t)] v (~q ˄ t) Absorción
[(~p ˄ q) v p v [~r v ~s] v (s ˄ ~t)] v (~q ˄ t) Asociativa
[(~p ˄ q) v p v ~r v [~s v (s ˄ ~t)]] v (~q ˄ t) Absorción
[(~p ˄ q) v p v ~r v [~s v ~t]] v (~q ˄ t) Eliminación de []
(~p ˄ q) v p v ~r v ~s v ~t v (~q ˄ t) Conmutativa
p v (~p ˄ q) v ~r v ~s v ~t v (~q ˄ t) Asociativa
[p v (~p ˄ q)] v ~r v ~s v [~t v (~q ˄ t)] Absorción
[p v q] v ~r v ~s v [~t v ~q] Eliminación de []
p v q v ~r v ~s v ~t v ~q Conmutativa / Asociativa
[q v ~q] v [p v ~r v ~s v ~t] Ley del medio excluido
T v [p v ~r v ~s v ~t] Forma normal
T