Quien me colabora con las tablas de verdad

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
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Definir si el argumento es una Tautología, contradicción o contingencia

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