Ejercicio sobre proposición compuesta

“Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si 
estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no 
habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los 
seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no 
podríamos considerarnos dignos de nuestro tiempo.”

Formalización:

p → [ ( q ˄ r ˄ s) → ¬t ] ˄ [ (¬q ˅ ¬( r ˅ s ) → ( ¬p ˅ ¬u ) ]