• Author / Uploaded
• Sebastian Agudelo Morales

Citation preview

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) ~ [(p v ~q) ˄ (~r v s) ˄ (~s v t) ˄ (~p ˄ r)] v (~q ˄ t) [(~p ˄ ~~q) v (~~r ˄ ~s) v (~~s ˄ ~t) v (~~p v ~r)] v (~q ˄ t) [(~p ˄ q) v (r ˄ ~s) v (s ˄ ~t) v (p v ~r)] v (~q ˄ t) [(~p ˄ q) v (p v ~r) v (r ˄ ~s) v (s ˄ ~t)] v (~q ˄ t) [(~p ˄ q) v p v [~r v (r ˄ ~s)] v (s ˄ ~t)] v (~q ˄ t) [(~p ˄ q) v p v [~r v ~s] v (s ˄ ~t)] v (~q ˄ t) [(~p ˄ q) v p v ~r v [~s v (s ˄ ~t)]] v (~q ˄ t) [(~p ˄ q) v p v ~r v [~s v ~t]] v (~q ˄ t) (~p ˄ q) v p v ~r v ~s v ~t v (~q ˄ t) p v (~p ˄ q) v ~r v ~s v ~t v (~q ˄ t) [p v (~p ˄ q)] v ~r v ~s v [~t v (~q ˄ t)] [p v q] v ~r v ~s v [~t v ~q] p v q v ~r v ~s v ~t v ~q [q v ~q] v [p v ~r v ~s v ~t] T v [p v ~r v ~s v ~t] T

Implicación Morgan Doble negación Conmutativa Asociativa Absorción Asociativa Absorción Eliminación de [] Conmutativa Asociativa Absorción Eliminación de [] Conmutativa / Asociativa Ley del medio excluido Forma normal