Alguien me puede colaborar con este ejercisio porfavor?

Alguien me puede colaborar con este ejercisio porfavor. A través de las dos formas básicas de uso de las Tablas de verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez del argumento dado. Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría Analítica se han reunido y deben buscar bibliografía del tema de secciones cónicas, de lo cual conversan lo Siguiente : “Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD si está caluroso el día. Si no vamos a consultar la tarea en el edificio de la biblioteca de la UNAD, entonces vamos a hacer la consulta por el portal virtual E - Biblioteca. Si vamos a hacer la consulta por el portal virtual E - Biblioteca, entonces vamos a descargar el libro en PDF. Por lo tanto vamos a descargar el libro en PDF.