Situación problémica de la lógica proposicional

Oscar, te dejo lo que interpreto de todo esto

Por lo tanto, si interpreté bien el enunciado se trata de una tautología

Salu2

buen día tutor como seria en algebra booleana es que necesito comprobarlo con http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

le agradezco 

Ese link que me pasaste es lo mismo que puse yo en la tabla, solo que lo puse 'paso a paso' ya que no puedes resolver la tabla 'toda junta'.

Para encontrar la expresión, deberías rescribir la expresión 'd -> t', o sea:

'd -> t'

(a ^ b ^ c) -> t

((p ^q) ^ (r v s) ^ (p -> t)) -> t

Salu2

Profe ya lo hice pero me da de más

Tenés razón... revisé mi tabla nuevamente y olvidé incluir en la imagen todas las opciones en los que p es Falso :(

Salu2 y disculpas

Y 'te robo' ese link que pasaste que está muy bueno para generar tablas de verdad :)

Profe pero como quedaría es que se me dificulta un poco el tema

Profe le agradezco es que hoy es la entrega del trabajo y se debe entregar las dos imágenes la del simulador y la otra