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.