¿Cuál de las siguientes formulas representa la proposición "Llegará en el tren de las 8 : 15 o en el de las 9 : 15, si llega en el primero, entonces tendrá tiempo para visitarnos"?

¿Cuál de las siguientes formulas representa la proposición "Llegará en el tren de las 8 : 15 o en el de las 9 : 15, si llega en el primero, entonces tendrá tiempo para visitarnos"? Donde : p : Llegará en el tren de las 8 : 15 q : Llegará en el tren de las 9 : 15 r : Tendrá tiempo para visitarnos 1. ¬p → q ∨ r 2. P ∨ q → r 3. (p → q) ∧ (p ∧ r) 4. P ∨ ¬q → r 5. (p ∨ q) ∧ (p → r).