Quien me colabora con lógica matemáticas

Problemas de aplicación

[(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

La solución de los enunciados debe contar con las siguientes etapas:
 Definición de las proposiciones simples
 Lenguaje natural de la expresión formal

Definir si el argumento es una Tautología, contradicción o contingencia

Generar la tabla de verdad manualmente y a través del simulador Truth Table.