Solución al ejercicio 6733

a)(p\rightarrow (q\rightarrow(r\rightarrow(s\rightarrow t)))) b)(((p\rightarrow q)\rightarrow r)\rightarrow(s\rightarrow t)) c) Hay dos opciones, la del apartado b) y ((p\rightarrow q)\rightarrow (r\rightarrow(s\rightarrow t))) d) No